Title | Date | Type | ||
---|---|---|---|---|
1 | An integration of dynamic MPI formal verification within eclipse PTP | 2010-03-15 | Text; Image | |
2 | crowdLabs: a provenance enabled web repository | 2010-03-15 | Text; Image | |
3 | DeepPeep: A Form Search Engine | Text; Image | ||
4 | Direct equivalence testing | Text; Image | ||
5 | Kirby research group | 2012 | Text; Image | |
6 | Patterns of patterns | 2010-03-15 | Text; Image | |
7 | Rethinking DRAM design and organization for energy-constrained multicores | 2010-03-15 | Text; Image | |
8 | Secure disk scrubbing in a large-scale automated testbed | 2010-02-26 | Text; Image | |
9 | SWEL: hardware cache coherence protocols to map shared data onto shared caches | Text; Image | ||
10 | T-check: bug finding for sensor networks | 2010-02-26 | Text; Image | |
11 | Topology Based Surface Meshing and Morphing | 2010-10-06 | Text; Image | |
12 | Understanding the behavior of Pthread applications on non-uniform cache architectures | 2011-10-08 | Text; Image |