Self stabilization
S Dolev - Journal of Aerospace Computing, Information, and …, 2004 - arc.aiaa.org
AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-
shuttles, and satellites. A self-stabilizing system recovers automatically following …
shuttles, and satellites. A self-stabilizing system recovers automatically following …
[BOOK][B] Algorithms and theory of computation handbook, volume 2: special topics and techniques
MJ Atallah, M Blanton - 2009 - books.google.com
This handbook provides an up-to-date compendium of fundamental computer science
topics, techniques, and applications. Along with updating and revising many of the existing …
topics, techniques, and applications. Along with updating and revising many of the existing …
[PDF][PDF] Superstabilizing protocols for dynamic distributed systems
This work defines the class of supemtabihzing protocols. A protocol is supe~ stabilizingif it is
(z) self-stabilizing, meaning that it is guaranteed to respond to an arbitrary transient fault by …
(z) self-stabilizing, meaning that it is guaranteed to respond to an arbitrary transient fault by …
[BOOK][B] Introduction to distributed self-stabilizing algorithms
This book aims at being a comprehensive and pedagogical introduction to the concept of
self-stabilization, introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization …
self-stabilization, introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization …
The local detection paradigm and its applications to self-stabilization
A new paradigm for the design of self-stabilizing distributed algorithms, called local
detection, is introduced. The essence of the paradigm is in defining a local condition based …
detection, is introduced. The essence of the paradigm is in defining a local condition based …
[PDF][PDF] Self-stabilizing unidirectional network algorithms by power-supply
Power-supply, a surprisingly simple and new general paradigm for the development of self-
stabilizing algorithms in di erent models, is introduced. The paradigm is exempli ed by …
stabilizing algorithms in di erent models, is introduced. The paradigm is exempli ed by …
Local stabilizer
A local stabilizer protocol that takes any on-or off-line distributed algorithm and converts it
into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is …
into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is …
[PDF][PDF] Self-stabilization by counter flushing
G Varghese - Proceedings of the thirteenth annual ACM symposium …, 1994 - dl.acm.org
Self-stabilization by counter flushing Page 1 Self-stabilization lx Counter Flushing ., George l~arghese
Dept. of Computer Science Washington University in St. 1.ouis St. Louis, h10 63130 Abstract …
Dept. of Computer Science Washington University in St. 1.ouis St. Louis, h10 63130 Abstract …
Self-stabilizing end-to-end communication in (bounded capacity, omitting, duplicating and non-fifo) dynamic networks
End-to-end communication over the network layer (or data link in overlay networks) is one of
the most important communication tasks in every communication network, including legacy …
the most important communication tasks in every communication network, including legacy …
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Self-stabilizing systems have the ability to converge to a correct behavior when started in
any configuration. Most of the work done so far in the self-stabilization area assumed either …
any configuration. Most of the work done so far in the self-stabilization area assumed either …