199 search results - page 4 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
WDAG
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
SRDS
2000
IEEE
15 years 1 months ago
2000
IEEE
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
108
Voted
PODC
2000
ACM
15 years 1 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
CSREAESA
2004
14 years 11 months ago
2004
Interconnect delays are increasingly becoming the dominant source of performance degradation in the nano-meter regime, largely because the wires do not scale as fast as the device...