2681 search results - page 84 / 537 » Topics in asynchronous systems |
136
click to vote
JNW
2007
15 years 4 months ago
2007
— This paper presents a fail-safe platform on which cooperative mobile robots rely for their motion. The platform consists of a collision prevention protocol for a dynamic group ...
127
click to vote
USENIX
2007
15 years 6 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
118
click to vote
SRDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Atomic broadcast in particular, and group communication in general, have mainly been specified and implemented in a system model where processes do not recover after a crash. The...
154
click to vote
JFP
2010
15 years 2 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
166
Voted
SEUS
2010
IEEE
15 years 2 months ago
2010
IEEE
Most of the existing clock synchronization algorithms for wireless sensor networks can be viewed as proactive clock synchronization since they require nodes to periodically synchro...