• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 37 matches

• 2010
• 
  Yehuda Afek, Hillel Avni, David Dice, Nir Shavit:
  Efficient Lock Free Privatization. OPODIS 2010: 333-347
• 
  Yehuda Afek, Guy Korland, Eitan Yanovsky:
  Quasi-Linearizability: Relaxed Consistency for Improved Concurrency. OPODIS 2010: 395-410
• 
  Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs:
  Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes. OPODIS 2010: 64-78
• 
  Marcin Bienkowski, André Brinkmann, Marek Klonowski, Miroslaw Korzeniowski:
  SkewCCC+: A Heterogeneous Distributed Hash Table. OPODIS 2010: 219-234
• 
  Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil:
  RoboCast: Asynchronous Communication in Robot Networks. OPODIS 2010: 16-31
• 
  Zohir Bouzid, Corentin Travers:
  (anti-Omega^x ×Sigma_z)-Based k-Set Agreement Algorithms. OPODIS 2010: 189-204
• 
  Jérémie Chalopin, Shantanu Das, Adrian Kosowski:
  Constructing a Map of an Anonymous Graph: Applications of Universal Sequences. OPODIS 2010: 119-134
• 
  Ioannis Chatzigiannakis, Christos Koninis, Panagiota N. Panagopoulou, Paul G. Spirakis:
  Distributed Game-Theoretic Vertex Coloring. OPODIS 2010: 103-118
• 
  Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
  Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS 2010: 135-138
• 
  Alejandro Cornejo, Nancy A. Lynch:
  Reliably Detecting Connectivity Using Local Graph Traits. OPODIS 2010: 87-102
• 
  Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
  Self-stabilizing Byzantine Asynchronous Unison^, . OPODIS 2010: 83-86
• 
  Jeremy Erickson, Nan Guan, Sanjoy K. Baruah:
  Tardiness Bounds for Global EDF with Deadlines Different from Periods. OPODIS 2010: 286-301
• 
  Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks:
  Optimizing Regenerator Cost in Traffic Grooming - (Extended Abstract). OPODIS 2010: 443-458
• 
  Nao Fujinaga, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
  Pattern Formation through Optimum Matching by Oblivious CORDA Robots. OPODIS 2010: 1-15
• 
  Eli Gafni, Petr Kuznetsov:
  Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. OPODIS 2010: 380-394
• 
  Eli Gafni, Sergio Rajsbaum:
  Distributed Programming with Tasks. OPODIS 2010: 205-218
• 
  Piyush Garyali, Matthew Dellinger, Binoy Ravindran:
  On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. OPODIS 2010: 270-285
• 
  Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial:
  On the Automated Implementation of Time-Based Paxos Using the IOA Compiler. OPODIS 2010: 235-252
• 
  Anders Gidenstam, Håkan Sundell, Philippas Tsigas:
  Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency. OPODIS 2010: 302-317
• 
  Danny Hendler, Shay Kutten, Erez Michalak:
  An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects. OPODIS 2010: 318-332
• 
  Fei Huang, Maleq Khan, Binoy Ravindran:
  On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. OPODIS 2010: 459-474
• 
  Hirotsugu Kakugawa, Sayaka Kamei:
  A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem. OPODIS 2010: 411-426
• 
  Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves:
  Application of Random Walks to Decentralized Recommender Systems. OPODIS 2010: 48-63
• 
  Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada:
  Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. OPODIS 2010: 504-515
• 
  Moez Krichen:
  A Formal Framework for Conformance Testing of Distributed Real-Time Systems. OPODIS 2010: 139-142
• 
  Andreas Larsson, Philippas Tsigas:
  Self-stabilizing (k, r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths. OPODIS 2010: 79-82
• 
  Hyonho Lee:
  Fast Local-Spin Abortable Mutual Exclusion with Bounded Space. OPODIS 2010: 364-379
• 
  Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
  Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol. OPODIS 2010: 491-503
• 
  Achour Mostéfaoui, Michel Raynal:
  Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. OPODIS 2010: 143-158
• 
  Farhang Nemati, Thomas Nolte, Moris Behnam:
  Partitioning Real-Time Systems on Multiprocessors with Shared Resources. OPODIS 2010: 253-269

skipping 7 more matches