Sciweavers

SSS
2005
Springer
13 years 9 months ago
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
SSS
2005
Springer
13 years 9 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
SSS
2005
Springer
115views Control Systems» more  SSS 2005»
13 years 9 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
SSS
2005
Springer
13 years 9 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»
13 years 9 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 ...
SSS
2005
Springer
13 years 9 months ago
Self-stabilization Preserving Compiler
Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv
SSS
2005
Springer
13 years 9 months ago
Self-stabilization with r-Operators Revisited
Sylvie Delaët, Bertrand Ducourthial, Sé...
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
13 years 9 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
SSS
2005
Springer
13 years 9 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 ...
SSS
2005
Springer
13 years 9 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