Sciweavers

SSS
2005
Springer
15 years 10 months ago
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
142
Voted
SSS
2005
Springer
15 years 10 months ago
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
Martin Hutle, Josef Widder
130
Voted
SSS
2005
Springer
115views Control Systems» more  SSS 2005»
15 years 10 months ago
Code Stabilization
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...
Felix C. Freiling, Sukumar Ghosh
131
Voted
SSS
2005
Springer
15 years 10 months ago
Memory Management for Self-stabilizing Operating Systems
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
Shlomi Dolev, Reuven Yagel
SSS
2005
Springer
132views Control Systems» more  SSS 2005»
15 years 10 months ago
Self-stabilizing Mobile Node Location Management and Message Routing
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina ...
102
Voted
SSS
2005
Springer
15 years 10 months ago
Self-stabilization Preserving Compiler
Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv
103
Voted
SSS
2005
Springer
15 years 10 months ago
Self-stabilization with r-Operators Revisited
Sylvie Delaët, Bertrand Ducourthial, Sé...
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
15 years 10 months ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
133
Voted
SSS
2005
Springer
15 years 10 months ago
A Snap-Stabilizing DFS with a Lower Space Requirement
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
Alain Cournier, Stéphane Devismes, Vincent ...
128
Voted
SSS
2005
Springer
15 years 10 months ago
Synchronous vs. Asynchronous Unison
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
Christian Boulinier, Franck Petit, Vincent Villain