scholarly journals Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

2019 ◽  
pp. 409-424 ◽  
Author(s):  
Étienne André ◽  
Laurent Fribourg ◽  
Jean-Marc Mota ◽  
Romain Soulat
Keyword(s):  
Model Checking ◽  
Parametric Model ◽  
Leader Election ◽  
Election Algorithm ◽  
Leader Election Algorithm

A Novel Hypergraph-Based Leader Election Algorithm for Distributed Systems

2020 ◽  
pp. 437-445
Author(s):  
E. R. S. Subramanian ◽  
B. Sri Gurubaran ◽  
A. S. Sayee Shruthi ◽  
V. Aishwarya ◽  
N. Balaji ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Leader Election ◽  
Election Algorithm ◽  
Leader Election Algorithm

Implementing Leader Election Algorithm after Evaluation of Node Trust in MANETs

2017 ◽  
pp. 282-311
Author(s):  
Jayanta Das ◽  
Abhijit Das
Keyword(s):  
Leader Election ◽  
Election Algorithm ◽  
Leader Election Algorithm

Security and trust are two inevitable concepts for secure Manet. There are various systems used for ensuring security and trust in case of Manet. These systems have several advantages as well as several disadvantages in terms high communication and computation overhead. In this proposed trust based system, trust of node is evaluated on the basis of ratio of signal sent and acknowledgement received. After that, priority of each node is calculated and at last Leader Election algorithm is applied to select node leader.

The Asymmetric Leader Election Algorithm: Another Approach

2009 ◽  
Vol 12 (4) ◽  
pp. 449-478 ◽  
Author(s):  
Guy Louchard ◽  
Helmut Prodinger
Keyword(s):  
Leader Election ◽  
Election Algorithm ◽  
Leader Election Algorithm

Optimal asynchronous agreement and leader election algorithm for complete networks with Byzantine faulty links

1995 ◽  
Vol 9 (3) ◽  
pp. 147-156 ◽  
Author(s):  
Hasan M. Sayeed ◽  
Marwan Abu-Amara ◽  
Hosame Abu-Amara
Keyword(s):  
Leader Election ◽  
Complete Networks ◽  
Election Algorithm ◽  
Leader Election Algorithm

Predictable Leader Election Algorithm

1995 ◽  
Vol 3 (3) ◽  
pp. 195-201
Author(s):  
Tai Woo Kim ◽  
Tai Yun Kim
Keyword(s):  
Leader Election ◽  
Election Algorithm ◽  
Leader Election Algorithm
Sign in / Sign up

Export Citation Format

Share Document