[图书][B] Distributed computing: fundamentals, simulations, and advanced topics
* Comprehensive introduction to the fundamental results in the mathematical foundations of
distributed computing* Accompanied by supporting material, such as lecture notes and …
distributed computing* Accompanied by supporting material, such as lecture notes and …
Distributed average consensus with least-mean-square deviation
We consider a stochastic model for distributed average consensus, which arises in
applications such as load balancing for parallel processors, distributed coordination of …
applications such as load balancing for parallel processors, distributed coordination of …
[图书][B] Computer network time synchronization: the network time protocol
DL Mills - 2006 - taylorfrancis.com
What started with the sundial has, thus far, been refined to a level of precision based on
atomic resonance: Time. Our obsession with time is evident in this continued scaling down …
atomic resonance: Time. Our obsession with time is evident in this continued scaling down …
[图书][B] Distributed algorithms for message-passing systems
M Raynal - 2013 - Springer
Distributed Algorithms for Message-Passing Systems Page 1 Michel Raynal Distributed Algorithms
for Message-Passing Systems Page 2 Distributed Algorithms for Message-Passing Systems Page …
for Message-Passing Systems Page 2 Distributed Algorithms for Message-Passing Systems Page …
Logical physical clocks
SS Kulkarni, M Demirbas, D Madappa, B Avva… - Principles of Distributed …, 2014 - Springer
There is a gap between the theory and practice of distributed systems in terms of the use of
time. The theory of distributed systems shunned the notion of time, and introduced “causality …
time. The theory of distributed systems shunned the notion of time, and introduced “causality …
Hundreds of impossibility results for distributed computing
F Fich, E Ruppert - Distributed computing, 2003 - Springer
We survey results from distributed computing that show tasks to be impossible, either
outright or within given resource bounds, in various models. The parameters of the models …
outright or within given resource bounds, in various models. The parameters of the models …
Revisiting the Paxos algorithm
The paxos algorithm is an efficient and highly fault-tolerant algorithm, devised by Lamport,
for reaching consensus in a distributed system. Although it appears to be practical, it seems …
for reaching consensus in a distributed system. Although it appears to be practical, it seems …
Revisiting the Paxos algorithm
This paper develops a new I/O automaton model called the Clock General Timed Automaton
(Clock GTA) model. The Clock GTA is based on the General Timed Automaton (GTA) of …
(Clock GTA) model. The Clock GTA is based on the General Timed Automaton (GTA) of …
Gradient clock synchronization
R Fan, N Lynch - Proceedings of the twenty-third annual ACM …, 2004 - dl.acm.org
We introduce the distributed gradient clock synchronization problem. As in traditional
distributed clock synchronization, we consider a network of nodes equipped with hardware …
distributed clock synchronization, we consider a network of nodes equipped with hardware …
Indistinguishability
H Attiya, S Rajsbaum - Communications of the ACM, 2020 - dl.acm.org
review articles Page 1 90 COMMUNICATIONS OF THE ACM | MAY 2020 | VOL. 63 | NO. 5
review articles The properties commonly ascribed to any object are, in last analysis, names for …
review articles The properties commonly ascribed to any object are, in last analysis, names for …