Now showing items 1-20 of 50

    • Achieving Critical Reliability With Unreliable Components andUnreliable Glue 

      Hayden, Mark; Birman, Kenneth P. (Cornell University, 1995-03)
      Even the most aggressive quality assurance procedures yield at best probabilistic confidence in the reliability of complex systems. Distributed systems, because of their large numbers of components, are enormously complex ...
    • Bimodal Multicast (revised) 

      Birman, Kenneth P.; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (Cornell University, 1999-05)
      There are many methods for making a multicast protocol "reliable". At one end of the spectrum, a reliable multicast protocol might offer atomicity guarantees, such as all-or-nothing delivery, delivery ordering, and perhaps ...
    • Causally Consistent Recovery of Partially Replicated Logs 

      Kane, Kenneth P.; Birman, Kenneth P. (Cornell University, 1988-11)
      An algorithm is presented for the consistent recovery of replicated data in a client-server system. The algorithm is based on logging and is similar to the optimistic techniques that are well known in the literature. ...
    • 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 ...
    • Consistent Failure Reporting in Reliable Communication Systems 

      Birman, Kenneth P.; Glade, Bradford B. (Cornell University, 1993-05)
      The difficulty of developing reliable distributed software is an impediment to applying distributed computing technology in many settings. This paper reviews some common platforms for distributed software development and ...
    • Deceit: A Flexible Distributed File System 

      Siegel, Alexander; Birman, Kenneth P.; Marzullo, Keith (Cornell University, 1989-11)
      Deceit, a distributed file system being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability. Deceit servers are interchangeable and collectively provide the ...
    • Design Alternatives for Process Group Membership and Multicast 

      Birman, Kenneth P.; Cooper, Robert; Gleeson, Barry (Cornell University, 1991-12)
      Process groups are a natural tool for distributed programming, and are increasingly important in distributed computing environments. However, there is little agreement on the most appropriate semantics for process group ...
    • Design and Performance of Horus: A Lightweight Group Communications System 

      Van Renesse, Robbert; Hickey, Takako M.; Birman, Kenneth P. (Cornell University, 1994-08)
      The Horus project seeks to develop a communication system addressing the requirements of a wide variety of distributed applications. Horus implements the group communications model providing (among others) unreliable or ...
    • Designing Application Software in Wide Area Network Settings 

      Makpangou, Messac; Birman, Kenneth P. (Cornell University, 1990-10)
      Progress in methodologies for developing robust local area network software has not been matched by similar results for wide-area settings. In this paper, we consider the design of application software spanning multiple ...
    • Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell 

      Gries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele (Internet-First University Press, 1985)
      IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement: A Fundamental Task Even ...
    • Ensemble Security 

      Rodeh, Ohad; Birman, Kenneth P.; Hayden, Mark; Xiao, Zhen; Dolev, Danny (Cornell University, 1998-09)
      Ensemble is a Group Communication System built at Cornell and the Hebrew Universities. It allows processes to create {\it process groups} in which scalable reliable fifo-ordered multicast and point-to-point communication ...
    • Exploiting Replication 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1988-06)
    • 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 ...
    • A Group Communication Approach for Mobile ComputingMobileChannel: an ISIS Tool for Mobile Services 

      Cho, Kenjiro; Birman, Kenneth P. (Cornell University, 1994-05)
      This paper examines group communication as an infrastructure to support mobility of users, and presents a simple scheme to support user mobility by means of switching a control point between replicated servers. We describe ...
    • GSGC: An Efficient Gossip-Style Garbage Collection Scheme for ScalableReliable Multicast 

      Guo, Katherine; Hayden, Mark; van Renesse, Robbert; Vogels, Werner; Birman, Kenneth P. (Cornell University, 1997-12)
      To deliver multicast messages reliably in a group, each member maintains copies of all messages it sends and receives in a buffer for potential local retransmission. The storage of these messages is costly and buffers may ...
    • The Horus and Ensemble Projects: Accomplishments and Limitations 

      Birman, Kenneth P.; Constable, Robert; Hayden, Mark; Hickey, Jason; Kreitz, Christoph; Van Renesse, Robbert; Rodeh, Ohad; Vogels, Werner (Cornell University, 1999-10)
      The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. Our intent was to understand the degree to which a single ...
    • Horus: A Flexible Group Communications System 

      Van Renesse, Robbert; Birman, Kenneth P.; Glade, Bradford B.; Guo, Katie; Hayden, Mark; Hickey, Takako; Malki, Dalia; Vaysburd, Alex; Vogels, Werner (Cornell University, 1995-03)
      The Horus system offers flexible group communication support for distributed applications. It is extensively layered and highly reconfigurable, allowing applications to only pay for services they use, and for groups with ...
    • How Robust Are Distributed Systems? 

      Birman, Kenneth P. (Cornell University, 1989-06)
      No abstract is available.
    • 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 ...