Stéphane Devismes - Böcker
Visar alla böcker från författaren Stéphane Devismes. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 12514 - Lecture Notes in Computer Science
Stabilization, Safety, and Security of Distributed Systems
22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
Häftad, Engelska, 2020
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions.
660 kr
Skickas inom 10-15 vardagar
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.
Del 13751 - Lecture Notes in Computer Science
Stabilization, Safety, and Security of Distributed Systems
24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022, Proceedings
Häftad, Engelska, 2022
823 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, France, in November 2022.The 17 regular papers together with 4 invited papers and 7 brief announcements, included in this volume were carefully reviewed and selected from 58 submissions.
Del 14501 - Lecture Notes in Computer Science
Distributed Computing and Intelligent Technology
20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17–20, 2024, Proceedings
Häftad, Engelska, 2024
799 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the 20th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2024, which was held in Bhubaneswar, India, during January 17–20, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 116 submissions. The papers are organized in the following topical sections: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing, whereas the IT track solicits original research papers contributing to the foundations and applications of Intelligent Technology.
Del 15507 - Lecture Notes in Computer Science
Distributed Computing and Intelligent Technology
21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8–11, 2025, Proceedings
Häftad, Engelska, 2025
694 kr
Skickas inom 10-15 vardagar
The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology.
Distributed Computing and Networking
13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings
Häftad, Engelska, 2011
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Conference on Distributed Computing and Networking, ICDCN 2012, held in Hong Kong, China, during January 3-6, 2012.The 36 revised full papers and 1 short paper presented together with 4 poster papers were carefully reviewed and selected from 100 submissions. The papers address all current issues in the field of distributed computing and networking. Being a leading forum for researchers and practitioners to exchange ideas and share best practices, ICDCN also hosts as a forum for PhD students to discuss their research ideas and get quality feedback from the well-renowned experts in the field of distributed computing and computer networking.