1 - 25 of 29
Number of results to display per page
TitleDateType
1 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text; Image
2 Topology Based Surface Meshing and Morphing2010-10-06Text; Image
3 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text; Image
4 Patterns of patterns2010-03-15Text; Image
5 Mobility Assisted Secret Key GenerationText; Image
6 Understanding the behavior of Pthread applications on non-uniform cache architectures2011-10-08Text; Image
7 Matching shapes using the current distanceText; Image
8 T-check: bug finding for sensor networks2010-02-26Text; Image
9 Direct equivalence testingText; Image
10 Tracing ridges on B-Spline surfaces2010-02-26Text; Image
11 Understanding global climate changeText; Image
12 DeepPeep: A Form Search EngineText; Image
13 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
14 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text; Image
15 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
16 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Image
17 Infinite Zoom2010-10-06Text; Image
18 Morse theory and its applicationText; Image
19 Remote visualizationText; Image
20 Image registrationText; Image
21 Computing hulls in positive definite space2010-10-06Text; Image
22 Finding compiler bugs with random testingText; Image
23 SWEL: hardware cache coherence protocols to map shared data onto shared cachesText; Image
24 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference ResolutionText; Image
25 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsText; Image
1 - 25 of 29