24 Result(s)

Article

MinMax algorithms for stabilizing consensus

In the stabilizing consensus problem each agent of a networked system has an input value and is repeatedly writing an output value; it is required that eventually all the output values stabilize to the same value...

Bernadette Charron-Bost, Shlomo Moran in Distributed Computing (2021)

Chapter and Conference Paper

Synchronization Modulo k in Dynamic Networks

We define the \(\mathrm {mod}\,k\) mod k ...

Louis Penet de Monterno… in Stabilization, Safety, and Security of Dis… (2021)

Reference Work Entry In depth

Consensus with Partial Synchrony

Bernadette Charron-Bost, André Schiper in Encyclopedia of Algorithms (2016)

Chapter and Conference Paper

Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms

We investigate the approximate consensus problem in highly dynamic networks in which topology may change continually and unpredictably. We prove that in both synchronous and partially synchronous networks, app...

Bernadette Charron-Bost, Matthias Függer… in Automata, Languages, and Programming (2015)

Chapter and Conference Paper

New transience bounds for long walks in weighted digraphs

Fix two nodes i and j in an edge-weighted diagraph and form the following sequence: Let a(n) be the maximum weight of walks from i to j of length n; if no such walk exists, a(n) = −∞. It is known that, if G is st...

Bernadette Charron-Bost, Matthias Függer… in The Seventh European Conference on Combina… (2013)

Chapter and Conference Paper

Transience Bounds for Distributed Algorithms

A large variety of distributed systems, like some classical synchronizers, routers, or schedulers, have been shown to have a periodic behavior after an initial transient phase (Malka and Rajsbaum, WDAG 1991). ...

Bernadette Charron-Bost, Matthias Függer… in Formal Modeling and Analysis of Timed Syst… (2013)

Chapter and Conference Paper

Partial is Full

Link reversal is the basis of several well-known routing algorithms [1,2,3]. In these algorithms, logical directions are imposed on the communication links and a node that becomes a sink reverses some of its i...

Bernadette Charron-Bost, Matthias Függer… in Structural Information and Communication C… (2011)

Chapter and Conference Paper

Full Reversal Routing as a Linear Dynamical System

Link reversal is a versatile algorithm design paradigm, originally proposed by Gafni and Bertsekas in 1981 for routing, and subsequently applied to other problems including mutual exclusion and resource alloca...

Bernadette Charron-Bost, Matthias Függer… in Structural Information and Communication C… (2011)

Chapter and Conference Paper

Formal Verification of Consensus Algorithms Tolerating Malicious Faults

Consensus is the paradigmatic problem in fault-tolerant distributed computing: it requires network nodes that communicate by message passing to agree on common value even in the presence of (benign or maliciou...

Bernadette Charron-Bost, Henri Debrat… in Stabilization, Safety, and Security of Dis… (2011)

Article

The Heard-Of model: computing in distributed systems with benign faults

Problems in fault-tolerant distributed computing have been studied in a variety of models. These models are structured around two central ideas: (1) degree of synchrony and failure model are two independent param...

Bernadette Charron-Bost, André Schiper in Distributed Computing (2009)

Chapter and Conference Paper

A Reduction Theorem for the Verification of Round-Based Distributed Algorithms

We consider the verification of algorithms expressed in the Heard-Of Model, a round-based computational model for fault-tolerant distributed computing. Rounds in this model are communication-closed, and we sho...

Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz in Reachability Problems (2009)

Chapter and Conference Paper

Link Reversal: How to Play Better to Work Less

Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for develo** provably correct and efficient applications. A popular algorithm design techniq...

Bernadette Charron-Bost, Jennifer L. Welch… in Algorithmic Aspects of Wireless Sensor Net… (2009)

Reference Work Entry In depth

Consensus with Partial Synchrony

Bernadette Charron-Bost, André Schiper in Encyclopedia of Algorithms (2008)

Chapter and Conference Paper

Validity Conditions in Agreement Problems and Time Complexity

We first introduce a new class of distributed agreement problems, ranging from Uniform Consensus to Non-Blocking Atomic Commitment, by varying the validity condition in the specification. We then provide an ea...

Bernadette Charron-Bost, Fabrice Le Fessant in SOFSEM 2004: Theory and Practice of Comput… (2004)

Chapter

Comparing the Atomic Commitment and Consensus Problems

Reaching agreement in a distributed system is a fundamental issue of both theoretical and practical importance. Consensus and non-blocking atomic commitment are two wellknown versions of this paradigm. The Consen...

Bernadette Charron-Bost in Future Directions in Distributed Computing (2003)

Chapter and Conference Paper

Agreement Problems in Fault-Tolerant Distributed Systems

Reaching agreement in a distributed system is a fundamental issue of both theoretical and practical importance. Consensus, Atomic Commitment, Atomic Broadcast, Group Membership which are different versions of ...

Bernadette Charron-Bost in SOFSEM 2001: Theory and Practice of Informatics (2001)

Chapter and Conference Paper

Revisiting Safety and Liveness in the Context of Failures

Safety and liveness are two fundamental concepts for proving the correctness of concurrent programs. In the context of failures, however, we observe that some properties that are commonly believed to be safety...

Bernadette Charron-Bost, Sam Toueg, Anindya Basu in CONCUR 2000 — Concurrency Theory (2000)

Article

Synchronous, asynchronous, and causally ordered communication

This article studies characteristic properties of synchronous and asynchronous message communications in distributed systems. Based on the causality relation between events in computations with asynchronous co...

Bernadette Charron-Bost, Friedemann Mattern, Gerard Tel in Distributed Computing (1996)