2595 search results - page 395 / 519 » Modes in Asynchronous Systems |
137
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
216
click to vote
SIROCCO
2010
15 years 8 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
198
click to vote
PDPTA
2007
15 years 7 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
156
click to vote
WEBIST
2008
15 years 7 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
188
click to vote
DAIS
2006
15 years 7 months ago
2006
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...