default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th OPODIS 2010: Tozeur, Tunisia
- Chenyang Lu
, Toshimitsu Masuzawa, Mohamed Mosbah:
Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings. Lecture Notes in Computer Science 6490, Springer 2010, ISBN 978-3-642-17652-4
Robots
- Nao Fujinaga, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
Pattern Formation through Optimum Matching by Oblivious CORDA Robots. 1-15 - Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil:
RoboCast: Asynchronous Communication in Robot Networks. 16-31
Randomization in Distributed Algorithms
- Andrés Sevilla, Alberto Mozo, M. Araceli Lorenzo, José Luis López-Presa, Pilar Manzano, Antonio Fernández Anta:
Biased Selection for Building Small-World Networks. 32-47 - Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves:
Application of Random Walks to Decentralized Recommender Systems. 48-63 - Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs:
Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes. 64-78
Brief Announcements I
- Andreas Larsson, Philippas Tsigas:
Self-stabilizing (k, r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths. 79-82 - Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing Byzantine Asynchronous Unison, . 83-86
Graph Algorithms
- Alejandro Cornejo, Nancy A. Lynch:
Reliably Detecting Connectivity Using Local Graph Traits. 87-102 - Ioannis Chatzigiannakis, Christos Koninis, Panagiota N. Panagopoulou, Paul G. Spirakis:
Distributed Game-Theoretic Vertex Coloring. 103-118 - Jérémie Chalopin, Shantanu Das, Adrian Kosowski:
Constructing a Map of an Anonymous Graph: Applications of Universal Sequences. 119-134
Brief Announcements II
- Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Effect of Fairness in Model Checking of Self-stabilizing Programs. 135-138 - Moez Krichen:
A Formal Framework for Conformance Testing of Distributed Real-Time Systems. 139-142
Fault-Tolerance
- Achour Mostéfaoui, Michel Raynal:
Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. 143-158 - Francesco Palmieri, Silvio Pardi, Paolo Veronesi:
A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure. 159-172 - Scott M. Pike, Srikanth Sastry, Jennifer L. Welch:
Failure Detectors Encapsulate Fairness. 173-188 - Zohir Bouzid, Corentin Travers:
(anti-Omegax ×Sigmaz)-Based k-Set Agreement Algorithms. 189-204
Distributed Programming
- Eli Gafni, Sergio Rajsbaum:
Distributed Programming with Tasks. 205-218 - Marcin Bienkowski, André Brinkmann, Marek Klonowski, Miroslaw Korzeniowski:
SkewCCC+: A Heterogeneous Distributed Hash Table. 219-234 - Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial:
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler. 235-252
Real-Time
- Farhang Nemati, Thomas Nolte, Moris Behnam:
Partitioning Real-Time Systems on Multiprocessors with Shared Resources. 253-269 - Piyush Garyali, Matthew Dellinger, Binoy Ravindran:
On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. 270-285 - Jeremy Erickson, Nan Guan, Sanjoy K. Baruah:
Tardiness Bounds for Global EDF with Deadlines Different from Periods. 286-301
Shared Memory
- Anders Gidenstam, Håkan Sundell, Philippas Tsigas:
Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency. 302-317 - Danny Hendler, Shay Kutten, Erez Michalak:
An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects. 318-332 - Yehuda Afek, Hillel Avni, David Dice, Nir Shavit:
Efficient Lock Free Privatization. 333-347 - Gokarna Sharma, Costas Busch:
A Competitive Analysis for Balanced Transactional Memory Workloads. 348-363
Concurrency
- Hyonho Lee:
Fast Local-Spin Abortable Mutual Exclusion with Bounded Space. 364-379 - Eli Gafni, Petr Kuznetsov:
Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. 380-394 - Yehuda Afek, Guy Korland, Eitan Yanovsky:
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency. 395-410 - Hirotsugu Kakugawa, Sayaka Kamei:
A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem. 411-426 - Doron Nussbaum, Nicola Santoro:
On the Message Complexity of Global Computations. 427-442 - Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks:
Optimizing Regenerator Cost in Traffic Grooming - (Extended Abstract). 443-458 - Fei Huang, Maleq Khan, Binoy Ravindran:
On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. 459-474 - Yukiko Yamauchi, Sébastien Tixeuil:
Monotonic Stabilization. 475-490 - Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol. 491-503 - Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada:
Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. 504-515
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
