38 search results - page 4 / 8 » Lazy Consistency Using Loosely Synchronized Clocks |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper reports recent experimental results in the development and deployment of a synchronous-clock acoustic navigation system suitable for the simultaneous navigation of m...
FATES
2006
Springer
13 years 10 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
FORMATS
2004
Springer
13 years 10 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
EMSOFT
2009
Springer
14 years 1 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
GLOBECOM
2007
IEEE
14 years 1 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...