Skip to main content
SpringerLink
Log in

Self-Stabilizing Systems

7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Sébastien Tixeuil

    1. LIP6 & INRIA Grand Large, Université Pierre et Marie Curie - Paris 6, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ted Herman

    1. Department of Computer Science, University of Iowa, Iowa City, U.S.A.

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3764)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SSS 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Snap-Stabilizing Optimal Binary Search Tree

    • Doina Bein, Ajoy K. Datta, Vincent Villain
    Pages 1-17

  3. Synchronous vs. Asynchronous Unison

    • Christian Boulinier, Franck Petit, Vincent Villain
    Pages 18-32

  4. A Snap-Stabilizing DFS with a Lower Space Requirement

    • Alain Cournier, Stéphane Devismes, Vincent Villain
    Pages 33-47

  5. Self-stabilization of Byzantine Protocols

    • Ariel Daliot, Danny Dolev
    Pages 48-67

  6. Self-stabilization with r-Operators Revisited

    • Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil
    Pages 68-80

  7. Self-stabilization Preserving Compiler

    • Shlomi Dolev, Yinnon Haviv, Mooly Sagiv
    Pages 81-95

  8. Self-stabilizing Mobile Node Location Management and Message Routing

    • Shlomi Dolev, Limor Lahiani, Nancy Lynch, Tina Nolte
    Pages 96-112

  9. Memory Management for Self-stabilizing Operating Systems

    • Shlomi Dolev, Reuven Yagel
    Pages 113-127

  10. Code Stabilization

    • Felix C. Freiling, Sukumar Ghosh
    Pages 128-139

  11. Stabilizing Certificate Dispersal

    • Mohamed G. Gouda, Eunjin (EJ) Jung
    Pages 140-152

  12. On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection

    • Martin Hutle, Josef Widder
    Pages 153-170

  13. Approximation of Self-stabilizing Vertex Cover Less Than 2

    • Jun Kiniwa
    Pages 171-182

  14. Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings

    • Toshimitsu Masuzawa, Hirotsugu Kakugawa
    Pages 183-197

  15. Towards Automatic Convergence Verification of Self-stabilizing Algorithms

    • Jens Oehlerking, Abhishek Dhama, Oliver Theel
    Pages 198-213

  16. About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks

    • Fabrice Theoleyre, Fabrice Valois
    Pages 214-228

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Self-Stabilizing Systems

Keywords

Editors and Affiliations

  • LIP6 & INRIA Grand Large, Université Pierre et Marie Curie - Paris 6, Paris, France

    Sébastien Tixeuil

  • Department of Computer Science, University of Iowa, Iowa City, U.S.A.

    Ted Herman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation