Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Tixeuil, Sébastien (Editor ), Herman, Ted (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3764
Temas:
Computer networks .
Software engineering.
Computers, Special purpose.
Computer science.
Algorithms.
Electronic data processing-Management.
Computer Communication Networks.
Software Engineering.
Special Purpose and Application-Based Systems.
Theory of Computation.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares