| Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness | 0 | 0.34 | 2005 |
| Fault equivalence identification in combinational circuits using implication and evaluation techniques | 12 | 0.62 | 2003 |
| Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits | 1 | 0.39 | 2002 |
| Compiler-assisted multiple instruction word retry for VLIW architectures | 4 | 0.43 | 2001 |
| Recovery Proxy for Wireless Applications | 1 | 0.36 | 2001 |
| Message Logging Optimization for Wireless Networks | 3 | 0.41 | 2001 |
| Proxy-Based Recovery for Applications on Wireless Hand-Held Devices | 8 | 0.54 | 2000 |
| Message Logging in Mobile Computing | 33 | 1.64 | 1999 |
| An adaptive checkpointing protocol to bound recovery time with message logging | 7 | 0.56 | 1999 |
| A Diagnostic Test Generation Procedure for Combinational Circuits Based on Test Elimination | 6 | 0.50 | 1998 |
| Dynamic fault collapsing and diagnostic test pattern generation for sequential circuits | 6 | 0.60 | 1998 |
| Dynamic fault dictionaries and two-stage fault isolation | 11 | 0.68 | 1998 |
| RENEW: a tool for fast and efficient implementation of checkpoint protocols | 27 | 1.51 | 1998 |
| Distributed diagnostic simulation of stuck-at faults in sequential circuits | 10 | 0.74 | 1997 |
| A Graph Partitioning Approach to Sequential Diagnosis | 35 | 1.38 | 1997 |
| A deductive technique for diagnosis of bridging faults | 45 | 3.33 | 1997 |
| Fault Detection Using Hints from the Socket Layer | 4 | 0.59 | 1997 |
| Diagnostic Test Pattern Generation for Sequential Circuits | 27 | 1.57 | 1997 |
| Logic Diagnosis-Diversion or Necessity? | 0 | 0.34 | 1997 |
| Diagnosis of Bridging Faults in Sequential Circuits Using Adaptive Simulation, State Storage, and Path-Tracing | 2 | 0.42 | 1997 |
| Characterization and Implicit Identification of Sequential Indistinguishability | 5 | 0.60 | 1997 |
| Fault diagnosis using state information | 9 | 0.94 | 1996 |
| Probability of correctness of processor-array outputs using periodic concurrent error detection. | 3 | 0.44 | 1996 |
| Full fault dictionary storage based on labeled tree encoding | 45 | 3.03 | 1996 |
| Diagnostic Fault Equivalence Identification Using Redundancy Information and Structural Analysis | 22 | 1.18 | 1996 |
| Harvest rate of reconfigurable pipelines | 1 | 0.41 | 1996 |
| Dynamic diagnosis of sequential circuits based on stuck-at faults | 19 | 2.08 | 1996 |
| Partial Scan Design Based on State Transition Modeling | 18 | 0.81 | 1996 |
| Identification of unsettable flip-flops for partial scan and faster ATPG | 5 | 0.53 | 1996 |
| Integrated fault diagnosis targeting reduced simulation | 2 | 0.42 | 1996 |
| A Parallel Algorithm for the Technology Mapping of LUT-Based FPGAs | 2 | 0.45 | 1996 |
| Recovery Schemes for Mesh Arrays Utilizing Dedicated Spares. | 0 | 0.34 | 1996 |
| Checkpoint space reclamation for uncoordinated checkpointing in message-passing systems | 33 | 2.57 | 1995 |
| Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer | 2 | 0.36 | 1995 |
| Optimal interconnect diagnosis of wiring networks | 30 | 3.13 | 1995 |
| Ensuring correct rollback recovery in distributed shared memory systems | 7 | 0.50 | 1995 |
| Compiler-based multiple instruction retry | 9 | 0.85 | 1995 |
| A linear time algorithm for sequential diagnosis in hypercubes | 17 | 0.76 | 1995 |
| Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory | 37 | 1.54 | 1995 |
| Fault dictionary compaction by output sequence removal | 16 | 1.19 | 1994 |
| Reducing interprocessor dependence in recoverable distributed shared memory | 16 | 0.97 | 1994 |
| The Performance of Cache-Based Error Recovery in Multiprocessors | 8 | 1.17 | 1994 |
| Circuit-level dictionaries of CMOS bridging faults | 7 | 0.68 | 1994 |
| Scheduling for periodic concurrent error detection in processor arrays | 1 | 0.37 | 1994 |
| Incremental compiler transformations for multiple instruction retry | 1 | 0.35 | 1994 |
| Consistent global checkpoints based on direct dependency tracking | 36 | 1.93 | 1994 |
| Relaxing Consistency In Recoverable Distributed Shared-Memory | 30 | 1.81 | 1993 |
| Garbage collection in a distributed object-oriented system | 36 | 87.06 | 1993 |
| Assigning Sites fto Redundant Clusters in a Distributed Storage System | 2 | 0.40 | 1993 |
| Application of compiler-assisted rollback recovery to speculative execution repair | 1 | 0.35 | 1993 |
