Now showing items 1-9 of 9

    • 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 ...
    • 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 ...
    • 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 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 ...
    • 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 ...