82 search results - page 9 / 17 » Tight bounds for clock synchronization |
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
WDAG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Version vectors play a central role in update tracking under optimistic distributed systems, allowing the detection of obsolete or inconsistent versions of replicated dat...
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
WDAG
1998
Springer
13 years 12 months ago
1998
Springer
d Abstract) James H. Anderson, Rohit Jain, and David Ott Department of Computer Science University of North Carolina at Chapel Hill We consider wait-free synchronization in multipr...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Traditionally, slotted communication protocols have employed guard times to delineate and align slots. These guard times may expand the slot duration significantly, especially...