Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97
Latest Publications

TOTAL DOCUMENTS

50

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By ACM Press

0897919521

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying and using a partitionable group communication service

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259422 ◽

1997 ◽

Author(s):

Alan Fekete ◽

Nancy Lynch ◽

Alex Shvartsman

Keyword(s):

Group Communication ◽

Communication Service

Download Full-text

The load and availability of Byzantine quorum systems

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259450 ◽

1997 ◽

Author(s):

Dahlia Malkhi ◽

Michael Reiter ◽

Avishai Wool

Keyword(s):

Download Full-text

Compiler support for decoupled virtual shared memory systems

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259484 ◽

1997 ◽

Author(s):

He Zhu ◽

Ian Watson

Keyword(s):

Shared Memory ◽

Memory Systems ◽

Compiler Support ◽

Virtual Shared Memory

Download Full-text

Internet support for wireless and mobile networking (tutorial)

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259409 ◽

1997 ◽

Author(s):

David B. Johnson

Keyword(s):

Mobile Networking ◽

Internet Support

Download Full-text

Disentangling multi-object operations (extended abstract)

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259431 ◽

1997 ◽

Author(s):

Yehuda Afek ◽

Michael Merrit ◽

Gadi Taubenfeld ◽

Dan Touitou

Download Full-text

Automatic verification of liveness properties of randomized systems

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259527 ◽

1997 ◽

Author(s):

Christel Baier ◽

Marta Kwiatkowska

Keyword(s):

Automatic Verification ◽

Liveness Properties

Download Full-text

Dynamic voting for consistent primary components

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259424 ◽

1997 ◽

Author(s):

Danny Dolev ◽

Idit Keidar ◽

Esti Yeger Lotem

Download Full-text

Implementing wait-free objects on priority-based systems

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259443 ◽

1997 ◽

Author(s):

James H. Anderson ◽

Srikanth Ramamurthy ◽

Rohit Jain

Keyword(s):

Download Full-text

Lazy consistency using loosely synchronized clocks

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259425 ◽

1997 ◽

Author(s):

Atul Adya ◽

Barbara Liskov

Keyword(s):

Synchronized Clocks

Download Full-text

Synchronous Byzantine quorum systems

Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 ◽

10.1145/259380.259454 ◽

1997 ◽

Author(s):

Rida A. Bazzi

Keyword(s):

Download Full-text