Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers [1 ed.] 3540226672, 9783540226673, 9783540278603
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Principles of Dist
225 21 3MB
English Pages 249 [262] Year 2004
Table of contents :
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 -
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 -
![Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers [1 ed.]
3540226672, 9783540226673, 9783540278603](https://ebin.pub/img/200x200/principles-of-distributed-systems-7th-international-conference-opodis-2003-la-martinique-french-west-indies-december-10-13-2003-revised-selected-papers-1nbsped-3540226672-9783540226673-9783540278603.jpg)
- Author / Uploaded
- Neil Gershenfeld (auth.)
- Marina Papatriantafilou
- Philippe Hunel (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Distributed Multimedia Information Retrieval: SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003. Revised Selected and Invited Papers [1 ed.]
3540208755, 9783540208754, 9783540246107](https://ebin.pub/img/200x200/distributed-multimedia-information-retrieval-sigir-2003-workshop-on-distributed-information-retrieval-toronto-canada-august-1-2003-revised-selected-and-invited-papers-1nbsped-3540208755-9783540208754-9783540246107.jpg)
![Agent-Mediated Electronic Commerce V. Designing Mechanisms and Systems: AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15, 2003, Revised Selected Papers [1 ed.]
3540226745, 9783540226741](https://ebin.pub/img/200x200/agent-mediated-electronic-commerce-v-designing-mechanisms-and-systems-aamas-2003-workshop-amec-2003-melbourne-australia-july-15-2003-revised-selected-papers-1nbsped-3540226745-9783540226741.jpg)
![Power-Aware Computer Systems: Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers [1 ed.]
3540240314, 9783540240310, 9783540286417](https://ebin.pub/img/200x200/power-aware-computer-systems-third-international-workshop-pacs-2003-san-diego-ca-usa-december-1-2003-revised-papers-1nbsped-3540240314-9783540240310-9783540286417.jpg)
![Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers [1 ed.]
3540219749, 9783540219743, 9783540246862](https://ebin.pub/img/200x200/real-time-and-embedded-computing-systems-and-applications-9th-international-conference-rtcsa-2003-tainan-city-taiwan-february-18-20-2003-revised-papers-1nbsped-3540219749-9783540219743-9783540246862.jpg)
![Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers [1 ed.]
354024686X, 3540219749, 9783540219743](https://ebin.pub/img/200x200/real-time-and-embedded-computing-systems-and-applications-9th-international-conference-rtcsa-2003-tainan-city-taiwan-february-18-20-2003-revised-papers-1nbsped-354024686x-3540219749-9783540219743.jpg)
