1 - 25 of 17
Number of results to display per page
TitleDateType
1A program logic and its application in fully verified software fault isolation2012-08Text
2Accurate and interactive visualization of high-order finite element fields2012-08Text
3Analysis-aware higher order smooth three-dimensional representations: creation, simulation and visualization2012-05Text
4COGENE: an automated design framework for domain-specific architectures2012-12Text
5Consistent representation of two-dimensional flow2012-08Text
6Deformation embedding for point-based elastoplastic simulation2012-08Text
7Designing efficient memory for future computing systems2012-05Text
8Distributed friend-to-friend framework and services using social networks2012-12Text
9Exploring bluetooth for received signal strength indicator-based secret key extraction2012-12Text
10Finite element solutions to inverse Electrocardiography2012-12Text
11Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study2012-05Text
12Managing provenance for knowledge discovery and reuse2012-05Text
13Numerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian method2012-12Text
14Parallel ray tracing in scientific visualization2012-12Text
15Some models and measures for learning on a budget2012-12Text
16Upper limb rehabilitation of stroke patients using Kinect and computer games2012-08Text
17Visualizing program memory behavior using memory reference traces2012-08Text
1 - 25 of 17