×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [leader election algorithm]
The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial
222 views
An Adaptive Compulsory Protocol for Basic Communication in Ad-hoc Mobile Networks Ioannis Chatzigiannakis Sotiris Nikoletseas April 2002
215 views
1 Leader Election. 2 Leader Election (LE) problem In a DS, it is often needed to designate a single processor (i.e., a leader) as the coordinator of some
213 views
Keeping a Crowd Safe On the Complexity of Parameterized Verification Javier Esparza Technical University of Munich
215 views
CPSC 668Set 3: Leader Election in Rings1 CPSC 668 Distributed Algorithms and Systems Spring 2008 Prof. Jennifer Welch
215 views
CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS
28 views
CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS
20 views
Leader Election
79 views
JADE: The Bully Algorithm
40 views
Keeping a Crowd Safe On the Complexity of Parameterized Verification
32 views