This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005.
The 30 revised full papers presented together with abstracts of 2 invited talks were carefully selected from 109 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, self-stabilizing systems, peer-to-peer systems and collaborative environments, sensor networks and mobile computing, security and verification, real-time systems, and peer-to-peer systems.
Author(s): David Peleg (auth.), James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer (eds.)
Series: Lecture Notes in Computer Science 3974 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 448
Tags: Computer Communication Networks; Software Engineering; Programming Techniques; Operating Systems; Special Purpose and Application-Based Systems
Front Matter....Pages -
Distributed Algorithms for Systems of Autonomous Mobile Robots....Pages 1-1
Real-Time Issues in Mobile Wireless Networks....Pages 2-2
A Lazy Concurrent List-Based Set Algorithm....Pages 3-16
Efficiently Implementing a Large Number of LL/SC Objects....Pages 17-31
Can Memory Be Used Adaptively by Uniform Algorithms?....Pages 32-46
Randomized Wait-Free Consensus Using an Atomicity Assumption....Pages 47-60
Optimal Randomized Fair Exchange with Secret Shared Coins....Pages 61-72
Two Abstractions for Implementing Atomic Objects in Dynamic Systems....Pages 73-87
Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast....Pages 88-102
Self-stabilizing Population Protocols....Pages 103-117
A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks....Pages 118-129
Timed Virtual Stationary Automata for Mobile Networks....Pages 130-145
Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus....Pages 146-160
Stable Predicate Detection in Dynamic Systems....Pages 161-175
MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users....Pages 176-190
Towards a Theory of Self-organization....Pages 191-205
Node Discovery in Networks....Pages 206-220
Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks....Pages 221-234
Half-Space Proximal: A New Local Test for Extracting a Bounded Dilation Spanner of a Unit Disk Graph....Pages 235-245
A State-Based Model of Sensor Protocols....Pages 246-260
Approximation Bounds for Black Hole Search Problems....Pages 261-274
Revising UNITY Programs: Possibilities and Limitations....Pages 275-290
The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms....Pages 291-305
New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors....Pages 306-321
Static-Priority Scheduling of Sporadic Messages on a Wireless Channel....Pages 322-333
Implementing Reliable Distributed Real-Time Systems with the Θ-Model....Pages 334-350
Reconfigurable Distributed Storage for Dynamic Networks....Pages 351-365
Skip B-Trees....Pages 366-380
Bounding Communication Cost in Dynamic Load Balancing of Distributed Hash Tables....Pages 381-395
On the Power of Anonymous One-Way Communication....Pages 396-411
Quality-Aware Resource Management for Wireless Sensor Networks....Pages 412-426
Topology Control with Limited Geometric Information....Pages 427-442
Back Matter....Pages -
