1 - 25 of 24
Number of results to display per page
TitleSetnameType
1 ABP : predictor based management of DRAM row buffersir_uspaceInteractiveResource
2 Characterizing growth patterns in longitudinal MRI using image contrastir_uspaceText
3 Comparing program logics for reasoning about safety propertiesir_uspaceText; Image
4 Computing hulls in positive definite spaceir_uspaceText; Image
5 Efficient data restructuring and aggregation for I/O acceleration in PIDXir_uspaceText
6 Enhancing covert communications with multiple colluding receiversir_uspaceText; Image
7 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolutionir_uspaceText; Image
8 Finding compiler bugs with random testingir_uspaceText; Image
9 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsir_uspaceText; Image
10 Image registrationir_uspaceText; Image
11 Infinite Zoomir_uspaceText; Image
12 Matching shapes using the current distanceir_uspaceText; Image
13 Mobility Assisted Secret Key Generationir_uspaceText; Image
14 Morse theory and its applicationir_uspaceText; Image
15 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Methodir_uspaceText; Image
16 Performance analysis integration in the Uintah software development cycleir_uspaceText
17 PUG : A Symbolic Verifier of GPU Programsir_uspaceText; Image
18 Remote visualizationir_uspaceText; Image
19 Scalable scientific datair_uspaceText; Image
20 Tracing ridges on B-Spline surfacesir_uspaceText; Image
21 Uintah parallelism infrastructure: a performance evaluation on the SGI origin 2000ir_uspaceText
22 Uintah: a massively parallel problem solving environmentir_uspaceText
23 Uncertainty visualization in forward and inverse cardiac modelsir_uspaceText
24 Understanding global climate changeir_uspaceText; Image
1 - 25 of 24