Now showing items 1-20 of 21

    • 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 ...
    • Building Adaptive Systems Using Ensemble 

      van Renesse, Robbert; Birman, Ken; Hayden, Mark; Vaysburd, Alexey; Karr, David (Cornell University, 1997-07)
      Trends in networking and distributed computing are creating a new generation of applications that must adapt as the environment within which they execute changes. Examples of adaptations include switching protocols to ...
    • A Conversation with Ken Birman 

      Birman, Ken; Van Renesse, Robbert (Internet-First University Press, 2015-09-10)
      Ken Birman discusses the origins of cloud computing.
    • 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 ...
    • Dr. Multicast: Rx for Data Center Communication Scalability 

      Vigfusson, Ymir; Abu-Libdeh, Hussam; Balakrishnan, Mahesh; Birman, Ken; Tock, Yoav (2008-11-05)
      Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-to-point unicast and traditional IPMC ...
    • Hierarchical Message Stability Tracking Protocols 

      Guo, Katherine; van Renesse, Robbert; Vogels, Werner; Birman, Ken (Cornell University, 1997-09)
      Protocols which track message stability are an important part of reliable multicast protocols in fault-tolerant distributed systems. To reliably deliver multicast messages in a process group, each process maintains copies ...
    • Implementing High Performance Multicast in a Managed Environment 

      Ostrowski, Krzysztof; Birman, Ken (Cornell University, 2007-07-10)
      Component integration environments such as Microsoft .NET and J2EE have become widely popu-lar with application developers, who benefit from standardized memory management, system-wide type checking, debugging, and performance ...
    • The Maestro Group Manager: A Structuring Tool For Applications WithMultiple Quality of Service Requirements 

      Birman, Ken; Friedman, Roy; Hayden, Mark (Cornell University, 1997-02)
      {\em Maestro} is a tool for managing sets of protocol stacks that satisfy varied quality of service or security requirements. Intended primarily for multimedia groupware settings, it permits a single application to efficiently ...
    • 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 ...
    • Optimizing Buffer Management for Reliable Multicast 

      Xiao, Zhen; Birman, Ken (Cornell University, 2000-10-02)
      Reliable multicast delivery requires that a multicast message be received by all members in a group. Hence certain or all members need to buffer messages for possible retransmissions. Designing an efficient buffer ...
    • The Power of Indirection: Achieving Multicast Scalability by Mapping Groups to Regional Underlays 

      Ostrowski, Krzysztof; Birman, Ken; Phanishayee, Amar (Cornell University, 2006-12-13)
      Reliable multicast is a powerful primitive, useful for data replication, event notification (publish-subscribe), fault tolerance and other purposes. Yet many of the most interesting applications give rise to huge numbers ...
    • 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; Phanishayee, Amar (Cornell University, 2006-12-13)
      Reliable multicast is useful for replication and in support of publish-subscribe notification. However, many of the most interesting applications give rise to huge numbers of multicast groups with heavily overlapping sets ...
    • 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 Randomized Error Recovery Algorithm for Reliable Multicast 

      Xiao, Zhen; Birman, Ken (Cornell University, 2000-10-02)
      An efficient error recovery algorithm is essential for reliable multicast in large groups. Tree-based protocols (RMTP, TMTP, LBRRM) group receivers into local regions and select a repair server for performing error recovery ...
    • Scalable Publish-Subscribe in a Managed Framework 

      Ostrowski, Krzysztof; Birman, Ken (Cornell University, 2007-07-10)
      Reliable multicast, publish-subscribe and group communication are highly effective in support of replication and event notification, and could serve as the enabling technologies for new types of applications that are both ...
    • Trading Consistency for Availability in Distributed Systems 

      Friedman, Roy; Birman, Ken (Cornell University, 1996-04)
      This paper shows that two important classes of actions, {\em non left commuting}\/ and {\em strongly non commuting}, cannot be executed by concurrent partitions in a system that provides serializable services. This result ...
    • A Transparent Light-Weight Group Service 

      Rodrigues, Lu\'{\i}s; Guo, Katherine; Sargento, Antonio; van Renesse, Robbert; Glade, Brad; Ver\'{\i}ssimo, Paulo; Birman, Ken (Cornell University, 1996-05)
      Virtual synchrony, also known as view synchrony, has proven to be a powerful paradigm to build distributed applications. Informally, virtual synchrony provides to each process group membership information in the form ...