Sciweavers

481 search results - page 25 / 97
» Distributed Consensus, revisited
Sort
View
CONCUR
2003
Springer
14 years 2 months ago
Modeling Consensus in a Process Calculus
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
DC
2000
13 years 8 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
BERTINORO
2005
Springer
14 years 2 months ago
Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...
Jim Dowling, Raymond Cunningham, Anthony Harringto...
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
14 years 3 months ago
Rendezvous under noisy measurements
— We describe a distributed algorithm for solving the rendezvous problem based on consensus protocols. We extend our previous work by considering the case when the evolution of t...
Carlos H. Caicedo-Nunez, Milos Zefran
PODC
2011
ACM
12 years 11 months ago
Coordinated consensus in dynamic networks
We study several variants of coordinated consensus in dynamic networks. We assume a synchronous model, where the communication graph for each round is chosen by a worst-case adver...
Fabian Kuhn, Rotem Oshman, Yoram Moses