MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 16-Dec-96 21:45:26 GMT Content-Type: text/html Content-Length: 12094 Last-Modified: Tuesday, 19-Nov-96 20:35:55 GMT The Horus Papers










Publications

Through this page you can retrieve most of the papers, reports and thesis produced by members and visitors of the Horus project. The papers on Horus and related issues start in 1993, for earlier papers you should consult the Isis papers.

Available retrieval methods
Each entry in the bibliographical list has one or more icons associated with it:

An abstract for this paper can be found on the Horus abstracts page.
A postscript version can be retrieved from the Cornell CS ftp server.
The document can be retrieved in various forms from the Cornell CS Technical Report server.
The paper is on-line as an HTML document.

Selecting an icon will retrieve the document (in case of Postscript) or bring you to the appropriate page where you can view the document in the selected form.


Horus architecture, protocols and performance.

  • Kenneth P. Birman and Robbert van Renesse, Software for Reliable Networks, in Scientific American, May, 1996.

  • Robbert van Renesse, Kenneth P. Birman and Silvano Maffeis, Horus, a flexible Group Communication System, Communications of the ACM, April 1996.

  • Robbert van Renesse, Masking the Overhead of Protocol Layering To appear in the Proceeding of the 1996 ACM SIGCOMM Conference, Stanford, September 1996.

  • Roy Friedman and Ken Birman, Using Group Communication Technology to Implement a Reliable and Scalable Distributed IN Coprocessor, To appear in the Proceedings of TINA'96, Heidelberg, September, 1996.

  • Werner Vogels, World Wide Failures in the proceedings of the ACM SIGOPS 1996 European Workshop, Connamoran, Ireland, September 1996.

  • Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, and David A. Karr, A Framework for Protocol Composition in Horus, In the proceedings of Principles of Distributed Computing, August, 1995.

  • Roy Friedman and Robbert van Renesse, Strong and Weak Virtual Synchrony in Horus, Cornell University Technical Report, TR95-1537, August, 1995.

  • Roy Friedman and Robbert van Renesse, Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols, Cornell University Technical Report, TR95-1527, August, 1995.

  • Robbert Van Renesse and Kenneth P. Birman, Protocol Composition in Horus, Cornell University Technical Report, TR95-1505, March, 1995.

  • Robbert Van Renesse, Kenneth P. Birman, Bradford B. Glade, Katie Guo, Mark Hayden, Takako Hickey, Dalia Malki, Alex Vaysburd and Werner Vogels, Horus: A Flexible Group Communications System Cornell University Technical Report, TR95-1500, March, 1995.

  • Takako M. Hickey and Robbert Van Renesse, Incorporating System Resource Information into Flow Control Cornell University Technical Report, TR95-1489, February, 1995.

  • Robbert van Renesse, Takako M. Hickey, and Kenneth P. Birman, Design and Performance of Horus: A Lightweight Group Communications System Cornell University Technical Report, TR94-1442, August, 1994.

  • Werner Vogels and Robbert van Renesse, Support for Complex Multi-Media Applications using the Horus system. December, 1994.

Horus and Security

  • David A. Cooper and Kenneth P. Birman, Preserving Privacy in a Network of Mobile Computers, Cornell University Technical Report, TR95-1490, March, 1995.

  • Michael K. Reiter, Kenneth P. Birman and Robbert Van Renesse A Security Architecture for Fault-Tolerant Systems Cornell University Technical Report, TR93-1354, June, 1993.


Virtual Synchrony, Partitions and new protocols.

  • Roy Friedman and Ken Birman, Trading Consistency for Availability in Distributed Systems Cornell University Technical Report, TR95-1579, April, 1996.

  • Roy Friedman, Idit Keidar, Dalia Malki, Ken Birman and Danny Dolev, Deciding in Partitionable Networks Cornell University Technical Report, TR95-1554, November, 1995.

  • Roy Friedman, Using Virtual Synchrony to Develop Efficient Fault Tolerant Distributed Shared Memories Cornell University Technical Report, TR95-1506, March, 1995.

  • Mark Hayden and Kenneth P. Birman, Achieving Critical Reliability With Unreliable Components and Unreliable Glue Cornell University Technical Report, TR95-1493, March, 1995.

  • Dalia Malki, Kenneth P. Birman, Aleta M. Ricciardi and Andre Schiper, Uniform Actions in Asynchronous Distributed Systems, Cornell University Technical Report, TR94-1447, September, 1994.

  • Aleta M. Ricciardi, Andre Schiper and Kenneth P. Birman Understanding Partitions and the ``No Partition'' Assumption Cornell University Technical Report, TR93-1355, June, 1993.

  • Andre Schiper and Aleta M. Ricciardi, Virtually-Synchronous Communication Based on a Weak Failure Suspector Cornell University Technical Report, TR93-1339, April, 1993.

  • Aleta M. Ricciardi and Kenneth P. Birman, Process Membership in Asynchronous Environments Cornell University Technical Report, TR93-1328, March, 1995.


Comments to Werner Vogels