7. OPODIS 2003: La Martinique, France

Marina Papatriantafilou, Philippe Hunel (Eds.): Principles of Distributed Systems, 7th International Conference, OPODIS 2003 La Martinique, French West Indies, December 10-13, 2003 Revised Selected Papers. Lecture Notes in Computer Science 3144 Springer 2004, ISBN 3-540-22667-2 BibTeX

Invited Talks

Neil Gershenfeld:
Distributing Bits and Atoms. 1
Electronic Edition (link) BibTeX
Jo C. Ebergen:
Circuits Without Clocks: What Makes Them Tick? 2
Electronic Edition (link) BibTeX
Maarten van Steen:
Towards Very Large, Self-Managing Distributed Systems: Extended Abstract. 3-6
Electronic Edition (link) BibTeX

Ariel Daliot, Danny Dolev, Hanna Parnas:
Linear Time Byzantine Self-Stabilizing Clock Synchronization. 7-19
Electronic Edition (link) BibTeX
Ranganath Atreya, Neeraj Mittal, Vijay K. Garg:
Detecting Locally Stable Predicates Without Modifying Application Messages. 20-33
Electronic Edition (link) BibTeX
Stefan Dobrev, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro:
Multiple Agents RendezVous in a Ring in Spite of a Black Hole. 34-46
Electronic Edition (link) BibTeX
Jaap-Henk Hoepman:
Splitters: Objects for Online Partitioning. 47-57
Electronic Edition (link) BibTeX

Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel:
Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases. 58-70
Electronic Edition (link) BibTeX
Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi:
A Peer-to-Peer Approach to Enhance Middleware Connectivity. 71-82
Electronic Edition (link) BibTeX
Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi:
Multicast in DKS(N, k, f) Overlay Networks. 83-95
Electronic Edition (link) BibTeX

Khaled Chaaban, Paul Crubille, Mohamed Shawky:
Real-Time Framework for Distributed Embedded Systems. 96-107
Electronic Edition (link) BibTeX
Kazuhiro Kojima:
Self-Organization Approach of Communities for P2P Networks. 108-119
Electronic Edition (link) BibTeX
Vivien Quéma, Emmanuel Cecchet:
The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience. 120-131
Electronic Edition (link) BibTeX

Bram De Wachter, Thierry Massart, Cédric Meuter:
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. 132-145
Electronic Edition (link) BibTeX
Cecilia Ekelin, Jan Jonsson:
A Lower-Bound Algorithm for Load Balancing in Real-Time Systems. 146-158
Electronic Edition (link) BibTeX
Hacène Fouchal, Antoine Rollet:
A Simple Testing Technique for Embedded Systems. 159-170
Electronic Edition (link) BibTeX

Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. 171-183
Electronic Edition (link) BibTeX
Sandeep S. Kulkarni, Umamaheswaran Arumugam:
Transformations for Write-All-with-Collision Model. 184-197
Electronic Edition (link) BibTeX
Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar:
Transient Model for Jackson Networks and Its Approximation. 198-209
Electronic Edition (link) BibTeX

Dariusz R. Kowalski, Mariam Momenzadeh, Alexander A. Shvartsman:
Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems. 210-222
Electronic Edition (link) BibTeX
Jiro Uchida, Wei Chen, Koichi Wada:
Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks. 223-234
Electronic Edition (link) BibTeX
Ernesto Jiménez, Antonio Fernández, Vicent Cholvi:
Decoupled Interconnection of Distributed Memory Models. 235-246
Electronic Edition (link) BibTeX