Welcome to

opodis 2005

9th International Conference on
Principles of Distributed Systems

December 12--14, 2005, Pisa, Italy


Call for Papers

Important Dates (NEW!!)

Program Committee


Accepted Papers





Visa Issues



List of Accepted Papers



A Lazy Concurrent List-based Set Algorithm
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, Bill Scherer, Nir Shavit

A Self-Stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks
Toshimitsu Masuzawa, Sebastien Tixeuil

A State-based Model of Sensor Protocols
Mohamed Gouda, Young-ri Choi

Approximation bounds for Black Hole Search problems
Ralf Klasing, Tomasz Radzik, Fabiano Sarracco, Euripides Markou

Asynchronous and Fully Self-Stabilizing Time-Adaptive Majority Consensus
Janna Burman, Shay Kutten, Ted Herman, Boaz Patt-Shamir

Bounding Communication cost in Dynamic Load Balancing of Distributed Hash Tables
Marcin Bienkowski, Miroslaw Korzeniowski

Can memory be used adaptively by uniform algorithms?
Darin Goldstein, Burkhard Englert

Efficiently Implementing a Large Number of LL/SC Objects
Prasad Jayanti, Srdjan Petrovic

Half-Space Proximal: A New Local Test for Extracting a Bounded Dilation Spanner
Edgar Chavez, Stefan Dobrev, Evangelos Kranakis, Jaroslav Opatrny, Ladislav Stacho, Hector Tejeda, Jorge Urrutia

Implementing Reliable Distributed Real-Time Systems
Jean-Francois Hermant, Josef Widder

MTcast: Robust and Efficient P2P-based Video Delivery for Heterogeneous Requirements
Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori

New Schedulability Tests for Real-Time tasks sets scheduled by Deadline Monotonic on Multiprocessors
Marko Bertogna, Michele Cirinei, Giuseppe Lipari

Node Discovery in Networks
Kishori Konwar, Dariusz Kowalski, Alex Shvartsman

On the power of anonymous one-way communication
Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert

Optimal Clock Synchronization under Energy Constraints in Wireless Ad-Hoc Networks
Hagit Attiya, David Hay, Jennifer L. Welch

Optimal Randomized Omission-Tolerant Uniform Consensus in Message Passing Systems
Felix Freiling, Maurice Herlihy, Lucia Penso

Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast
HariGovind V. Ramasamy, Christian Cachin

Quality-Aware Resource Management for Wireless Sensor Networks
Roland Gemesi, Nirvana Meratnia, Paul Havinga

Randomized Wait-Free Consensus using An Atomicity Assumption
Ling Cheung

Reconfigurable Distributed Storage for Dynamic Networks
Gregory Chockler, Seth Gilbert, Vincent Gramoli, Peter Musial, Alexander Shvartsman

Revising UNITY Programs: Possibilities and Limitations
Ali Ebnenasir, Sandeep Kulkarni, Borzoo Bonakdarpour

Self-stabilizing Behavior in Networks of Nondeterministically Interacting Sensors
Dana Angluin, James Aspnes, Michael Fischer, Hong Jiang

Skip B-Trees
Ittai Abraham, James Aspnes, Jian Yuan

Stable Predicate Detection in Dynamic Systems
Donald Darling, Jean Mayo, Xinli Wang

Static-Priority Scheduling of Sporadic Messages on a Wireless Channel
Björn Andersson, Eduardo Tovar

The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms
Nathan Fisher, Sanjoy Baruah

Timed Virtual Stationary Automata for Mobile Networks
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch, Tina Nolte

Topology Control with Limited Geometric Information
Kevin Lillis, Sriram Pemmaraju

Towards a theory of self-organization
Emmanuelle Anceaume, Xavier Defago, Maria Gradinariu, Matthieu Roy

Two Abstractions for Implementing Atomic Objects in Dynamic Systems
Roy Friedman, Michel Raynal, Corentin Travers