OPODIS B

37 papers

YearTitle / Authors
2010(anti-Omega
Zohir Bouzid, Corentin Travers
2010A Competitive Analysis for Balanced Transactional Memory Workloads.
Gokarna Sharma, Costas Busch
2010A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure.
Francesco Palmieri, Silvio Pardi, Paolo Veronesi
2010A Formal Framework for Conformance Testing of Distributed Real-Time Systems.
Moez Krichen
2010A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem.
Hirotsugu Kakugawa, Sayaka Kamei
2010An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects.
Danny Hendler, Shay Kutten, Erez Michalak
2010Application of Random Walks to Decentralized Recommender Systems.
Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves
2010Biased Selection for Building Small-World Networks.
Andrés Sevilla, Alberto Mozo, M. Araceli Lorenzo, José Luis López-Presa, Pilar Manzano, Antonio Fernández Anta
2010Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency.
Anders Gidenstam, Håkan Sundell, Philippas Tsigas
2010Constructing a Map of an Anonymous Graph: Applications of Universal Sequences.
Jérémie Chalopin, Shantanu Das, Adrian Kosowski
2010Distributed Game-Theoretic Vertex Coloring.
Ioannis Chatzigiannakis, Christos Koninis, Panagiota N. Panagopoulou, Paul G. Spirakis
2010Distributed Programming with Tasks.
Eli Gafni, Sergio Rajsbaum
2010Effect of Fairness in Model Checking of Self-stabilizing Programs.
Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
2010Efficient Lock Free Privatization.
Yehuda Afek, Hillel Avni, David Dice, Nir Shavit
2010Failure Detectors Encapsulate Fairness.
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
2010Fast Local-Spin Abortable Mutual Exclusion with Bounded Space.
Hyonho Lee
2010Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks.
Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada
2010Monotonic Stabilization.
Yukiko Yamauchi, Sébastien Tixeuil
2010On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors.
Piyush Garyali, Matthew Dellinger, Binoy Ravindran
2010On Minimizing Average End-to-End Delay in P2P Live Streaming Systems.
Fei Huang, Maleq Khan, Binoy Ravindran
2010On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.
Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial
2010On the Message Complexity of Global Computations.
Doron Nussbaum, Nicola Santoro
2010Optimizing Regenerator Cost in Traffic Grooming - (Extended Abstract).
Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks
2010Partitioning Real-Time Systems on Multiprocessors with Shared Resources.
Farhang Nemati, Thomas Nolte, Moris Behnam
2010Pattern Formation through Optimum Matching by Oblivious CORDA Robots.
Nao Fujinaga, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
2010Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
2010Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.
Yehuda Afek, Guy Korland, Eitan Yanovsky
2010Reliably Detecting Connectivity Using Local Graph Traits.
Alejandro Cornejo, Nancy A. Lynch
2010RoboCast: Asynchronous Communication in Robot Networks.
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
2010Self-stabilizing (k, r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths.
Andreas Larsson, Philippas Tsigas
2010Self-stabilizing Byzantine Asynchronous Unison
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2010Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.
Achour Mostéfaoui, Michel Raynal
2010SkewCCC+: A Heterogeneous Distributed Hash Table.
Marcin Bienkowski, André Brinkmann, Marek Klonowski, Miroslaw Korzeniowski
2010Tardiness Bounds for Global EDF with Deadlines Different from Periods.
Jeremy Erickson, Nan Guan, Sanjoy K. Baruah
2010Turning Adversaries into Friends: Simplified, Made Constructive, and Extended.
Eli Gafni, Petr Kuznetsov
2010Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes.
Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs
2010Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol.
Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita