12. OPODIS 2008: Luxor, Egypt
Theodore P. Baker, Alain Bui, Sébastien Tixeuil (Eds.): Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-92220-9
Invited Talks
- Rachid Guerraoui: The Next 700 BFT Protocols. 1
- Luís Rodrigues: On Replication of Software Transactional Memories. 2-4
Regular Papers
- Eduardo Adílio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga, Fabíola Greve: Byzantine Consensus with Unknown Participants. 22-40
- Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg: With Finite Memory Consensus Is Easier Than Reliable Broadcast. 41-57
- Björn Andersson: Global Static-Priority Preemptive Multiprocessor Scheduling with Utilization Bound 38%. 73-88
- Björn B. Brandenburg, James H. Anderson: A Comparison of the M-PCP, D-PCP, and FMLPon LITMUSRT. 105-124
- Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita: A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots. 125-144
- Samia Souissi, Yan Yang, Xavier Défago: Fault-Tolerant Flocking in a k-Bounded Asynchronous System. 145-163
- Antonio Fernández Anta, Alessia Milani: Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks. 164-183
- Marcin Bienkowski, André Brinkmann, Miroslaw Korzeniowski: Degree 3 Suffices: A Large-Scale Overlay for P2P Networks. 184-196
- Dan Dobre, Matthias Majuntke, Neeraj Suri: On the Time-Complexity of Robust and Amnesic Storage. 197-216
- Damien Imbs, Michel Raynal: A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. 226-245
- Eli Gafni: The 0-1-Exclusion Families of Tasks. 246-258
- Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott: Ordering-Based Semantics for Software Transactional Memory. 275-294
- Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong Cho: CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks. 295-310
- Tiziana Calamoneri, Emanuele G. Fusco, Andrzej Pelc: Impact of Information on the Complexity of Asynchronous Radio Broadcasting. 311-330
- Boaz Patt-Shamir, Dror Rawitz, Gabriel Scalosub: Distributed Approximation of Cellular Coverage. 331-345
- Thomas Clouser, Mark Miyashita, Mikhail Nesterenko: Fast Geometric Routing with Concurrent Face Traversal. 346-362
- Heinrich Moser, Ulrich Schmid: Optimal Deterministic Remote Clock Estimation in Real-Time Systems. 363-387
- Joël Goossens, Dragomir Milojevic, Vincent Nélis: Power-Aware Real-Time Scheduling upon Dual CPU Type Multiprocessor Platforms. 388-407
- Borzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. 408-427
- Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. 428-445
- Ralf Klasing, Adrian Kosowski, Alfredo Navarra: Taking Advantage of Symmetries: Gathering of Asynchronous Oblivious Robots on a Ring. 446-462
- Shantanu Das, Matús Mihalák, Rastislav Srámek, Elias Vicari, Peter Widmayer: Rendezvous of Mobile Agents When Tokens Fail Anytime. 463-480
- Sayaka Kamei, Hirotsugu Kakugawa: A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence. 496-511
- Stefan Dobrev, Rastislav Kralovic, Dana Pardubská: Leader Election in Extremely Unreliable Rings and Complete Networks. 512-526
- Vincent Gramoli, Derin Harmanci, Pascal Felber: Toward a Theory of Input Acceptance for Transactional Memories. 527-533
- Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell: Geo-registers: An Abstraction for Spatial-Based Distributed Computing. 534-537
- Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova: Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. 538-541
- Hyeong Seog Kim, Eunjin Jung, Heon Young Yeom: Load-Balanced and Sybil-Resilient File Search in P2P Networks. 542-545
- David Coudert, Florian Huc, Dorian Mazauric: Computing and Updating the Process Number in Trees. 546-550
- André Brinkmann, Sascha Effert: Redundant Data Placement Strategies for Cluster Storage Environments. 551-554
- Pierre Sens, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon, Fabíola Greve: An Unreliable Failure Detector for Unknown and Mobile Networks. 555-559
- Andrew Lutomirski, Victor Luchangco: Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers. 560-563
- Olivier Beaumont, Nicolas Bonichon, Philippe Duchon, Lionel Eyraud-Dubois, Hubert Larchevêque: A Distributed Algorithm for Resource Clustering in Large Scale Platforms. 564-567
- Hyon-Young Choi, Kwang-Ryoul Kim, Hyo-Beom Lee, Sung-Gi Min: Reactive Smart Buffering Scheme for Seamless Handover in PMIPv6. 568-571
- Björn Andersson: Uniprocessor EDF Scheduling with Mode Change. 572-577
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team