9. OPODIS 2005: Pisa, Italy

James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer (Eds.): Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3974 Springer 2006, ISBN 3-540-36321-1

Invited Talks

David Peleg:
Distributed Algorithms for Systems of Autonomous Mobile Robots. 1
Giorgio C. Buttazzo:
Real-Time Issues in Mobile Wireless Networks. 2

Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit:
A Lazy Concurrent List-Based Set Algorithm. 3-16
Prasad Jayanti, Srdjan Petrovic:
Efficiently Implementing a Large Number of LL/SC Objects. 17-31
Burkhard Englert, Darin Goldstein:
Can Memory Be Used Adaptively by Uniform Algorithms? 32-46
Ling Cheung:
Randomized Wait-Free Consensus Using an Atomicity Assumption. 47-60

Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso:
Optimal Randomized Fair Exchange with Secret Shared Coins. 61-72
Roy Friedman, Michel Raynal, Corentin Travers:
Two Abstractions for Implementing Atomic Objects in Dynamic Systems. 73-87
HariGovind V. Ramasamy, Christian Cachin:
Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast. 88-102

Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang:
Self-stabilizing Population Protocols. 103-117
Toshimitsu Masuzawa, Sébastien Tixeuil:
A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks. 118-129
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte:
Timed Virtual Stationary Automata for Mobile Networks. 130-145
Janna Burman, Ted Herman, Shay Kutten, Boaz Patt-Shamir:
Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus. 146-160

Donald Darling, Jean Mayo, Xinli Wang:
Stable Predicate Detection in Dynamic Systems. 161-175
Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori:
MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users. 176-190
Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy:
Towards a Theory of Self-organization. 191-205
Kishori M. Konwar, Dariusz R. Kowalski, Alexander A. Shvartsman:
Node Discovery in Networks. 206-220

Hagit Attiya, David Hay, Jennifer L. Welch:
Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. 221-234
Edgar Chávez, Stefan Dobrev, Evangelos Kranakis, Jaroslav Opatrny, Ladislav Stacho, Héctor Tejeda, Jorge Urrutia:
Half-Space Proximal: A New Local Test for Extracting a Bounded Dilation Spanner of a Unit Disk Graph. 235-245
Mohamed G. Gouda, Young-ri Choi:
A State-Based Model of Sensor Protocols. 246-260

Ralf Klasing, Euripides Markou, Tomasz Radzik, Fabiano Sarracco:
Approximation Bounds for Black Hole Search Problems. 261-274
Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour:
Revising UNITY Programs: Possibilities and Limitations. 275-290

Nathan Fisher, Sanjoy K. Baruah:
The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms. 291-305
Marko Bertogna, Michele Cirinei, Giuseppe Lipari:
New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors. 306-321
Björn Andersson, Eduardo Tovar:
Static-Priority Scheduling of Sporadic Messages on a Wireless Channel. 322-333
Jean-François Hermant, Josef Widder:
Implementing Reliable Distributed Real-Time Systems with the Theta-Model. 334-350

Gregory Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman:
Reconfigurable Distributed Storage for Dynamic Networks. 351-365
Ittai Abraham, James Aspnes, Jian Yuan:
Skip B-Trees. 366-380
Marcin Bienkowski, Miroslaw Korzeniowski:
Bounding Communication Cost in Dynamic Load Balancing of Distributed Hash Tables. 381-395

Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert:
On the Power of Anonymous One-Way Communication. 396-411
Roland Gémesi, Nirvana Meratnia, Paul J. M. Havinga:
Quality-Aware Resource Management for Wireless Sensor Networks. 412-426
Kevin M. Lillis, Sriram V. Pemmaraju:
Topology Control with Limited Geometric Information. 427-442

Last update Fri May 24 19:41:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page