• 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 12 matches

• 2010
• 
  Gautam Altekar, Ion Stoica:
  Focus Replay Debugging Effort on the Control Plane. HotDep 2010
• 
  Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph A. Tucek, Jay J. Wylie:
  What Consistency Does Your Key-Value Store Actually Provide? HotDep 2010
• 
  Alysson Neves Bessani, Paulo Sousa, Miguel Correia:
  Active Quorum Systems. HotDep 2010
• 
  Yuyang Du, Hongliang Yu, Yunhong Jiang, Yaozu Dong, Weimin Zheng:
  A Rising Tide Lifts All Boats: How Memory Error Prediction and Prevention Can Help with Virtualized System Longevity. HotDep 2010
• 
  Peter Feiner, Angela Demke Brown, Ashvin Goel:
  A Design for Comprehensive Kernel Instrumentation. HotDep 2010
• 
  Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum:
  We Crashed, Now What? HotDep 2010
• 
  Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen:
  Towards Automatically Checking Thousands of Failures with Micro-specifications. HotDep 2010
• 
  Rüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, Tobias Distler:
  Storyboard: Optimistic Deterministic Multithreading. HotDep 2010
• 
  Manos Kapritsos, Flavio Paiva Junqueira:
  Scalable Agreement: Toward Ordering as a Service. HotDep 2010
• 
  Michael P. Kasick, Rajeev Gandhi, Priya Narasimhan:
  Behavior-Based Problem Localization for Parallel File Systems. HotDep 2010
• 
  Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
  Improved Device Driver Reliability Through Verification Reuse. HotDep 2010
• 
  Paulo Veríssimo, Hakim Weatherspoon:
  Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010. USENIX Association 2010 [contents]