1 - 25 of 12
Number of results to display per page
TitleDateType
1 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text; Image
2 crowdLabs: a provenance enabled web repository2010-03-15Text; Image
3 DeepPeep: A Form Search EngineText; Image
4 Direct equivalence testingText; Image
5 Kirby research group2012Text; Image
6 Patterns of patterns2010-03-15Text; Image
7 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text; Image
8 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text; Image
9 SWEL: hardware cache coherence protocols to map shared data onto shared cachesText; Image
10 T-check: bug finding for sensor networks2010-02-26Text; Image
11 Topology Based Surface Meshing and Morphing2010-10-06Text; Image
12 Understanding the behavior of Pthread applications on non-uniform cache architectures2011-10-08Text; Image
1 - 25 of 12