36 search results - page 2 / 8 » Uniform Leader Election Protocols for Radio Networks |
ENTCS
2000
13 years 5 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
WDAG
2000
Springer
13 years 8 months ago
2000
Springer
This paper presents a scalable leader election protocol for large process groups with a weak membership requirement. The underlying network is assumed to be unreliable but characte...
ATVA
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
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...