Now showing items 11-30 of 50

    • 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 ...
    • Integrating Security in a Group Oriented Distributed System 

      Reiter, Michael K.; Birman, Kenneth P.; Gong, Li (Cornell University, 1992-02)
      A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the architecture is to make ...
    • ISIS and META Projects: Progress Report 

      Birman, Kenneth P.; Cooper, Robert; Marzullo, Keith (Cornell University, 1990-03)
      No abstract is available.

      Birman, Kenneth P.; Joseph, Thomas A.; Schmuck, Frank B. (Cornell University, 1987-07)
    • The ISIS Project-Real Experience with a Fault-Tolerant Programming System 

      Birman, Kenneth P.; Cooper, Robert (Cornell University, 1990-07)
      The ISIS project has developed a distributed programming toolkit [2,3] and a collection of higher level applications based on these tools. ISIS is now in use at more than 300 locations world-wide. Here, we discuss the ...
    • ISIS: A System for Fault-Tolerant Distributed Computing 

      Birman, Kenneth P. (Cornell University, 1986-04)
      The ISIS system transforms abstract type specifications into fault-tolerant distributed implementations, while insulating users from the mechanisms whereby fault-tolerance is achieved. This paper discusses the transformations ...
    • 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 ...
    • Maintaining Consistency in Distributed Systems 

      Birman, Kenneth P. (Cornell University, 1991-11)
      How should distributed systems preserve consistency in the presence of concurrency and failures? For systems designed as assemblies of independently developed components, concurrent access to data or data structures would ...
    • The Next Generation Internet: Unsafe at Any Speed? 

      Birman, Kenneth P. (Cornell University, 1999-11)
      Will the Next Generation Internet provide an appropriate infrastructure for critical applications, such as are emerging in such settings as health care, electric power grid control, air traffic control, banking, and military ...
    • 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 ...
    • Performance of the ISIS Distributed Computing Toolkit 

      Birman, Kenneth P.; Clark, Timothy (Cornell University, 1994-06)
      The ISIS Toolkit is a programming environment for building process-group structured distributed software. The system is widely used in settings requiring high reliability, strong distributed consistency guarantees, and ...