Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (X, 229 p.) |
| Disciplina: | 004.6 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | TixeuilSébastien |
| HermanTed | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Self-Stabilizing Systems |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484055203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 3764