Titlebook: Stabilization, Safety, and Security of Distributed Systems; 14th International S Andréa W. Richa,Christian Scheideler Conference proceeding

Somber

唤醒

corn732

Deadpan

使入迷

, Self-stabilizing Silent Disjunction in an Anonymous Network,Given a network of processes ., where each process has a fixed ., .(.), the . is for each process to compute ., the disjunction of all input bits in the network.

倾听

, The Degrading Effect of Forgetting on a Synchronizer,A strategy to increase an algorithm’s robustness against internal memory corruption is to let processes actively discard part of their accumulated knowledge during execution. We study how different strategies of forgetting affect the performance of a synchronizer in an environment with probabilistic message loss.

choroid

pacific

条街道往前推

, Mobile Agent Rendezvous on Edge Evolving Rings,ezvous algorithms which work in anonymous systems. Previous works such as [2,4,5] characterized its solvability with the symmetricity and periodicity of network topology and initial locations of agents. However, most existing works (except [3]) assume “static” networks, where its topology does not change during the execution.

Accrue

, Verification of Stabilizing Programs with SMT Solvers,sfiability problem of a Boolean formula and utilize efficient techniques to determine whether it is satisfiable. In this work, we study the approach of utilizing techniques from bounded model checking to determine whether the given program is stabilizing.