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

• 2020
• 
  Colin Adams, Luis Alonso, Benjamin Atkin, John Banning, Sumeer Bhola, Rick Buskens, Ming Chen, Xi Chen, Yoo Chung, Qin Jia, Nick Sakharov, George Talbot, Nick Taylor, Adam Tart:
  Monarch: Google's Planet-Scale In-Memory Time Series Database. Proc. VLDB Endow. 13(12): 3181-3194 (2020)
• 2012
• 
  Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey:
  The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122
• 
  Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens:
  Verification of Adaptive Systems. Infotech@Aerospace 2012
• 2009
• 
  Patrick J. Lardieri, Rick Buskens, Srini Srinivasan, William McKeever, Steven Drager:
  SPRUCE: A web portal for the collaborative engineering of Software Intensive Systems Producibility challenge problems and solutions. CTS 2009: 276-283
• 2008
• 
  Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens:
  NAOMI - An Experimental Platform for Multi-modeling. MoDELS 2008: 143-157
• 2006
• 
  Rick Buskens, Oscar J. Gonzalez:
  Model-Centric Development of Highly Available Software Systems. WADS 2006: 163-187
• 
  Bin Yao, William Mielke, Steve Kennedy, Rick Buskens:
  C Macro Handling in Automated Source Code Transformation Systems. ICSM 2006: 68-69
• 2004
• 
  Jennifer Ren, Rick Buskens, Oscar J. Gonzalez:
  Dependable Initialization of Large-Scale Distributed Software. DSN 2004: 335-
• 2000
• 
  Richard W. Buskens, Krishan K. Sabnani:
  Towards rapid development of configurable, reliable, and scalable wireless applications. PIMRC 2000: 1037-1043
• 1998
• 
  Kazutaka Murakami, Richard W. Buskens, Ramachandran Ramjee, Yow-Jian Lin, Thomas F. La Porta:
  Design, Implementation, and Evaluation of Highly Available Distributed Call Processing Systems. FTCS 1998: 118-127
• 
  Thomas F. La Porta, Ramachandran Ramjee, R. Murakami, Richard W. Buskens, Yow-Jian Lin:
  Cluster mobile switching center for third generation wireless systems. PIMRC 1998: 121-125
• 1997
• 
  Richard W. Buskens, Muhammad A. Siddiqui, Sanjoy Paul:
  Reliable multicasting of continuous data streams. Bell Labs Tech. J. 2(2): 151-174 (1997)
• 1996
• 
  Thomas F. La Porta, Malathi Veeraraghavan, Richard W. Buskens:
  Comparison of signaling loads for PCS systems. IEEE/ACM Trans. Netw. 4(6): 840-856 (1996)
• 1995
• 
  Richard W. Buskens, Ronald P. Bianchini Jr.:
  Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes. FTCS 1995: 144-153
• 1993
• 
  Richard W. Buskens, Ronald P. Bianchini Jr.:
  Distributed On-Line Diagnosis in the Presence of Arbitrary Faults. FTCS 1993: 470-479
• 1992
• 
  Ronald P. Bianchini Jr., Richard W. Buskens:
  Implementation of On-Line Distributed System-Level Diagnosis Theory. IEEE Trans. Computers 41(5): 616-626 (1992)
• 
  Mark Stahl, Richard W. Buskens, Ronald P. Bianchini Jr.:
  Simulation of the Adapt On-Line Diagnosis Algorithm for General Topology Networks. SRDS 1992: 180-187
• 1991
• 
  Ronald P. Bianchini Jr., Richard W. Buskens:
  An Adaptive Distributed System-Level Diagnosis Algorithm and Its Implementation. FTCS 1991: 222-229