Browsing by Subject "Traditional approaches"

Now showing items 1-3 of 3

    • Conference Object  

      Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments 

      Nicolaou, Nicolas C.; Fernández Anta, Antonio; Georgiou, Chryssis (Institute of Electrical and Electronics Engineers Inc., 2016)
      An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide ...
    • Conference Object  

      Fault-tolerant discrete-time linear time-invariant filters 

      Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2000)
      Modular redundancy, the traditional approach to fault tolerance, is prohibitively expensive because of the overhead in replicating the hardware. In this paper we discuss alternative methods for obtaining fault-tolerant ...
    • Conference Object  

      Fault-tolerant linear finite state machines 

      Hadjicostis, Christoforos N.; Verghese, G. C. (Institute of Electrical and Electronics Engineers Inc., 1999)
      In this paper we develop a framework for constructing fault-tolerant dynamic systems, focusing primarily on linear finite state machines (LFSMs). Modular redundancy, the traditional approach to fault tolerance, is expensive ...