5128 search results - page 103 / 1026 » When Abstraction Fails |
120
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a new protocol, the Ordered Core Based Tree (OCBT) protocol, which remedies several shortcomings of the Core Based Tree (CBT) multicast protocol. We show that ...
125
click to vote
SWAT
1994
Springer
15 years 8 months ago
1994
Springer
Protocols which can tolerate any number of processors failing by ceasing operation for an unbounded number of steps and resuming operation (with or) without knowing that they were...
121
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
133
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
131
Voted
CSL
2009
Springer
15 years 8 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...