Introduction to Distributed Self-Stabilizing Algorithms (Record no. 387311)

MARC details
000 -CABECERA
campo de control de longitud fija 04938nam a22004575i 4500
001 - NÚMERO DE CONTROL
campo de control 387311
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control ES-MaUEC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230312132237.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija a||||fo|||| 00| 0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 220601s2019 sz | s |||| 0|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783031020131
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-031-02013-1
Fuente del número o código doi
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen ES-MaUEC
Lengua de catalogación spa
Centro/agencia transcriptor ES-MaUEC
Centro/agencia modificador ES-MaUEC
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.9.D5
Número de documento/Ítem 2019 EB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Altisen, Karine
Término indicativo de función/relación autor
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
9 (RLIN) 687275
245 10 - MENCIÓN DE TÍTULO
Título Introduction to Distributed Self-Stabilizing Algorithms
Mención de responsabilidad, etc. by Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1st edition 2019
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Cham
Nombre del de productor, editor, distribuidor, fabricante Springer International Publishing
Fecha de producción, publicación, distribución, fabricación o copyright 2019
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 recurso en línea (XVII, 147 páginas)
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Código de tipo de contenido txt
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio electrónico
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte recurso electrónico
Código del tipo de soporte cr
Fuente rdacarrier
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo archivo de texto
Formato de codificación PDF
490 0# - MENCIÓN DE SERIE
Mención de serie Synthesis Lectures on Distributed Computing Theory
Número Internacional Normalizado para Publicaciones Seriadas 2155-1634
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Preface -- Acknowledgments -- Introduction -- Preliminaries -- Coloring under a Locally Central Unfair Daemon -- Synchronous Unison -- BFS Spanning Tree Under a Distributed Unfair Daemon -- Dijkstra's Token Ring -- Hierarchical Collateral Composition -- Self-Stabilization in Message Passing Systems -- Bibliography -- Authors' Biographies -- Index.
520 ## - SUMARIO, ETC.
Sumario, etc. This book aims at being a comprehensive and pedagogical introduction to the concept of self-stabilization, introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization characterizes the ability of a distributed algorithm to converge within finite time to a configuration from which its behavior is correct (i.e., satisfies a given specification), regardless the arbitrary initial configuration of the system. This arbitrary initial configuration may be the result of the occurrence of a finite number of transient faults. Hence, self-stabilization is actually considered as a versatile non-masking fault tolerance approach, since it recovers from the effect of any finite number of such faults in an unified manner. Another major interest of such an automatic recovery method comes from the difficulty of resetting malfunctioning devices in a large-scale (and so, geographically spread) distributed system (the Internet, Pair-to-Pair networks, and Delay Tolerant Networks are examples of such distributed systems). Furthermore, self-stabilization is usually recognized as a lightweight property to achieve fault tolerance as compared to other classical fault tolerance approaches. Indeed, the overhead, both in terms of time and space, of state-of-the-art self-stabilizing algorithms is commonly small. This makes self-stabilization very attractive for distributed systems equipped of processes with low computational and memory capabilities, such as wireless sensor networks. After more than 40 years of existence, self-stabilization is now sufficiently established as an important field of research in theoretical distributed computing to justify its teaching in advanced research-oriented graduate courses. This book is an initiation course, which consists of the formal definition of self-stabilization and its related concepts, followed by a deep review and study of classical (simple) algorithms, commonly used proof schemes and design patterns, as well as premium results issued from the self-stabilizing community. As often happens in the self-stabilizing area, in this book we focus on the proof of correctness and the analytical complexity of the studied distributed self-stabilizing algorithms. Finally, we underline that most of the algorithms studied in this book are actually dedicated to the high-level atomic-state model, which is the most commonly used computational model in the self-stabilizing area. However, in the last chapter, we present general techniques to achieve self-stabilization in the low-level message passing model, as well as example algorithms.
988 ## - NOTA LOCAL 598
Nota local 598 (boletines) Synthesis Collection of Technology_2019
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término embne
9 (RLIN) 156434
Término de materia o nombre geográfico como elemento de entrada Proceso distribuido (Informática)
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término embne
9 (RLIN) 151819
Término de materia o nombre geográfico como elemento de entrada Algoritmos computacionales
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Devismes, Stéphane
Término indicativo de función/relación autor
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
9 (RLIN) 687276
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Dubois, Swan
Término indicativo de función/relación autor
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
9 (RLIN) 687277
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Petit, Franck
Término indicativo de función/relación autor
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
9 (RLIN) 687278
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Printed edition:
Número Internacional Estándar del Libro 9783031001314
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Printed edition:
Número Internacional Estándar del Libro 9783031008856
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Printed edition:
Número Internacional Estándar del Libro 9783031031410
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-02013-1
Nota pública Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Fuente del sistema de clasificación o colocación Library of Congress Classification
Tipo de ítem Koha LIBRO-E NO PRÉSTAMO
998 ## - DATOS ESTADÍSTICOS
Fecha de catalogación 03/2023
Tipo de materia E-book
Catalogador Susana Carmen Delgado Sanz
Catalogado
Holdings
Información adicional para el OPAC Código 2 (categoría) Estado de pérdida Fuente del sistema de clasificación o colocación Tipo de material Código 1: Estado físico No se presta Código de colección Estado Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de adquisición Tipo de préstamo Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
Acceso concurrente No retirado   Library of Congress Classification E-Libro Buen estado Acceso electrónico Ciencias e Ingeniería Acceso electrónico Madrid Digital Madrid Digital Acceso Electrónico (UEM) 25/11/2022 En línea   QA76.9.D5 2019 EB eBook.01112510 25/11/2022 25/11/2022 LIBRO-E NO PRÉSTAMO