MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mark Hayden" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Distributed Communication in ML
by Mark Hayden — 1997 — Journal of Functional Programming
…Distributed Communication in ML Mark Hayden Computer Science Department Cornell University…
Cited by 5 (0 self) – Add To MetaCart

A Language-Based Approach to Protocol Construction
by Anindya Basu, Mark Hayden, Greg Morrisett, Thorsten Eicken — 1997 — In Proc. of the ACM SIGPLAN Workshop on Domain Specific Languages (WDSL
…A Language-Based Approach to Protocol Construction Anindya Basu Mark Hayden Greg Morrisett Thorsten…
Cited by 2 (0 self) – Add To MetaCart

Dynamic Virtual Private Networks
by Ohad Rodeh, Ken Birman, Mark Hayden, Danny Dolev — 1998
…Dynamic Virtual Private Networks Ohad Rodeh, Ken Birman, Mark Hayden, Danny Dolev forodeh…
Cited by 11 (1 self) – Add To MetaCart

A proof environment for the development of group communication systems
by Christoph Kreitz, Mark Hayden, Jason Hickey — 1998 — Fifteenth International Conference on Automated Deduction, LNAI 1421
…A Proof Environment for the Development of Group Communication Systems Christoph Kreitz Mark…
Cited by 25 (13 self) – Add To MetaCart

Renesse. Optimizing Layered Communication Protocols
by Mark Hayden, Robbert Van Renesse — 1996
…Optimizing Layered Communication Protocols Mark Hayden, Robbert van Renesse Dept. of Computer…
Cited by 34 (2 self) – Add To MetaCart

A Language-Based Approach to Protocol Construction
by Anindya Basu Mark, Mark Hayden, Greg Morrisett, Thorsten Eicken — 1997 — In Proc. of the ACM SIGPLAN Workshop on Domain Specific Languages (WDSL
…A Language-Based Approach to Protocol Construction Anindya Basu Mark Hayden Greg Morrisett…
Add To MetaCart

A Gossip-Style Failure Detection Service
by Robbert Van Renesse, Yaron Minsky, Mark Hayden — 1998
…A Gossip-Style Failure Detection Service Robbert van Renesse, Yaron Minsky, and Mark Hayden…
Cited by 154 (22 self) – Add To MetaCart

GSGC: An Efficient Gossip-Style Garbage Collection Scheme for Scalable Reliable Multicast
by Katherine Guo, Mark Hayden, Robbert Van Renesse, Werner Vogels, Kenneth P. Birman — 1997
… Katherine Guo, Mark Hayden, Robbert van Renesse, Werner Vogels and Kenneth P. Birman Department of Computer…
Cited by 15 (0 self) – Add To MetaCart

GSGC: an e cient gossip-style garbage collection scheme for scalable reliable multicast
by Katherine Guo, Mark Hayden, Robbert Van Renesse, Werner Vogels, Kenneth P. Birman — 1997
… Guo, Mark Hayden, Robbert van Renesse, Werner Vogels and Kenneth P. Birman Department of Computer…
Cited by 2 (0 self) – Add To MetaCart

Bimodal Multicast
by Kenneth P. Birman, Mark Hayden, Oznur Ozkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky — 1998 — ACM Transactions on Computer Systems
…Bimodal Multicast 1 Kenneth P. Birman, Mark Hayden, Oznur Ozkasap, Zhen Xiao, Mihai Budiu, Yaron…
Cited by 144 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB