Self-stabilization
From MaRDI portal
communication networksqueuesself-stabilizationtransientslocalityshared memoryTuring machinesmessage passingprocessorslegal tasksafe configurations
Deterministic network models in operations research (90B10) Queues and service in operations research (90B22) Reliability, availability, maintenance, inspection in operations research (90B25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Communication networks in operations research (90B18) Stabilization of systems by feedback (93D15) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Control/observation systems involving computers (process control, etc.) (93C83)
Recommendations
Cited in
(only showing first 100 items - show all)- ANALYSIS OF THE AVERAGE EXECUTION TIME FOR A SELF-STABILIZING LEADER ELECTION ALGORITHM
- Self-stabilizing labeling and ranking in ordered trees
- The computational power of simple protocols for self-awareness on graphs
- Self-Stabilizing Domination Algorithms
- Tiara: a self-stabilizing deterministic skip list and skip graph
- Minimum algorithm sizes for the gathering and related problems of autonomous mobile robots
- Stabilizing mobile philosophers
- Spanders: distributed spanning expanders
- Self-stabilizing algorithms for minimal global powerful alliance sets in graphs
- A self-stabilizing transformer for population protocols with covering
- Bounds on Herman's algorithm
- Self-stabilization with path algebra
- scientific article; zbMATH DE number 17805 (Why is no real title available?)
- The local detection paradigm and its applications to self-stabilization
- Distributed agreement in dynamic peer-to-peer networks
- Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
- Self-stabilizing repeated balls-into-bins
- Stability of multi-valued continuous consensus
- Competitive self-stabilizing \(k\)-clustering
- Introduction to local certification
- Constant-Space Localized Byzantine Consensus
- Average long-lived binary consensus: quantifying the stabilizing role played by memory
- Quiescence of self-stabilizing gossiping among mobile agents in graphs
- A mathematical modeling framework for software reliability testing†
- scientific article; zbMATH DE number 2036567 (Why is no real title available?)
- A self-stabilizing distributed approximation algorithm for the minimum connected dominating set
- Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks
- Self-stabilization with \(r\)-operators
- Constructing self-stabilizing oscillators in population protocols
- The snap-stabilizing message forwarding algorithm on tree topologies
- Elements of security: Closure, convergence, and protection
- A survey on self-stabilizing algorithms for independence, domination, coloring, and matching in graphs
- Circle formation of weak robots and Lyndon words
- Probabilistic verification of Herman's self-stabilisation algorithm
- Optimal self-stabilizing mobile Byzantine-tolerant regular register with bounded timestamps
- Asynchronous self-stabilization made fast, simple, and energy-efficient
- Brief announcement: Self-stabilizing MIS computation in the beeping model
- On the expected time for Herman's probabilistic self-stabilizing algorithm
- Self-stabilizing 2-minimal dominating set algorithms based on loop composition
- An O(n)-time self-stabilizing leader election algorithm
- A self-stabilizing k-clustering algorithm for weighted graphs
- Snap-stabilization in message-passing systems
- Distributed Computing - IWDC 2003
- Stability of long-lived consensus.
- A state-based model of sensor protocols
- A self-stabilizing 6-approximation for the minimum connected dominating set with safe convergence in unit disk graphs
- SELF-STABILIZING ALGORITHMS FOR ORDERINGS AND COLORINGS
- Distributed detection of cliques in dynamic networks
- A divide \& conquer approach to conditional stable model checking
- A timestamp based transformation of self-stabilizing programs for distributed computing environments
- An improved self-stabilizing algorithm for biconnectivity and bridge-connectivity
- Randomization adaptive self-stabilization
- A geometric approach to deploying robot swarms
- Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
- A fault-containing self-stabilizing \((3-\frac 2{\varDelta+1})\)-approximation algorithm for vertex cover in anonymous networks
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- Oracle-based flocking of mobile robots in crash-recovery model
- Separation of circulating tokens
- Type-based self-stabilisation for computational fields
- Global synchronization of pulse-coupled oscillators on trees
- \(\mathrm{SKIP}^{+}\), a self-stabilizing skip graph
- Topological and numerical approaches to surface transformations
- Transient fault detectors
- Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
- From distributed coordination to field calculus and aggregate computing
- Timer-based composition of fault-containing self-stabilizing protocols
- \textit{Renaissance}: a self-stabilizing distributed SDN control plane using in-band communications
- Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony
- Safe and stabilizing distributed multi-path cellular flows
- Effective search for a naval mine with application to distributed failure detection
- Invited paper: One bit agent memory is enough for snap-stabilizing perpetual exploration of cactus graphs with distinguishable cycles
- Self-stabilizing timestamps
- scientific article; zbMATH DE number 2013825 (Why is no real title available?)
- Consensus when all processes may be Byzantine for some time
- Hundreds of impossibility results for distributed computing
- A silent self-stabilizing algorithm for the generalized minimal k-dominating set problem
- When consensus meets self-stabilization
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
- On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms
- Self-stabilizing extensions for message-passing systems
- Magnifying computing gaps. Establishing encrypted communication over unidirectional channels
- Self-stabilizing ( +1)-coloring in sublinear (in ) rounds via locally-iterative algorithms
- Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains
- A self-stabilizing algorithm to maximal 2-packing with improved complexity
- Self-stabilization through the lens of game theory
- A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
- A note on the parallel runtime of self-stabilizing graph linearization
- A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks
- Coordination without communication: the case of the flocking problem
- A new analysis of a self-stabilizing maximum weight matching algorithm with approximation ratio 2
- Secure and self-stabilizing clock synchronization in sensor networks
- Self-stabilizing leader election in dynamic networks
- On the costs of self-stabilization
- A multiple random walks based self-stabilizing \(k\)-exclusion algorithm in ad hoc networks
- An exercise in proving self-stabilization with a variant function
- Practically-self-stabilizing virtual synchrony
- On specifications and proofs of timed circuits
- Causality, influence, and computation in possibly disconnected synchronous dynamic networks
- HyperTree for self-stabilizing peer-to-peer systems
- Limiting behavior of 3-color excitable media on arbitrary graphs
This page was built for publication: Self-stabilization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782251)
