Principles of Distributed Systems: 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings

Front Matter....Pages -
The Next 700 BFT Protocols....Pages 1-1
On Replication of Software Transactional Memories....Pages 2-4
Write Markers for Probabilistic Quorum Systems....Pages 5-21
Byzantine Consensus with Unknown Participants....Pages 22-40
With Finite Memory Consensus Is Easier Than Reliable Broadcast....Pages 41-57
Group Renaming....Pages 58-72
Global Static-Priority Preemptive Multiprocessor Scheduling with Utilization Bound 38%....Pages 73-88
Deadline Monotonic Scheduling on Uniform Multiprocessors....Pages 89-104
A Comparison of the M-PCP , D-PCP , and FMLP on LITMUS RT ....Pages 105-124
A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots....Pages 125-144
Fault-Tolerant Flocking in a k -Bounded Asynchronous System....Pages 145-163
Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks....Pages 164-183
Degree 3 Suffices: A Large-Scale Overlay for P2P Networks....Pages 184-196
On the Time-Complexity of Robust and Amnesic Storage....Pages 197-216
Graph Augmentation via Metric Embedding....Pages 217-225
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness....Pages 226-245
The 0–1-Exclusion Families of Tasks....Pages 246-258
Interval Tree Clocks....Pages 259-274
Ordering-Based Semantics for Software Transactional Memory....Pages 275-294
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks....Pages 295-310
Impact of Information on the Complexity of Asynchronous Radio Broadcasting....Pages 311-330
Distributed Approximation of Cellular Coverage....Pages 331-345
Fast Geometric Routing with Concurrent Face Traversal....Pages 346-362
Optimal Deterministic Remote Clock Estimation in Real-Time Systems....Pages 363-387
Power-Aware Real-Time Scheduling upon Dual CPU Type Multiprocessor Platforms....Pages 388-407
Revising Distributed UNITY Programs Is NP-Complete....Pages 408-427
On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots....Pages 428-445
Taking Advantage of Symmetries: Gathering of Asynchronous Oblivious Robots on a Ring....Pages 446-462
Rendezvous of Mobile Agents When Tokens Fail Anytime....Pages 463-480
Solving Atomic Multicast When Groups Crash....Pages 481-495
A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence....Pages 496-511
Leader Election in Extremely Unreliable Rings and Complete Networks....Pages 512-526
Toward a Theory of Input Acceptance for Transactional Memories....Pages 527-533
Geo-registers: An Abstraction for Spatial-Based Distributed Computing....Pages 534-537
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets....Pages 538-541
Load-Balanced and Sybil-Resilient File Search in P2P Networks....Pages 542-545
Computing and Updating the Process Number in Trees....Pages 546-550
Redundant Data Placement Strategies for Cluster Storage Environments....Pages 551-554
An Unreliable Failure Detector for Unknown and Mobile Networks....Pages 555-559
Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers....Pages 560-563
A Distributed Algorithm for Resource Clustering in Large Scale Platforms....Pages 564-567
Reactive Smart Buffering Scheme for Seamless Handover in PMIPv6....Pages 568-571
Uniprocessor EDF Scheduling with Mode Change....Pages 572-577
Back Matter....Pages -