Mark Hayden

According to our database, Mark Hayden authored at least 10 papers between 1995 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Distributed communication in ML.

Mark Hayden

J. Funct. Program., 2000

1999

Bimodal Multicast.

Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky

ACM Trans. Comput. Syst., 1999

Middleware support for distributed multimedia and collaborative computing.

Kenneth P. Birman, Roy Friedman, Mark Hayden, Injong Rhee

Softw. Pract. Exp., 1999

Building reliable, high-performance communication systems from components.

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

1998

The Ensemble System.

Mark Hayden

PhD thesis, 1998

Building Adaptive Systems Using Ensemble.

Robbert van Renesse, Kenneth P. Birman, Mark Hayden, Alexey Vaysburd, David A. Karr

Softw. Pract. Exp., 1998

A Proof Environment for the Development of Group Communication Systems.

Christoph Kreitz, Mark Hayden, Jason Hickey

Proceedings of the Automated Deduction, 1998

1997

Optimizing Layered Communication Protocols.

Mark Hayden, Robbert van Renesse

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

1996

Speeding up Lisp-based symbolic mathematics.

Richard J. Fateman, Mark Hayden

SIGSAM Bull., 1996

1995

A Framework for Protocol Composition in Horus.

Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995