Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks

Author(s):  
M. A. Haddar ◽  
A. Hadj Kacem ◽  
Y. Métivier ◽  
M. Mosbah ◽  
M. Jmaiel
2010 ◽  
pp. 1677-1697
Author(s):  
Serkan Çiftlikli ◽  
Figen Öztoprak ◽  
Özgür Erçetin ◽  
Kerem Bülbül

In this article, we investigate two different distributed algorithms for constructing a minimum power broadcast tree with a maximum depth ? which corresponds to the maximum tolerable end-to-end delay in the network. Distributed Tree Expansion (DTE) is based on an implementation of a distributed minimum spanning tree algorithm in which the tree grows at each iteration by adding a node that can cover the maximum number of currently uncovered nodes in the network with minimum incremental transmission power and without violating the delay constraint. In Distributed Link Substitution (DLS), given a feasible broadcast tree, the solution is improved by replacing expensive transmissions by transmissions at lower power levels while reserving the feasibility of the tree with respect to the delay bound. Although DTE increases the message complexity to O(n3) from O(n2?) in a network of size n, it provides up to 50% improvement in total expended power compared to DLS.


2022 ◽  
pp. 1-33
Author(s):  
Sercan Demirci ◽  
Serhat Celil Ileri ◽  
Sadat Duraki

Theoretical applications and practical network algorithms are not very cost-effective, and most of the algorithms in the commercial market are implemented in the cutting-edge devices. Open-source network simulators have gained importance in recent years due to the necessity to implement network algorithms in more realistic scenarios with reasonable costs, especially for educational purposes and scientific researches. Although there have been various simulation tools, NS2 and NS3, OMNeT++ is more suitable to demonstrate network algorithms because it is convenient for the model establishment, modularization, expandability, etc. OMNeT++ network simulator is selected as a testbed in order to verify the correctness of the network algorithms. The study focuses on the algorithms based on centralized and distributed approaches for multi-hop networks in OMNeT++. Two network algorithms, the shortest path algorithm and flooding-based asynchronous spanning tree algorithm, were examined in OMNeT++. The implementation, analysis, and visualization of these algorithms have also been addressed.


Sign in / Sign up

Export Citation Format

Share Document