Research Catalog

Title

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing : Newport, Rhode Island, USA, August 26-29, 2001 / sponsored by ACM Special Interest Group on Algorithms and Computational Theory and ACM Special Interest Group on Operating Systems.

Author

ACM Symposium on Principles of Distributed Computing (20th : 2001 : Newport, R.I.)

Publication

New York : Association for Computing Machinery, c2001.

Items in the Library & Off-site

Details

Additional Authors

• ACM Special Interest Group for Algorithms and Computation Theory
• ACM Special Interest Group in Operating Systems

Description

xii, 325 p. : ill.; 28 cm.

Alternative Title

• Principles of Distributed Computing
• PODC 2001 : Twentieth Annual ACM Symposium on Principles of Distributed Computing

Subject

Electronic data processing > Distributed processing > Congresses

Genre/Form

Conference papers and proceedings

Note

• "ACM order number 536010"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and author index.

Additional Formats (note)

• Also available on the World Wide Web via ACM Digital Library.

Processing Action (note)

• committed to retain

Contents

Lamport on Mutual Exclusion: 27 Years of Planting Seeds / James Anderson -- The ABCD's of Paxos / Butler Lampson -- Sticks and Stones: A Coding Scheme for Parameterized Verification / Amir Pnueli -- Leslie Lamport's Properties and Actions / Martin Abadi -- Implementing Atomic Objects in a Dynamic Environment / Nancy Lynch -- The [LATEX] Legacy 2.09 And All That / Chris Rowley -- On Beyond Registers: Wait-free Readable Objects / Maurice Herlihy -- An Efficient Distributed Algorithm for Constructing Small Dominating Sets / Lujun Jia, Rajmohan Rajaraman and Torsten Suel -- Restoration by Path Concatenation: Fast Recovery of MPLS Paths / Anat Bremler-Barr, Yehuda Afek and Haim Kaplan / [and others] -- Computing Almost Shortest Paths / Michael Elkin -- Distributed MST for Constant Diameter Graphs / Zvi Lotker, Boaz Patt-Shamir and David Peleg -- String Realizers of Posets with Applications to Distributed Computing / Vijay Garg and Chakarat Shawratananond -- On the Generalized Dining Philosophers Problem / Oltea Herescu and Catuscia Palamidessi -- An Improved Lower Bound for the Time Complexity of Mutual Exclusion / James H. Anderson and Yong-Jik Kim -- A Note on Group Mutual Exclusion / Vassos Hadzilacos -- Nearly Optimal Perfectly-Periodic Schedules / Amotz Bar-Noy, Aviv Nisgav and Boaz Patt-Shamir -- The Do-All Problem in Broadcast Networks / Bogdan Chlebus, Dariusz Kowalski and Andrzej Lingas -- Competitive Concurrent Distributed Queuing / Maurice Herlihy, Srikanta Tirthapura and Roger Wattenhofer -- Bandwidth Constrained Placement in a WAN / Arun Venkataramani, Phoebe Wiedmann and Mike Dahlin -- Compressed Bloom Filters / Michael Mitzenmacher -- A Hierarchy of Conditions for Consensus Solvability / Achour Mostefaoui, Sergio Rajsbaum and Michel Raynal / [and others] -- The Concurrency Hierarchy, and Algorithms for Unbounded Concurrency / Eli Gafni, Michael Merritt and Gadi Taubenfeld -- On Scalable and Efficient Distributed Failure Detectors / Indranil Gupta, Tushar D. Chandra and German S. Goldszmidt -- Average Probe Complexity in Quorum Systems / Yehuda Hassin and David Peleg -- Lock-Free Reference Counting / David Detlefs, Paul Martin and Mark Moir / [and others] -- Detecting Distributed Cycles of Garbage in Large-Scale Systems / Fabrice Le Fessant -- IceCube Approach to the Reconciliation of Divergent Replicas / Anne-Marie Kermarrec, Antony Rowstron and Marc Shapiro / [and others] -- Exploiting Event Stream Interpretation in Publish-Subscribe Systems / Yuanyuan Zhao and Rob Strom -- Replicated Condition Monitoring / Yongqiang Huang and Hector Garcia-Molina -- Computing Property-Preserving Behavior Abstractions from Trace Reductions / Simon St. James and Ulrich Ultes-Nitsche -- Reliability and Performance of Hierarchical RAID with Multiple Controllers / Sung Hoon Bae, Bong Wan Kim and Eui Joung Joung / [and others] -- Distributed Multi-Broadcast in Unknown Radio Networks / Andrea Clementi, Angelo Monti and Riccardo Silvestri -- Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks / Li Li, Joseph Halpern and Paramvir Bahl / [and others] -- Practical Multi-Candidate Election System / Olivier Baudron, Pierre-Alain Fouque and David Pointcheval / [and others] -- An Optimally Robust Hybrid Mix Network / Markus Jakobsson and Ari Juels -- Selective Private Function Evaluation with Applications to Private Statistics / Ran Canetti, Yuval Ishai and Ravi Kumar / [and others] -- Brief Announcement: Optimal Scheduling for Disconnected Cooperation / Grzegorz Malewicz, Alexander Russell and Alex Shvartsman -- Brief Announcement: Adding Networks / Panagiota Fatourou and Maurice Herlihy -- Brief Announcement: Randomized Shared Queues / Hyunyoung Lee and Jennifer Welch -- Brief Announcement: Dynamic Input/Output Automata: a Formal Model for Dynamic Systems / Paul Attie and Nancy Lynch -- Brief Announcement: A Framework for Semantic Reasoning about Byzantine Quorum Systems / Evelyn Pierce and Lorenzo Alvisi -- Brief Announcement: An Efficient Communication Strategy for Ad-hoc Mobile Networks / Ioannis Chatzigiannakis, Sotiris Nikoletseas and Paul Spirakis -- Correction: Practical Implementations of Non-Blocking Synchronization Primitives / Mark Moir.

ISBN

1581133839

OCLC

• 49388463
• SCSB-10088544

Owning Institutions

Harvard Library