UScholar Works
 
Filters: Department: "Computing, School of" Collection: "ir_uspace" Type: "Image"
1 - 25 of 29
Number of results to display per page
TitleSetnameType
1 An integration of dynamic MPI formal verification within eclipse PTPir_uspaceText; Image
2 Comparing program logics for reasoning about safety propertiesir_uspaceText; Image
3 Computing hulls in positive definite spaceir_uspaceText; Image
4 crowdLabs: a provenance enabled web repositoryir_uspaceText; Image
5 DeepPeep: A Form Search Engineir_uspaceText; Image
6 Direct equivalence testingir_uspaceText; Image
7 Enhancing covert communications with multiple colluding receiversir_uspaceText; Image
8 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolutionir_uspaceText; Image
9 Finding compiler bugs with random testingir_uspaceText; Image
10 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsir_uspaceText; Image
11 Image registrationir_uspaceText; Image
12 Infinite Zoomir_uspaceText; Image
13 Kirby research groupir_uspaceText; Image
14 Matching shapes using the current distanceir_uspaceText; Image
15 Mobility Assisted Secret Key Generationir_uspaceText; Image
16 Morse theory and its applicationir_uspaceText; Image
17 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Methodir_uspaceText; Image
18 Patterns of patternsir_uspaceText; Image
19 PUG : A Symbolic Verifier of GPU Programsir_uspaceText; Image
20 Remote visualizationir_uspaceText; Image
21 Rethinking DRAM design and organization for energy-constrained multicoresir_uspaceText; Image
22 Scalable scientific datair_uspaceText; Image
23 Secure disk scrubbing in a large-scale automated testbedir_uspaceText; Image
24 SWEL: hardware cache coherence protocols to map shared data onto shared cachesir_uspaceText; Image
25 T-check: bug finding for sensor networksir_uspaceText; Image
1 - 25 of 29