1 - 25 of 98
Number of results to display per page
TitleDateSetnameType
1 DeepPeep: A Form Search Engineir_uspaceText; Image
2 CUDA-CHiLL: a programming language interface for GPGPU optimizations and code generationir_etd
3 An evaluation of the quality of contemporary ray tracing methods on architectural materials2009-05ir_htoaText
4 Secure disk scrubbing in a large-scale automated testbed2010-02-26ir_uspaceText; Image
5 PLT scheme as an intermediate language2010-02-26ir_uspaceText
6 A survey of computing migration2010-02-26ir_uspaceText; Image
7 Evaluating the effectiveness of orientation indicators with an awareness of individual differences2010-08ir_etdText
8 Topology Based Surface Meshing and Morphing2010-10-06ir_uspaceText; Image
9 Formal verification of programs and their transformations2010-12ir_etdText
10 Data management and analysis with WRF and SFIRE2012-01-01ir_uspaceText
11 Watershed merge tree classification for electron microscopy image segmentation2012-01-01ir_uspaceText
12 Mapping applications with collectives over sub-communicators on torus networks2012-01-01ir_uspaceText
13 Analysis-aware higher order smooth three-dimensional representations: creation, simulation and visualization2012-05ir_etdText
14 Designing efficient memory for future computing systems2012-05ir_etdText
15 Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study2012-05ir_etdText
16 Managing provenance for knowledge discovery and reuse2012-05ir_etdText
17 Deformation embedding for point-based elastoplastic simulation2012-08ir_etdText
18 Upper limb rehabilitation of stroke patients using Kinect and computer games2012-08ir_etdText
19 A program logic and its application in fully verified software fault isolation2012-08ir_etdText
20 Accurate and interactive visualization of high-order finite element fields2012-08ir_etdText
21 Consistent representation of two-dimensional flow2012-08ir_etdText
22 Some models and measures for learning on a budget2012-12ir_etdText
23 Numerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian method2012-12ir_etdText
24 Exploring bluetooth for received signal strength indicator-based secret key extraction2012-12ir_etdText
25 Parallel ray tracing in scientific visualization2012-12ir_etdText
1 - 25 of 98