Synthesis Lectures on Distributed Computing Theory – serie
Visar alla böcker i serien Synthesis Lectures on Distributed Computing Theory. Handla med fri frakt och snabb leverans.
22 produkter
Mobile Agent Rendezvous Problem in the Ring
Av Evangelos Kranakis, Danny Krizanc m. fl.
Häftad, 2010
377 kr
Lägg i varukorg
Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity. This …
Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Häftad, 2010
568 kr
Lägg i varukorg
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing …
Fault-tolerant Agreement in Synchronous Message-passing Systems
Häftad, 2010
400 kr
Lägg i varukorg
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. A previous book Communication and Agreement Abstraction for Fault-tolerant Asynchronous Distributed Systems …
Principles of Transactional Memory
Av Rachid Guerraoui, Michael Kapalka
Häftad, 2010
400 kr
Lägg i varukorg
Transactional memory (TM) is an appealing paradigm for concurrent programming on shared memory architectures. With a TM, threads of an application communicate, and synchronize their actions, via in-memory transactions. Each transaction can perform any number of operations on shared data, and then …
Theory of Timed I/O Automata, Second Edition
Av Dilsun Kaynar, Nancy Lynch m. fl.
Häftad, 2010
377 kr
Lägg i varukorg
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing …
New Models for Population Protocols
Av Othon Michail, Ioannis Chatzigiannakis m. fl.
Häftad, 2011
400 kr
Lägg i varukorg
Wireless sensor networks are about to be part of everyday life. Homes and workplaces capable of self-controlling and adapting air-conditioning for different temperature and humidity levels, sleepless forests ready to detect and react in case of a fire, vehicles able to avoid sudden obstacles or …
Cooperative Task-Oriented Computing
Algorithms and Complexity
Av Chryssis Georgiou, Alexander Shvartsman
Häftad, 2011
400 kr
Lägg i varukorg
Cooperative network supercomputing is becoming increasingly popular for harnessing the power of the global Internet computing platform. A typical Internet supercomputer consists of a master computer or server and a large number of computers called workers, performing computation on behalf of the …
Link Reversal Algorithms
Av Jennifer Welch, Jennifer Walter
Häftad, 2011
377 kr
Lägg i varukorg
Link reversal is a versatile algorithm design technique that has been used in numerous distributed algorithms for a variety of problems. The common thread in these algorithms is that the distributed system is viewed as a graph, with vertices representing the computing nodes and edges representing …
Quorum Systems
With Applications to Storage and Consensus
Häftad, 2012
400 kr
Lägg i varukorg
A quorum system is a collection of subsets of nodes, called quorums, with the property that each pair of quorums have a non-empty intersection. Quorum systems are the key mathematical abstraction for ensuring consistency in fault-tolerant and highly available distributed computing. Critical for …
Distributed Computing by Oblivious Mobile Robots
Av Paola Flocchini, Giuseppe Prencipe m. fl.
Häftad, 2012
456 kr
Lägg i varukorg
The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), where it is now an integral part of the investigations on computability by mobile …
Distributed Graph Coloring
Fundamentals and Recent Developments
Av Leonid Barenboim, Michael Elkin
Häftad, 2013
433 kr
Lägg i varukorg
The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing. In this model a communication network is represented by a n-vertex graph G = (V,E), whose vertices host autonomous processors. The processors communicate over the edges of G in …
Impossibility Results for Distributed Computing
Häftad, 2014
317 kr
Lägg i varukorg
To understand the power of distributed systems, it is necessary to understand their inherent limitations: what problems cannot be solved in particular systems, or without sufficient resources (such as time or space). This book presents key techniques for proving such impossibility results and …
Decidability of Parameterized Verification
Av Roderick Bloem, Swen Jacobs m. fl.
Häftad, 2015
512 kr
Lägg i varukorg
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we …
Distributed Computing Pearls
Häftad, 2018
680 kr
Lägg i varukorg
Computers and computer networks are one of the most incredible inventions of the 20th century, having an ever-expanding role in our daily lives by enabling complex human activities in areas such as entertainment, education, and commerce. One of the most challenging problems in computer science for …
Introduction to Distributed Self-Stabilizing Algorithms
Av Karine Altisen, Stéphane Devismes m. fl.
Häftad, 2019
680 kr
Lägg i varukorg
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 …
Network Topology and Fault-Tolerant Consensus
Av Dimitris Sakavalas, Lewis Tseng
Häftad, 2019
680 kr
Lägg i varukorg
As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures. Fault-tolerant consensus in message-passing systems allows participants in the system to agree on a common value despite the malfunction or …
Consistent Distributed Storage
Av Vincent Gramoli, Nicolas Nicolaou m. fl.
Häftad, 2021
680 kr
Lägg i varukorg
Providing a shared memory abstraction in distributed systems is a powerful tool that can simplify the design and implementation of software systems for networked platforms. This enables the system designers to work with abstract readable and writable objects without the need to deal with the …
Secure Multi-Party Computation Against Passive Adversaries
Av Ashish Choudhury, Arpita Patra
Inbunden, 2022
680 kr
Lägg i varukorg
This book focuses on multi-party computation (MPC) protocols in the passive corruption model (also known as the semi-honest or honest-but-curious model). The authors present seminal possibility and feasibility results in this model and includes formal security proofs. Even though the passive …
Secure Multi-Party Computation Against Passive Adversaries
Av Ashish Choudhury, Arpita Patra
Häftad, 2023
680 kr
Lägg i varukorg
This book focuses on multi-party computation (MPC) protocols in the passive corruption model (also known as the semi-honest or honest-but-curious model). The authors present seminal possibility and feasibility results in this model and includes formal security proofs. Even though the passive …
Recoverable Mutual Exclusion
Av Sahil Dhoked, Wojciech Golab m. fl.
Inbunden, 2023
456 kr
Lägg i varukorg
This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks. The authors include all …
Recoverable Mutual Exclusion
Av Sahil Dhoked, Wojciech Golab m. fl.
Häftad, 2024
456 kr
Lägg i varukorg
This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks. The authors include all …
Concurrent Crash-Prone Shared Memory Systems
A Few Theoretical Notions
Häftad, 2022
680 kr
Lägg i varukorg
Theory is what remains true when technology is changing. So, it is important to know and master the basic concepts and the theoretical tools that underlie the design of the systems we are using today and the systems we will use tomorrow. This means that, given a computing model, we need to know …
