13 search results - page 3 / 3 » Partitionable Light-Weight Groups |
87
Voted
XPU
2004
Springer
15 years 5 months ago
2004
Springer
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...
102
click to vote
STOC
2003
ACM
15 years 12 months ago
2003
ACM
The problem of cooperatively performing a set of t tasks in a decentralized setting where the computing medium is subject to failures is one of the fundamental problems in distrib...
129
Voted
PPOPP
2009
ACM
16 years 6 days 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...