Browsing by Subject "Fault tolerant computer systems"
Now showing items 21-25 of 25
-
Conference Object
Performance and stability bounds for dynamic networks
(2004)In this work, we study the impact of dynamically changing link capacities on the delay bounds of LIS (Longest-In-System) and SIS (Shortest-In-System) protocols on specific networks (that can be modelled as Directed Acyclic ...
-
Article
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
(2004)State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...
-
Article
Probabilistic approaches to fault detection in networked discrete event systems
(2005)In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves ...
-
Article
Self-stabilizing virtual synchrony
(2015)Virtual synchrony (VS) is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is critical for the ...
-
Article
Two-phase commit optimizations in a commercial distributed environment
(1995)An atomic commit protocol can ensure that all participants in a distributed transaction reach consistent states, whether or not system or network failures occur. The atomic commit protocol used in industry and academia is ...