Now showing items 1-12 of 12

    • Communication Support for Reliable Distributed Computing 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1986-05)
      We describe a collection of communication primitives integrated with a mechanism for handling process failure and recovery. These primitives facilitate the implementation of fault-tolerant process groups, which can be ...
    • Concurrency Control in Resilient Objects 

      Birman, Kenneth P.; Joseph, Thomas A.; Raeuchle, Thomas (Cornell University, 1984-07)
      Resilient objects are instances of distributed abstract data types that are tolerant to failures. Due to the distributed nature of resilient objects and the use of replicated data, the potential for a high degree of ...
    • Exploiting Replication 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1988-06)
      NO ABSTRACT AVAILABLE
    • Exploiting Virtual Synchrony in Distributed Systems 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1987-02)
      We describe applications of a new software abstraction called the virtually synchronous process group. Such a group consists of a set of processes that cooperate to implement some distributed behavior in an environment ...
    • Implementing Fault-Tolerant Distributed Objects 

      Birman, Kenneth P.; Joseph, Thomas A.; Raeuchle, Thomas; El Abbadi, Amr (Cornell University, 1984-03)
      This paper describes a technique for implementing $k$-resilient objects - distributed objects that remain available, and whose operations are guaranteed to progress to completion, despite up to $k$ site failures. The ...
    • ISIS DOCUMENTATION: RELEASE 1 

      Birman, Kenneth P.; Joseph, Thomas A.; Schmuck, Frank B. (Cornell University, 1987-07)
      ABSTRACT NOT AVAILABLE
    • Low Cost Management of Replicated Data 

      Joseph, Thomas A. (Cornell University, 1985-11)
      ABSTRACT NOT SUPPLIED
    • Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1984-10)
      Many distributed systems replicate data for fault tolerance or availability. In such systems, a logical update on a data item results in a physical update on a number of copies. The synchronization and communication ...
    • An Overview of the Isis Project 

      Birman, Kenneth P.; Abbadi, Amr El; Dietrich, Wally; Joseph, Thomas A.; Raeuchle, Thomas (Cornell University, 1984-10)
      The goal of the ISIS projest is to provide a high-level support for fault-tolerant distributed computing by automatically replicating data and code. The extent to which information is replicated and the physical location ...
    • Programming with Shared Bulletin Boards in Asynchronus Distributed Systems 

      Birman, Kenneth P.; Joseph, Thomas A.; Schmuck, Frank B.; Stephenson, Patrick (Cornell University, 1986-08)
      We consider loosely coupled distributed computing systems in which processes interact through shared resources, which are modeled as bulletin boards. The first part of the paper formalizes the notion of consistent behavior ...
    • Reliable Communication in the Presence of Failures 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1985-07)
      We report on the design and correctness of a communication facility for a distributed computer system. The facility provides support for fault tolerant process groups in the form of a family of reliable multicast protocols ...
    • State Machines and Assertions (An Integrated Approach to Modelingand Verification of Distributed Systems 

      Joseph, Thomas A.; Raeuchle, Thomas; Toueg, Sam (Cornell University, 1985-11)
      This paper describes a methodology for modeling and verifying protocols for asynchronous message passing systems. It combines the techniques of finite state analysis and axiomatic verification. It overcomes the problem ...