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 |