PODC A*

44 papers

YearTitle / Authors
1999A Design Methodology for Mobile Distributed Applications Based on UNITY Formalism and Communication-Closed Layering.
Camelia Zlatea, Tzilla Elrad
1999A Design of a Protocol for Detecting an Agent Clone in Mobile Agent Systems and its Correctness Proof.
Jusung Baek, R. S. Ramakrishna, Donk-Ik Lee
1999A Dynamic Self-Stabilizing Algorithm for Finding Strongly Connected Components.
Mehmet Hakan Karaata, Fawaz S. Al-Anzi
1999A Faster Distributed Algorithm for Computing Maximal Matchings Deterministically.
Michal Hanckowiak, Michal Karonski, Alessandro Panconesi
1999A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors.
Joseph Y. Halpern, Aleta Ricciardi
1999A Simple Local-Spin Group Mutual Exclusion Algorithm.
Patrick Keane, Mark Moir
1999Analysis of Timing-Based Mutual Exclusion with Random Times.
Eli Gafni, Michael Mitzenmacher
1999Backward Consistency and Sense of Direction in Advanced Distributed Systems.
Paola Flocchini, Alessandro Roncato, Nicola Santoro
1999Comparison of Initial Conditions for Distributed Algorithms on Anonymous Networks.
Naoshi Sakamoto
1999Computing Anonymously with Arbitrary Knowledge.
Paolo Boldi, Sebastiano Vigna
1999Decentalized Replicated-Object Protocols.
Peter J. Keleher
1999Delay-Optimal Quorum-Based Mutual Exclusion for Distributed Systems.
Guohong Cao, Mukesh Singhal, Naphtali Rishe
1999Dynamically Configurable Distributed Objects.
Michael J. Lewis, Andrew S. Grimshaw
1999External Logging on a Logical Ring.
Jerry James, Ambuj K. Singh
1999Fast Set Agreement in the Presence of Timing Uncertainty.
Dimitris Michailidis
1999Fast, Wait-Free (2
Yehuda Afek, Michael Merritt
1999Flash Mixing.
Markus Jakobsson
1999Fundamental Distributed Protocols in Mobile Networks.
Kostas P. Hatzis, George P. Pentaris, Paul G. Spirakis, Vasilis T. Tampakas, Richard B. Tan
1999LOTEC: A Simple DSM Consistency Protocol for Nested Object Transactions.
Peter C. J. Graham, Yahong Sui
1999Liveness-Preserving Simulation Relations.
Paul C. Attie
1999Long-Lived Renaming Made Adaptive.
Yehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou
1999Lower and Upper Bounds for Attacks on Authentication Protocols.
Scott D. Stoller
1999Maintenance of a Spanning Tree in Dynamic Networks.
Avner Porat
1999Matching Events in a Content-Based Subscription System.
Marcos Kawazoe Aguilera, Robert E. Strom, Daniel C. Sturman, Mark Astley, Tushar Deepak Chandra
1999Memory Space Requirements for Self-Stabilizing Leader Election Protocols.
Joffroy Beauquier, Maria Gradinariu, Colette Johnen
1999Mutable Check-Points: A New Checkpointing Approach for Mobile Computing Systems.
Guohong Cao, Mukesh Singhal
1999On
Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter
1999Optimal Locking Integrated with Operational Transformation in Distributed Real-Time Group Editors.
Chengzheng Sun, Rok Sosic
1999Optimal Reactive
Joffroy Beauquier, Christophe Genolini, Shay Kutten
1999Optimal and Efficient Clock Synchronization Under Drifting Clocks.
Rafail Ostrovsky, Boaz Patt-Shamir
1999Optimal, Distributed Decision-Making: The Case of no Communication.
Marios Mavronicolas, Paul G. Spirakis
1999Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999
Brian A. Coan, Jennifer L. Welch
1999Properties of a Family of Booster Types.
Gary L. Peterson
1999Resource Discovery in Distributed Networks.
Mor Harchol-Balter, Frank Thomson Leighton, Daniel Lewin
1999Rollback-Dependency Trackability: Visible Characterizations.
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
1999Scalable Concurrent Priority Queue Algorithms.
Nir Shavit, Asaph Zemach
1999Sequentially Consistent versus Linearizable Counting Networks.
Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld
1999The Complexity of End-to-End Communication in Memoryless Networks.
Micah Adler, Faith E. Fich
1999The HiMAT Model for Mobile Agent Applications.
Marco Cremonini, Andrea Omicini, Franco Zambonelli
1999The Sound of Silence - Guessing Games for Saving Energy in Mobile Environment.
Shlomi Dolev, Ephraim Korach, Dmitry Yukelson
1999Timed Consistency for Shared Distributed Objects.
Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
1999Two Classes of Communication Patterns.
Ajay D. Kshemkalyani, Mukesh Singhal
1999Using CSP to Derive a Sequentially Consistent DSM System.
Cortés E. Pérez, Alonso G. Román, Barradas H. Ruíz
1999Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling.
James H. Anderson, Mark Moir