Now showing items 1-14 of 14

    • Achieving Reliability Through Distributed Data Flows and Recursive Delegation 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny; Sakoda, Chuck (2009-03-15)
      Strong reliability properties, such as state machine replication or virtual synchrony, are hard to implement in a scalable manner. They are typically expressed in terms of global membership views. As we argue, global ...
    • The Architecture and Performance of Security Protocols in the EnsembleGroup Communication System 

      Rodeh, Ohad; Birman, Kenneth; Dolev, Danny (Cornell University, 2000-10-17)
      Ensemble is a Group Communication System built at Cornell and the Hebrew universities. It allows processes to create process groups within which scalable reliable fifo-ordered multicast and point-to-point communication are ...
    • Deciding in Partitionable Networks 

      Friedman, Roy; Keidar, Idit; Malki, Dalia; Birman, Ken; Dolev, Danny (Cornell University, 1995-11)
      Motivated by Chandra and Toueg's work, we study decision protocols in a model that closely approximates "real" distributed systems. Our results show how the weakest failure detector and associated consensus algorithm ...
    • Declarative Reliable Multi-Party Protocols 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (Cornell University, 2007-07-10)
      We propose a novel, declarative approach to im-plementing reliable multi-party protocols that enables efficient and scalable implementations. Our Proper-ties Framework (PF) is able to express semantics as simple as gossip ...
    • Efficient Message Passing Interface (MPI) for Parallel Computing onClusters of Workstations 

      Bruck, Jehoshua; Dolev, Danny; Ho, Ching-Tien; Rosu, Marcel-Catalin; Strong, Ray (Cornell University, 1995-02)
      Parallel computing on clusters of workstations and personal computers has very high potential, since it leverages existing hardware and software. Parallel programming environments offer the user a convenient way to express ...
    • 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 ...
    • Evolution vs. Intelligent Design in Consensus Protocols 

      Song, YeeJiun; van Renesse, Robbert; Schneider, Fred B.; Dolev, Danny (Cornell University, 2007-05-29)
      Consensus is an important building block for building replicated systems, and many consensus protocols have been proposed. In this paper, we show that many consensus protocols can be derived from the same simple genes. We ...
    • Failure Detectors in Omission Failure Environments 

      Dolev, Danny; Friedman, Roy; Keidar, Idit; Malkhi, Dahlia (Cornell University, 1996-09)
      We study failure detectors in an asynchronous environment that admits message omission failures. In such environments, processes may fail by crashing, but may also {\em disconnect\/} from each other. We adapt Chandra and ...
    • Optimized Group Rekey for Group Communications Systems 

      Rodeh, Ohad; Birman, Ken; Dolev, Danny (Cornell University, 1999-08)
      In this paper we describe an efficient algorithm for the management of group keys. Our algorithm is based on a protocol for secure IP-multicast and is used to manage group-keys in group-communications systems. Unlike prior ...
    • Programming Live Distributed Objects with Distributed Data Flows 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (2009-05-20)
      This paper presents a new object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locking, or reliable multicast, and a programming language that supports ...
    • Properties Framework and Typed Endpoints for Scalable Group Communication 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (Cornell University, 2006-12-13)
      Group communication is a powerful tool that simplifies the development of dependable systems, but widespread adoption of the paradigm has been limited. The main problem is that existing systems lack important forms of ...
    • QuickSilver Scalable Multicast 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (2007-12-24)
      Our work is motivated by a platform we are building to support a new style of distributed programming, in which users drag and drop live components into live documents, often without needing to write new code. The capability ...
    • A Study of Group Rekeying 

      Rodeh, Ohad; Birman, Kenneth P.; Dolev, Danny (Cornell University, 2000-03-20)
      In this paper we study the key management problem, in the context of Group Communication Systems (GCS). GCSs are mid-sized systems scaling up to 100 members. We present a side-by-side comparison of three ways of managing ...
    • Using AVL Trees for Fault Tolerant Group Key Management 

      Rodeh, Ohad; Birman, Kenneth; Dolev, Danny (Cornell University, 2000-11-02)
      In this paper we describe an efficient algorithm for the management of group-keys for Group Communication Systems. Our algorithm is based on the notion of key-graphs, previously used for managing keys in large IP-multicast ...