8009 search results - page 1507 / 1602 » cans 2005 |
157
click to vote
PODC
2005
ACM
16 years 16 hour ago
2005
ACM
A quorum system is a family of sets (themselves called quorums), each pair of which intersect. In many distributed algorithms, the basic unit accessed by a client is a quorum of n...
161
click to vote
PODC
2005
ACM
16 years 16 hour ago
2005
ACM
Simultaneous Broadcast protocols allow different parties to broadcast values in parallel while guaranteeing mutual independence of the broadcast values. In this work, we study va...
168
click to vote
PODC
2005
ACM
16 years 16 hour ago
2005
ACM
The problem of verifying a Minimum Spanning Tree (MST) was introduced by Tarjan in a sequential setting. Given a graph and a tree that spans it, the algorithm is required to check...
165
click to vote
PPOPP
2005
ACM
16 years 16 hour ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
210
click to vote
PPOPP
2005
ACM
16 years 16 hour ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...