Self-Stabilizing Systems
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / [electronic resource] :
edited by S�bastien Tixeuil, Ted Herman.
- X, 229 p. online resource.
- Lecture Notes in Computer Science, 3764 0302-9743 ; .
- Lecture Notes in Computer Science, 3764 .
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.
9783540321231
10.1007/11577327 doi
Computer science.
Computer communication systems.
Special purpose computers.
Software engineering.
Computers.
Algorithms.
Management information systems.
Computer Science.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Special Purpose and Application-Based Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
TK5105.5-5105.9
004.6
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.
9783540321231
10.1007/11577327 doi
Computer science.
Computer communication systems.
Special purpose computers.
Software engineering.
Computers.
Algorithms.
Management information systems.
Computer Science.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Special Purpose and Application-Based Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
TK5105.5-5105.9
004.6