Now showing items 1-3 of 3

    • 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 ...
    • 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 ...
    • Uniform Actions in Asynchronous Distributed Systems 

      Malki, Dalia; Birman, Kenneth P.; Ricciardi, Aleta M.; Schiper, Andre (Cornell University, 1994-09)
      We develop necessary conditions for the development of asynchronous distributed software that will perform {\em uniform} actions (events that if performed by any process, must be performed at all processes). The paper ...