Ebook: Principles of Distributed Systems: 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012. The 24 papers presented were carefully reviewed and selected from 89 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

---

This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012.

The 24 papers presented were carefully reviewed and selected from 89 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

---

This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012.

The 24 papers presented were carefully reviewed and selected from 89 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.
Content:
Front Matter....Pages -
FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems....Pages 1-15
Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks....Pages 16-30
Range Queries in Non-blocking k-ary Search Trees....Pages 31-45
On the Polling Problem for Social Networks....Pages 46-60
Non-deterministic Population Protocols....Pages 61-75
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers....Pages 76-90
When and How Process Groups Can Be Used to Reduce the Renaming Space....Pages 91-105
Electing a Leader in Multi-hop Radio Networks....Pages 106-120
Tree Exploration by a Swarm of Mobile Agents....Pages 121-134
Crash Resilient and Pseudo-Stabilizing Atomic Registers....Pages 135-150
Directed Graph Exploration....Pages 151-165
Lattice Completion Algorithms for Distributed Computations....Pages 166-180
Optimal Broadcast in Shared Spectrum Radio Networks....Pages 181-195
Attack-Resilient Multitree Data Distribution Topologies....Pages 196-208
On the Complexity of Distributed Broadcasting and MDS Construction in Radio Networks....Pages 209-223
On the Impact of Identifiers on Local Decision....Pages 224-238
Black Hole Search and Exploration in Unoriented Tori with Synchronous Scattered Finite Automata....Pages 239-253
Algorithms for Partial Gathering of Mobile Agents in Asynchronous Rings....Pages 254-268
Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks....Pages 269-283
Wait-Free Stabilizing Dining Using Regular Registers....Pages 284-299
Node Sampling Using Random Centrifugal Walks....Pages 300-314
Physarum-Inspired Self-biased Walkers for Distributed Clustering....Pages 315-329
Wait-Free Linked-Lists....Pages 330-344
Byzantine Chain Replication....Pages 345-359
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012.

The 24 papers presented were carefully reviewed and selected from 89 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.
Content:
Front Matter....Pages -
FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems....Pages 1-15
Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks....Pages 16-30
Range Queries in Non-blocking k-ary Search Trees....Pages 31-45
On the Polling Problem for Social Networks....Pages 46-60
Non-deterministic Population Protocols....Pages 61-75
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers....Pages 76-90
When and How Process Groups Can Be Used to Reduce the Renaming Space....Pages 91-105
Electing a Leader in Multi-hop Radio Networks....Pages 106-120
Tree Exploration by a Swarm of Mobile Agents....Pages 121-134
Crash Resilient and Pseudo-Stabilizing Atomic Registers....Pages 135-150
Directed Graph Exploration....Pages 151-165
Lattice Completion Algorithms for Distributed Computations....Pages 166-180
Optimal Broadcast in Shared Spectrum Radio Networks....Pages 181-195
Attack-Resilient Multitree Data Distribution Topologies....Pages 196-208
On the Complexity of Distributed Broadcasting and MDS Construction in Radio Networks....Pages 209-223
On the Impact of Identifiers on Local Decision....Pages 224-238
Black Hole Search and Exploration in Unoriented Tori with Synchronous Scattered Finite Automata....Pages 239-253
Algorithms for Partial Gathering of Mobile Agents in Asynchronous Rings....Pages 254-268
Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks....Pages 269-283
Wait-Free Stabilizing Dining Using Regular Registers....Pages 284-299
Node Sampling Using Random Centrifugal Walks....Pages 300-314
Physarum-Inspired Self-biased Walkers for Distributed Clustering....Pages 315-329
Wait-Free Linked-Lists....Pages 330-344
Byzantine Chain Replication....Pages 345-359
Back Matter....Pages -
....