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

• 2011
• 
  Masayuki Arai, Kazuhiko Iwasaki:
  Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors. PRDC 2011: 264-271
• 
  Koichi Bando, Kenji Tanaka:
  Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems. PRDC 2011: 234-243
• 
  Robin Berthier, William H. Sanders:
  Specification-Based Intrusion Detection for Advanced Metering Infrastructures. PRDC 2011: 184-193
• 
  Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo:
  Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants. PRDC 2011: 129-134
• 
  Philippa Conmy, Iain Bate:
  Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC 2011: 119-128
• 
  Shih-Yao Dai, Fyodor Yarochkin, Sy-Yen Kuo, Ming-Wei Wu, Yennun Huang:
  Malware Profiler Based on Innovative Behavior-Awareness Technique. PRDC 2011: 314-319
• 
  Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette:
  A Clustering Approach for Web Vulnerabilities Detection. PRDC 2011: 194-203
• 
  Martin Drozda, Iain Bate, Jon Timmis:
  Bio-inspired Error Detection for Complex Systems. PRDC 2011: 154-163
• 
  Mihai Florian:
  A Framework for Systematic Testing of Multi-threaded Applications. PRDC 2011: 278-279
• 
  Jesus Friginal, David de Andrés, Juan-Carlos Ruiz-Garcia, Regina Moraes:
  Using Dependability Benchmarks to Support ISO/IEC SQuaRE. PRDC 2011: 28-37
• 
  Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada:
  A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software. PRDC 2011: 296-301
• 
  Balazs Gerofi, Yutaka Ishikawa:
  Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication. PRDC 2011: 204-213
• 
  Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier:
  Tool Supported Model-Based Safety Analysis and Optimization. PRDC 2011: 294-295
• 
  Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach:
  Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC 2011: 274-275
• 
  Herbert Hecht:
  Dependability Improvement for Critical Systems. PRDC 2011: 135-143
• 
  Toshio Kaneishi, Tadashi Dohi:
  Parametric Bootstrapping for Assessing Software Reliability Measures. PRDC 2011: 1-9
• 
  Christoph Kuznik, Wolfgang Müller:
  Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC 2011: 290-291
• 
  Michael Le, Israel Hsu, Yuval Tamir:
  Resilient Virtual Clusters. PRDC 2011: 214-223
• 
  Mahyar R. Malekpour:
  A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs. PRDC 2011: 254-263
• 
  Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann:
  Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281
• 
  Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito:
  Automatic Robustness Assessment of DDS-Compliant Middleware. PRDC 2011: 302-307
• 
  Fabian Oboril, Mehdi Baradaran Tahoori, Vincent Heuveline, Dimitar Lukarski, Jan-Philipp Weiss:
  Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers. PRDC 2011: 144-153
• 
  Hiroyuki Okamura, Tadashi Dohi:
  Unification of Software Reliability Models Using Markovian Arrival Processes. PRDC 2011: 20-27
• 
  Irith Pomeranz:
  Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity. PRDC 2011: 38-44
• 
  Irith Pomeranz:
  Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults. PRDC 2011: 45-52
• 
  Laura L. Pullum, Christopher T. Symons:
  Failure Analysis of a Complex Learning Framework Incorporating Multi-modal and Semi-supervised Learning. PRDC 2011: 308-313
• 
  Musfiq Rahman, Bruce R. Childers, Sangyeun Cho:
  COMeT: Continuous Online Memory Test. PRDC 2011: 109-118
• 
  G. Robert Redinbo:
  Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension. PRDC 2011: 272-273
• 
  Pedro Ruivo, Maria Couceiro, Paolo Romano, Luís E. T. Rodrigues:
  Exploiting Total Order Multicast in Weakly Consistent Transactional Caches. PRDC 2011: 99-108
• 
  Gabriel Salles-Loustau, Robin Berthier, Etienne Collange, Bertrand Sobesto, Michel Cukier:
  Characterizing Attackers and Attacks: An Empirical Study. PRDC 2011: 174-183

skipping 17 more matches