This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Principles of Distributed Systems, OPODIS 2003, held at La Martinique, French West Indies in December 2003.
The 19 revised full papers presented together with abstracts of 3 invited talks were carefully selected from 61 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on distributed and multiprocessor algorithms; peer-to peer systems and middleware; real-time and embedded systems; and verification, modeling, and performance of distributed systems.
Author(s): Neil Gershenfeld (auth.), Marina Papatriantafilou, Philippe Hunel (eds.)
Series: Lecture Notes in Computer Science 3144
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 249
Tags: Computer Communication Networks; Software Engineering; Programming Techniques; Operating Systems; Special Purpose and Application-Based Systems
Front Matter....Pages -
Distributing Bits and Atoms....Pages 1-1
Circuits Without Clocks: What Makes Them Tick?....Pages 2-2
Towards Very Large, Self-Managing Distributed Systems....Pages 3-6
Linear Time Byzantine Self-Stabilizing Clock Synchronization....Pages 7-19
Detecting Locally Stable Predicates Without Modifying Application Messages....Pages 20-33
Multiple Agents RendezVous in a Ring in Spite of a Black Hole....Pages 34-46
Splitters: Objects for Online Partitioning....Pages 47-57
Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases....Pages 58-70
A Peer-to-Peer Approach to Enhance Middleware Connectivity....Pages 71-82
Multicast in ${{\cal D\!K\!S}}(N,k,f)$ Overlay Networks....Pages 83-95
Real-Time Framework for Distributed Embedded Systems....Pages 96-107
Self-Organization Approach of Communities for P2P Networks....Pages 108-119
The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience....Pages 120-131
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems....Pages 132-145
A Lower-Bound Algorithm for Load Balancing in Real-Time Systems....Pages 146-158
A Simple Testing Technique for Embedded Systems....Pages 159-170
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing....Pages 171-183
Transformations for Write-All-with-Collision Model....Pages 184-197
Transient Model for Jackson Networks and Its Approximation....Pages 198-209
Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems....Pages 210-222
Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks....Pages 223-234
Decoupled Interconnection of Distributed Memory Models....Pages 235-246
Back Matter....Pages -
