1 - 25 of 130
Number of results to display per page
TitleDateType
1 Scalable scientific data2010-02-26Text; Image
2 Remote visualizationText; Image
3 Morse theory and its applicationText; Image
4 Image registrationText; Image
5 Infinite Zoom2010-10-06Text; Image
6 Integrating component-based scientific computing software2006Text
7 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Image
8 Understanding global climate changeText; Image
9 Tracing ridges on B-Spline surfaces2010-02-26Text; Image
10 Parallelization and integration of fire simulations in the Uintah PSE2001Text
11 Kirby research group2012Text; Image
12 Comparing program logics for reasoning about safety properties2010-10-06Text; Image
13 ABP : predictor based management of DRAM row buffers2010-10-06InteractiveResource
14 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsText; Image
15 Extreme-scale visual analytics2012-01-01Text
16 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
17 Finding compiler bugs with random testingText; Image
18 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
19 A wrapper generation tool for the creation of scriptable scientific applications1998Text
20 Computing hulls in positive definite space2010-10-06Text; Image
21 Graphics applications for grid computing2003-03Text
22 The I3Stick: an inexpensive, immersive, interaction device1999Text
23 Mobility Assisted Secret Key GenerationText; Image
24 Uintah hybrid task-based parallelism algorithm2012-01-01Text
25 Computational steering and the SCIRun integrated problem solving environment1997Text
1 - 25 of 130