2 search results - page 1 / 1 » Madre: the Memory-Aware Data Redistribution Engine |
93
Voted
IJHPCA
2010
14 years 11 months ago
2010
We report on the development of a new computational framework for efficiently carrying out parallel data redistribution in a limited memory environment. This new library, MADRE (T...
145
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...