16 search results - page 2 / 4 » The Leader Election Protocol of IEEE 1394 in Maude |
IPPS
2005
IEEE
13 years 11 months ago
2005
IEEE
We have identified a fundamental operator in wireless networks that we named the local leader election in which the goal is to select a node in a spatially close neighborhood. We ...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
TASE
2009
IEEE
14 years 5 days ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
FOCS
2006
IEEE
13 years 11 months ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
The main contribution of this work is to propose efficient randomized leader election and initialization protocols for Packet Radio Networks (PRN, for short). As a result of the i...