default search action
18th PODC 1999: Atlanta, Georgia, USA
- Brian A. Coan, Jennifer L. Welch:
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999. ACM 1999, ISBN 1-58113-099-6 - Rafail Ostrovsky, Boaz Patt-Shamir:
Optimal and Efficient Clock Synchronization Under Drifting Clocks. 3-12 - Eli Gafni, Michael Mitzenmacher:
Analysis of Timing-Based Mutual Exclusion with Random Times. 13-21 - Patrick Keane, Mark Moir:
A Simple Local-Spin Group Mutual Exclusion Algorithm. 23-32 - Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations. 33-42 - Chengzheng Sun, Rok Sosic:
Optimal Locking Integrated with Operational Transformation in Distributed Real-Time Group Editors. 43-52 - Marcos Kawazoe Aguilera, Robert E. Strom, Daniel C. Sturman, Mark Astley, Tushar Deepak Chandra:
Matching Events in a Content-Based Subscription System. 53-61 - Paul C. Attie:
Liveness-Preserving Simulation Relations. 63-72 - Joseph Y. Halpern, Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. 73-82 - Markus Jakobsson:
Flash Mixing. 83-89 - Yehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou:
Long-Lived Renaming Made Adaptive. 91-103 - Yehuda Afek, Michael Merritt:
Fast, Wait-Free (2k)-Renaming. 105-112 - Nir Shavit, Asaph Zemach:
Scalable Concurrent Priority Queue Algorithms. 113-122 - James H. Anderson, Mark Moir:
Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling. 123-132 - Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld:
Sequentially Consistent versus Linearizable Counting Networks. 133-142 - Peter J. Keleher:
Decentalized Replicated-Object Protocols. 143-151 - Peter C. J. Graham, Yahong Sui:
LOTEC: A Simple DSM Consistency Protocol for Nested Object Transactions. 153-162 - Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal:
Timed Consistency for Shared Distributed Objects. 163-172 - Naoshi Sakamoto:
Comparison of Initial Conditions for Distributed Algorithms on Anonymous Networks. 173-179 - Paolo Boldi, Sebastiano Vigna:
Computing Anonymously with Arbitrary Knowledge. 181-188 - Paola Flocchini, Alessandro Roncato, Nicola Santoro:
Backward Consistency and Sense of Direction in Advanced Distributed Systems. 189-198 - Joffroy Beauquier, Maria Gradinariu, Colette Johnen:
Memory Space Requirements for Self-Stabilizing Leader Election Protocols. 199-207 - Joffroy Beauquier, Christophe Genolini, Shay Kutten:
Optimal Reactive k-Stabilization: The Case of Mutual Exclusion. 209-218 - Michal Hanckowiak, Michal Karonski, Alessandro Panconesi:
A Faster Distributed Algorithm for Computing Maximal Matchings Deterministically. 219-228 - Mor Harchol-Balter, Frank Thomson Leighton, Daniel Lewin:
Resource Discovery in Distributed Networks. 229-237 - Micah Adler, Faith E. Fich:
The Complexity of End-to-End Communication in Memoryless Networks. 239-248 - Dimitris Michailidis:
Fast Set Agreement in the Presence of Timing Uncertainty. 249-256 - Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter:
On k-Set Consensus Problems in Asynchronous Systems. 257-265 - Jusung Baek, R. S. Ramakrishna, Donk-Ik Lee:
A Design of a Protocol for Detecting an Agent Clone in Mobile Agent Systems and its Correctness Proof. 269 - Guohong Cao, Mukesh Singhal:
Mutable Check-Points: A New Checkpointing Approach for Mobile Computing Systems. 270 - Guohong Cao, Mukesh Singhal, Naphtali Rishe:
Delay-Optimal Quorum-Based Mutual Exclusion for Distributed Systems. 271 - Marco Cremonini, Andrea Omicini, Franco Zambonelli:
The HiMAT Model for Mobile Agent Applications. 272 - Shlomi Dolev, Ephraim Korach, Dmitry Yukelson:
The Sound of Silence - Guessing Games for Saving Energy in Mobile Environment. 273 - Kostas P. Hatzis, George P. Pentaris, Paul G. Spirakis, Vasilis T. Tampakas, Richard B. Tan:
Fundamental Distributed Protocols in Mobile Networks. 274 - Jerry James, Ambuj K. Singh:
External Logging on a Logical Ring. 275 - Mehmet Hakan Karaata, Fawaz S. Al-Anzi:
A Dynamic Self-Stabilizing Algorithm for Finding Strongly Connected Components. 276 - Ajay D. Kshemkalyani, Mukesh Singhal:
Two Classes of Communication Patterns. 277 - Michael J. Lewis, Andrew S. Grimshaw:
Dynamically Configurable Distributed Objects. 278 - Marios Mavronicolas, Paul G. Spirakis:
Optimal, Distributed Decision-Making: The Case of no Communication. 279 - Cortés E. Pérez, Alonso G. Román, Barradas H. Ruíz:
Using CSP to Derive a Sequentially Consistent DSM System. 280 - Gary L. Peterson:
Properties of a Family of Booster Types. 281 - Avner Porat:
Maintenance of a Spanning Tree in Dynamic Networks. 282 - Scott D. Stoller:
Lower and Upper Bounds for Attacks on Authentication Protocols. 283 - Camelia Zlatea, Tzilla Elrad:
A Design Methodology for Mobile Distributed Applications Based on UNITY Formalism and Communication-Closed Layering. 284
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.