Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: self-stabilization

Sortuj według:

Ogranicz wyniki do:

Decidability Analysis of Self-Stabilization for Infinite-State Systems

Yen H-C., Yu L-P.

Fundamenta Informaticae

2006

Vol. 70, nr 4

387-402

For a variety of infinite-state systems, the problem of deciding whether a given system is self-stabilizing or not is investigated from the decidability viewpoint. We develop a unified strategy through which checking self-stabilization is shown to be decidable for lossy vector addition systems with states, one-counter machines, and conflict-free Petri nets. For lossy counter machines and lossy channel systems, in contrast, the self-stabilization problem is shown to be undecidable.

A self-stabilizing algorithm for edge-coloring of graphs

Kuszner Ł., Nadolski A.

Foundations of Computing and Decision Sciences

2006

Vol. 31, No. 2

158-167

Self-stabilization in distributed systems - a short survey

Brzeziński J., Szychowiak M.

Foundations of Computing and Decision Sciences

2000

Vol. 25, No. 1

3-22

Self-stabilization is a very interesting and promising research field in computing science. This is due to its guarantees of automatic recovery from any transient failure, without any additional effort. This paper presents an overview of self-stabilizing distributed algorithms. First, the outlook of the self-stabilization paradigm is shown, followed by a simple example and some formal definitions. Then, characteristics of stabilization types are described. Finally, the paper presents several self-stabilizing algorithms and further lines of investigation strive for distributed systems.