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

• 2005
• 
  Christian Buckl, Alois C. Knoll, Gerhard Schrott:
  Development of Dependable Real-Time Systems with Zerberus. PRDC 2005: 404-408
• 
  Henning Burchardt, Jens Oehlerking, Oliver E. Theel:
  Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC 2005: 374-378
• 
  Wei Chen, Shiding Lin, Qiao Lian, Zheng Zhang:
  Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses. PRDC 2005: 7-14
• 
  Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh Chao, Yao-Po Wang:
  FPGA Authentication Header (AH) Implementation for Internet Appliances. PRDC 2005: 398-403
• 
  Chih-Hsun Chou, Kuo-Feng Ssu, Hewijin Christine Jiau:
  A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing. PRDC 2005: 333-342
• 
  Yuan-Shun Dai, Xiaolong Wang, Min Xie:
  A Virtual Modeling and a Fast Algorithm for Grid Service Reliability. PRDC 2005: 219-226
• 
  Roy Friedman, Achour Mostéfaoui, Michel Raynal:
  Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. PRDC 2005: 15-22
• 
  W. Kent Fuchs:
  Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness. PRDC 2005: 3
• 
  Shravan Gaonkar, William H. Sanders:
  Simultaneous Simulation of Alternative System Configurations. PRDC 2005: 41-48
• 
  Rong Hu, Zhigang Hu, Hao Ma:
  A Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET. PRDC 2005: 245-249
• 
  Yu Hu, Xiaowei Li, Huawei Li, Xiaoqing Wen:
  Compression/Scan Co-Design for Reducing Test Data Volume, Scan-in Power Dissipation and Test Application Time. PRDC 2005: 175-182
• 
  Chin-Yu Huang, Chu-Ti Lin:
  Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models. PRDC 2005: 379-386
• 
  Dubravka Ilic, Elena Troubitsyna:
  Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150
• 
  Tohru Kikuno:
  Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. PRDC 2005: 4
• 
  Masato Kitakami, Junpei Sano:
  Code Design and Decoding Methods for Burst Error Locating Codes. PRDC 2005: 125-132
• 
  Jen-Hao Kuo, Siong-Ui Te, Pang-Ting Liao, Chun-Ying Huang, Pan-Lung Tsai, Chin-Laung Lei, Sy-Yen Kuo, Yennun Huang, Zsehong Tsai:
  An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing. PRDC 2005: 133-139
• 
  Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota:
  A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions. PRDC 2005: 114-124
• 
  Su Myeong Lee, Hee Yong Youn:
  Dynamic Window-based Adaptive Fault Monitoring for Ubiquitous Computing Systems. PRDC 2005: 358-368
• 
  Jian Leng, DongQin Xie:
  A Novel Approach to Kernel Construction of China Bridge CA. PRDC 2005: 258-268
• 
  Jenn-Wei Lin, Jichiang Tsai, Chao-Ying Chiu:
  An Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks. PRDC 2005: 250-257
• 
  Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon:
  A Novel R²-FLC Dynamic Buffer Size Tuner to Support Time-Critical Applications over the Internet by Improving Logical Channel Fault Tolerance to Shorten Roundtrip Time. PRDC 2005: 295-299
• 
  Ling Zhang, Jishun Kuang:
  A New BIST Solution for System-on-Chip. PRDC 2005: 109-113
• 
  Nicolas Loriant, Marc Ségura-Devillechaise, Jean-Marc Menaud:
  Server Protection through Dynamic Patching. PRDC 2005: 343-349
• 
  Yuan-sheng Luo, Dafang Zhang, Yinghua Min:
  An Improved Scheme of Index-Based Checkpointing. PRDC 2005: 167-174
• 
  Takashi Minohara, Satoshi Ishikawa, Masahiro Amano:
  Centralized Surveillance of Unused Address Space by using Virtual Networks. PRDC 2005: 325-332
• 
  Kazuteru Namba, Hideo Ito:
  Design of Defect Tolerant Wallace Multiplier. PRDC 2005: 300-304
• 
  Zhonghong Ou, Youguang Yuan, Xiaoyong Zhao:
  Research on Architecture and Design Principles of COTS Components Based Generic Fault-Tolerant Computer. PRDC 2005: 227-234
• 
  Michael Pan, Sheng-Yan Chuang, Sheng-De Wang:
  Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks. PRDC 2005: 317-324
• 
  Lili Pan, Junyi Li, Beiji Zou, Hao Chen:
  Bi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage. PRDC 2005: 235-244
• 
  Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
  Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. PRDC 2005: 23-30

skipping 25 more matches