UScholar Works
 
Filters: Department: "Computing, School of" Type: "Image" Year Start: 1953
1 - 25 of 16
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 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
6 Infinite Zoom2010-10-06Text; Image
7 Kirby research group2012Text; Image
8 Patterns of patterns2010-03-15Text; Image
9 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
10 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text; Image
11 Scalable scientific data2010-02-26Text; Image
12 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text; Image
13 T-check: bug finding for sensor networks2010-02-26Text; Image
14 Topology Based Surface Meshing and Morphing2010-10-06Text; Image
15 Tracing ridges on B-Spline surfaces2010-02-26Text; Image
16 Understanding the behavior of Pthread applications on non-uniform cache architectures2011-10-08Text; Image
1 - 25 of 16