199 search results - page 4 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
141
click to vote
WDAG
1995
Springer
15 years 9 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...
130
Voted
SRDS
2000
IEEE
15 years 10 months ago
2000
IEEE
136
click to vote
IPPS
1998
IEEE
15 years 9 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...
192
click to vote
PODC
2000
ACM
15 years 10 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 ...
151
click to vote
CSREAESA
2004
15 years 7 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...