Self-Stabilizing Systems

Inhaltsverzeichnis

• Snap-Stabilizing Optimal Binary Search Tree.
• Synchronous vs. Asynchronous Unison.
• A Snap-Stabilizing DFS with a Lower Space Requirement.
• Self-stabilization of Byzantine Protocols.
• Self-stabilization with r-Operators Revisited.
• Self-stabilization Preserving Compiler.
• Self-stabilizing Mobile Node Location Management and Message Routing.
• Memory Management for Self-stabilizing Operating Systems.
• Code Stabilization.
• Stabilizing Certificate Dispersal.
• On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.
• Approximation of Self-stabilizing Vertex Cover Less Than 2.
• Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings.
• Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
• About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.