UScholar Works
 
Filters: Department: "Computing, School of" Type: "Image"
1 - 25 of 29
Number of results to display per page
TitleDateType
1 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text; Image
2 Comparing program logics for reasoning about safety properties2010-10-06Text; Image
3 Computing hulls in positive definite space2010-10-06Text; Image
4 crowdLabs: a provenance enabled web repository2010-03-15Text; Image
5 DeepPeep: A Form Search EngineText; Image
6 Direct equivalence testingText; Image
7 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
8 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference ResolutionText; Image
9 Finding compiler bugs with random testingText; Image
10 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsText; Image
11 Image registrationText; Image
12 Infinite Zoom2010-10-06Text; Image
13 Kirby research group2012Text; Image
14 Matching shapes using the current distanceText; Image
15 Mobility Assisted Secret Key GenerationText; Image
16 Morse theory and its applicationText; Image
17 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Image
18 Patterns of patterns2010-03-15Text; Image
19 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
20 Remote visualizationText; Image
21 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text; Image
22 Scalable scientific data2010-02-26Text; Image
23 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text; Image
24 SWEL: hardware cache coherence protocols to map shared data onto shared cachesText; Image
25 T-check: bug finding for sensor networks2010-02-26Text; Image
1 - 25 of 29