Self-stabilizing systems

Meer over het boek

InhaltsverzeichnisSnap-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.