1855 search results - page 295 / 371 » A coding theorem for distributed computation |
165
click to vote
PPOPP
2009
ACM
16 years 4 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...
136
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
133
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
127
Voted
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Thread-level speculation is a technique that brings thread-level parallelism beyond the data-flow limit by executing a piece of code ahead of time speculatively before all its inp...
136
Voted
ICS
2004
Tsinghua U.
15 years 9 months ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...