Language-based replay via data flow cut | 6 | 0.47 | 2010 |
MODIST: transparent model checking of unmodified distributed systems | 76 | 2.78 | 2009 |
MPIWiz: subgroup reproducible replay of mpi applications | 33 | 1.33 | 2009 |
FiLM: A Runtime Monitoring Tool for Distributed Systems | 5 | 0.46 | 2009 |
R2: an application-level kernel for record and replay | 74 | 4.50 | 2008 |
D3S: debugging deployed distributed systems | 34 | 1.73 | 2008 |
Towards automatic inference of task hierarchies in complex systems | 1 | 0.50 | 2008 |
Hang analysis: fighting responsiveness bugs | 9 | 0.76 | 2008 |
Partition Approach to Failure Detectors for k-Set Agreement | 2 | 0.37 | 2007 |
Weakening failure detectors for k-set agreement via the partition approach | 10 | 0.53 | 2007 |
WiDS checker: combating bugs in distributed systems | 46 | 1.81 | 2007 |
Failure Detectors and Extended Paxos for k-Set Agreement | 6 | 0.46 | 2007 |
A Measurement Study of a Peer-to-Peer Video-on-Demand System | 48 | 6.64 | 2007 |
Enforcing Routing Consistency in Structured Peer-to-Peer Overlays: Should We and Could We? | 2 | 0.39 | 2006 |