default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th OPODIS 2014: Cortina d'Ampezzo, Italy
- Marcos K. Aguilera, Leonardo Querzoni
, Marc Shapiro:
Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings. Lecture Notes in Computer Science 8878, Springer 2014, ISBN 978-3-319-14471-9
Consistency
- Christian Cachin, Olga Ohrimenko:
Verifying the Consistency of Remote Untrusted Services with Commutative Operations. 1-16 - Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone:
Logical Physical Clocks. 17-32 - Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran:
Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems. 33-48
Distributed Graph Algorithms
- Andrzej Czygrinow, Michal Hanckowiak, Edyta Szymanska, Wojciech Wawrzyniak, Marcin Witkowski:
Distributed Local Approximation of the Minimum k-Tuple Dominating Set in Planar Graphs. 49-59 - Taisuke Izumi, Roger Wattenhofer:
Time Lower Bounds for Distributed Distance Oracles. 60-75
Fault Tolerance
- Elli Androulaki, Christian Cachin, Dan Dobre, Marko Vukolic:
Erasure-Coded Byzantine Storage with Separate Metadata. 76-90 - Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang:
BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. 91-106 - Martina Eikel, Christian Scheideler, Alexander Setzer:
RoBuSt: A Crash-Failure-Resistant Distributed Storage System. 107-122 - Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone:
Checkpointing in Parallel State-Machine Replication. 123-138
Models
- Zohir Bouzid, Eli Gafni, Petr Kuznetsov:
Strong Equivalence Relations for Iterated Models. 139-154 - Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
The Opinion Number of Set-Agreement. 155-170 - Rati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit:
On the Importance of Registers for Computability. 171-185
Radio Networks
- Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski:
Scalable Wake-up of Multi-channel Single-Hop Radio Networks. 186-201 - Henry Tan, Chris Wacek, Calvin C. Newport, Micah Sherr:
A Disruption-Resistant MAC Layer for Multichannel Wireless Networks. 202-216
Robots
- Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta:
Distributed Computing by Mobile Robots: Solving the Uniform Circle Formation Problem. 217-232 - Tomoko Izumi, Sayaka Kamei, Yukiko Yamauchi:
Approximation Algorithms for the Set Cover Formation by Oblivious Mobile Robots. 233-247 - Tamás Lukovszki, Friedhelm Meyer auf der Heide:
Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots. 248-262 - Avery Miller, Andrzej Pelc:
Tradeoffs between Cost and Information for Rendezvous and Treasure Hunt. 263-276
Self-Stabilization
- Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz:
Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case. 277-292 - Ajoy Kumar Datta, Lawrence L. Larmore, Toshimitsu Masuzawa:
A Communication-Efficient Self-stabilizing Algorithm for Breadth-First Search Trees. 293-306 - François Delbot, Christian Laforest, Stephane Rovedakis:
Self-stabilizing Algorithms for Connected Vertex Cover and Clique Decomposition Problems. 307-322 - Shay Kutten, Chhaya Trehan:
Fast and Compact Distributed Verification and Self-stabilization of a DFS Tree. 323-338 - Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols. 339-354
Shared Data Structures
- Dana Drachsler-Cohen, Erez Petrank:
LCD: Local Combining on Demand. 355-371 - Nhan Nguyen, Philippas Tsigas, Håkan Sundell:
ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List. 372-387 - Kenneth Platz, Neeraj Mittal, Subbarayan Venkatesan:
Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization. 388-403
Shared Memory
- Zahra Aghazadeh, Philipp Woelfel:
Space- and Time-Efficient Long-Lived Test-And-Set Objects. 404-419 - Panagiota Fatourou, Eleni Kanellou, Eleftherios Kosmas, Md Forhad Rabbi:
WFR-TM: Wait-Free Readers without Sacrificing Speculation of Writers. 420-436 - Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
On Developing Optimistic Transactional Lazy Set. 437-452
Synchronization and Universal Construction
- Uri Abraham, Gal Amram:
On the Mailbox Problem. 453-468 - Michel Raynal, Julien Stainer, Gadi Taubenfeld:
Distributed Universality. 469-484 - Pierre Sutra, Etienne Rivière, Pascal Felber:
A Practical Distributed Universal Construction with Unknown Participants. 485-500
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 2025-11-26 07:51 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:
