Recover Password  New User
Undergraduate Research Project Management System

Anastasia page

Profile

NameAnastasia Mironova
MajorMathematical Sciences
EmailNO LONGER AT UAA
Webpage
Career Goal(s)

About me

Research Interests

Shared Files

File nameDescription

Research Projects

Project TitleStatusKeywordsActivity Date
Using Model Checking with Symbolic Execution for the Verification of Data Dependent Properties of MPI Bases Scientific SoftwareCompleteModel Checking07/05/2008 01:20PM
Collaborative Volume Visualization Using VTK (Visualized Tool Kit)CompleteVisualization Tool Kit07/05/2008 01:25AM