W. Kent Fuchs

Affiliations:
  • Purdue University, West Lafayette, USA


According to our database1, W. Kent Fuchs authored at least 123 papers between 1983 and 2005.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2000, "For contributions to reliable computing.".

IEEE Fellow

IEEE Fellow 1995, "For contributions reliable computing.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2005
Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness.
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

2004
Recovery schemes for mesh arrays utilizing dedicated spares.
IEEE Trans. Reliab., 2004

2003
Fault equivalence identification in combinational circuits using implication and evaluation techniques.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Process Recovery in Heterogeneous Systems.
IEEE Trans. Computers, 2003

2002
Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits.
Proceedings of the 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It's a Gamble, 28 April, 2002

2001
Reversible Debugging Using Program Instrumentation.
IEEE Trans. Software Eng., 2001

Compiler-Assisted Multiple Instruction Word Retry for VLIW Architectures.
IEEE Trans. Parallel Distributed Syst., 2001

Diagnostic simulation of stuck-at faults in sequential circuits using compact lists.
ACM Trans. Design Autom. Electr. Syst., 2001

Fault Equivalence Identification Using Redundancy Information and Static and Dynamic Extraction.
Proceedings of the 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April, 2001

Message Logging Optimization for Wireless Networks.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Recovery Proxy for Wireless Applications.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000
Proxy-based Recovery for Applications on Wireless Hand-held Devices.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

1999
Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits.
Proceedings of the 17th IEEE VLSI Test Symposium (VTS '99), 1999

Implication and Evaluation Techniques for Proving Fault Equivalence.
Proceedings of the 17th IEEE VLSI Test Symposium (VTS '99), 1999

An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging.
Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Message Logging in Mobile Computing.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
Dynamic fault dictionaries and two-stage fault isolation.
IEEE Trans. Very Large Scale Integr. Syst., 1998

Diagnostic Simulation of Sequential Circuits Using Fault Sampling.
Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998

Dynamic fault collapsing and diagnostic test pattern generation for sequential circuits.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

PREACHES - Portable Recovery and Checkpointing in Heterogeneous Systems.
Proceedings of the Digest of Papers: FTCS-28, 1998

RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols.
Proceedings of the Digest of Papers: FTCS-28, 1998

A Diagnostic Test Generation Procedure for Combinational Circuits Based on Test Elimination.
Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1997
Progressive Retry for Software Failure Recovery in Message-Passing Applications.
IEEE Trans. Computers, 1997

A Graph Partitioning Approach to Sequential Diagnosis.
IEEE Trans. Computers, 1997

Adaptive Recovery for Mobile Environments.
Commun. ACM, 1997

Diagnostic Test Pattern Generation for Sequential Circuits.
Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997

Distributed Diagnostic Simulation of Stuck-At Faults in Sequential Circuits.
Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Characterization and Implicit Identification of Sequential Indistinguishability.
Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Fault Detection Using Hints from the Socket Layer.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Diagnosis of Bridging Faults in Sequential Circuits Using Adaptive Simulation, State Storage, and Path-Tracing.
Proceedings of the Proceedings IEEE International Test Conference 1997, 1997

Logic Diagnosis-Diversion or Necessity?
Proceedings of the Proceedings IEEE International Test Conference 1997, 1997

A deductive technique for diagnosis of bridging faults.
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996
Probability of correctness of processor-array outputs using periodic concurrent error detection.
IEEE Trans. Reliab., 1996

Harvest Rate of Reconfigurable Pipelines.
IEEE Trans. Computers, 1996

Site Partitioning for Redundant Arrays of Distributed Disks.
J. Parallel Distributed Comput., 1996

Dynamic diagnosis of sequential circuits based on stuck-at faults.
Proceedings of the 14th IEEE VLSI Test Symposium (VTS'96), April 28, 1996

Full fault dictionary storage based on labeled tree encoding.
Proceedings of the 14th IEEE VLSI Test Symposium (VTS'96), April 28, 1996

Diagnostic Fault Equivalence Identification Using Redundancy Information and Structural Analysis.
Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Partial Scan Design Based on State Transition Modeling.
Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Identification of unsettable flip-flops for partial scan and faster ATPG.
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Integrated fault diagnosis targeting reduced simulation.
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Fault Diagnosis Using State Information.
Proceedings of the Digest of Papers: FTCS-26, 1996

A Parallel Algorithm for the Technology Mapping of LUT-Based FPGAs.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Partial Scan Design Based on Circuit State Information.
Proceedings of the 33st Conference on Design Automation, 1996

1995
Optimal interconnect diagnosis of wiring networks.
IEEE Trans. Very Large Scale Integr. Syst., 1995

Checkpoint Space Reclamation for Uncoordinated Checkpointing in Message-Passing Systems..
IEEE Trans. Parallel Distributed Syst., 1995

Circuit-level dictionaries of CMOS bridging faults.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Compiler-Based Multiple Instruction Retry.
IEEE Trans. Computers, 1995

Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer.
IEEE Trans. Computers, 1995

A Linear Time Algorithm for Sequential Diagnosis in Hypercubes.
J. Parallel Distributed Comput., 1995

Ensuring Correct Rollback Recovery in Distributed Shared Memory Systems.
J. Parallel Distributed Comput., 1995

Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory.
Proceedings of the Digest of Papers: FTCS-25, 1995

Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists.
Proceedings of the 32st Conference on Design Automation, 1995

1994
Design for concurrent error detection and testability in storage/logic arrays.
IEEE J. Solid State Circuits, July, 1994

The Performance of Cache-Based Error Recovery in Multiprocessors.
IEEE Trans. Parallel Distributed Syst., 1994

Compiler-assisted Full Checkpointing.
Softw. Pract. Exp., 1994

Incremental Compiler Transformations for Multiple Instruction Retry.
Softw. Pract. Exp., 1994

Scheduling for Periodic Concurrent Error Detection in Processor Arrays.
J. Parallel Distributed Comput., 1994

Consistent Global Checkpoints Based on Direct Dependency Tracking.
Inf. Process. Lett., 1994

Reducing Interprocessor Dependence in Recoverable Distributed Shared Memory.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

An Analytical Approach to Scheduling Code for Superscalar and VLIW Architectures.
Proceedings of the 1994 International Conference on Parallel Processing, 1994

Fault dictionary compaction by output sequence removal.
Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

1993
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management.
IEEE Trans. Software Eng., 1993

Garbage Collection in a Distributed Object-Oriented System.
IEEE Trans. Knowl. Data Eng., 1993

Recovery Issues in Databases Using Redundant Disk Arrays.
J. Parallel Distributed Comput., 1993

Lazy Checkpointing Coordination for Bounding Rollback Propagation.
Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Performance of Redundant Disk Array Organizations in Transaction Processing Environments.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Assigning Sites fto Redundant Clusters in a Distributed Storage System.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Fault dictionary compression and equivalence class computation for sequential circuits.
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

Application of Compiler-Assisted Rollback Recovery to Speculative Execution Repair.
Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

Progressive Retry for Software Error Recovery in Distributed Systems.
Proceedings of the Digest of Papers: FTCS-23, 1993

Relaxing Consistency in Recoverable Distributed Shared Memory.
Proceedings of the Digest of Papers: FTCS-23, 1993

1992
An Analysis of Cache Performance for a Hypercube Multicomputer.
IEEE Trans. Parallel Distributed Syst., 1992

Probabilistic analysis and algorithms for reconfiguration of memory arrays.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Fault Diagnosis and Spare Allocation for Yield Enhancement in Large Reconfigurable PLA's.
IEEE Trans. Computers, 1992

Address tracing of parallel systems via TRAPEDS.
Microprocess. Microsystems, 1992

Wafer-Scale Integration: Architectures and Algorithms - Guest Editors' Introduction.
Computer, 1992

Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

Site Partitioning for Distributed Redundant Disk Arrays.
Proceedings of the RIDE-TQP '92, 1992

Diagnostic Fault Simulation of Sequential Circuits.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

Database Recovery Using Redundant Disk Arrays.
Proceedings of the Eighth International Conference on Data Engineering, 1992

Scheduling Message Processing for Reducing Rollback Propagation.
Proceedings of the Digest of Papers: FTCS-22, 1992

Compiler-Assisted Static Checkpoint Insertion.
Proceedings of the Digest of Papers: FTCS-22, 1992

Branch Recovery with Compiler-Assisted Multiple Instruction Retry.
Proceedings of the Digest of Papers: FTCS-22, 1992

Exact Evaluation of Diagnostic Test Resolution.
Proceedings of the 29th Design Automation Conference, 1992

1991
Address Tracing for Parallel Machines.
Computer, 1991

Automated diagnosis of VLSI failures.
Proceedings of the 9th IEEE VLSI Test Symposium (VTS'91), 1991

Two-Stage Fault Location.
Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

Multiple-Fault Simulation and Coverage of Deterministic Single-Fault Test Sets.
Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

Experimental Evaluation of Multiprocessor Cache-Based Error Recovery.
Proceedings of the International Conference on Parallel Processing, 1991

1990
CSP-based object-oriented description and simulation of a reconfigurable adaptive beamforming architecture using the OODRA workbench.
J. VLSI Signal Process., 1990

Error Recovery in Shared Memory Multiprocessors Using Private Caches.
IEEE Trans. Parallel Distributed Syst., 1990

Recoverable Distributed Shared Virtual Memory.
IEEE Trans. Computers, 1990

Optimal Diagnosis Procedures for k-out-of-n Structures.
IEEE Trans. Computers, 1990

Reconfigurable Cube-Connected Cycles Architectures.
J. Parallel Distributed Comput., 1990

Forward Recovery Using Checkpointing in Parallel Systems.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Maintaining Scalable Checkpoints on Hypercubes.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Partial Detectability Profiles.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

CATCH-compiler-assisted techniques for checkpointing.
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Twin-page storage management for rapid transaction-undo recovery.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989
Local Concurrent Error Detection and Dorrection in Data Structures Using Virtual Backpointers.
IEEE Trans. Computers, 1989

Diagnosis and Repair of Memory with Coupling Faults.
IEEE Trans. Computers, 1989

TRAPEDS: Producing Traces for Multicomputers Via Execution Driven Simulation.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

Cache-Based Error Recovery for Shared Memory Multiprocessor Systems.
Proceedings of the International Conference on Parallel Processing, 1989

Analysis of Hypercube Cache Performance Using Address Traces Generated by TRAPEDS.
Proceedings of the International Conference on Parallel Processing, 1989

Optimal wafer probe testing and diagnosis of k-out-of-n structures.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Recoverable distributed shared virtual memory: memory coherence and storage structures.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

Evaluation of a Reconfigurable Architecture for Digital Beamforming Using the OODRA Workbench.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988
Methodologies for testing embedded content addressable memories.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

Spare Allocation and Reconfiguration in Large Area VLSI.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

Local concurrent error detection and correction in data structures using virtual backpointers.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Reliable garbage collection in distributed object oriented systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987
Comparison and Diagnosis of Large Replicated Files.
IEEE Trans. Software Eng., 1987

An Efficient Approach to Gate Matrix Layout.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

Reconfigurable Tree Architectures Using Subtree Oriented Fault Tolerance.
IEEE Trans. Computers, 1987

Efficient Spare Allocation for Reconfigurable Arrays.
IEEE Des. Test, 1987

Fault Tolerance Techniques for Systolic Arrays.
Computer, 1987

Design for Concurrent Error Detection in Storage/Logic Arrays.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Design and Algorithms for Parallel Testing of Random Access and Content Addressable Memories.
Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986
Fault and error models for VLSI.
Proc. IEEE, 1986

Low-Cost Comparison and Diagnosis of Large Remotely Located Files.
Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

1985
Concurrent Error Detection in Vlsi Systems Through Structure Encoding (Fault Tolerance, Self-Checking)
PhD thesis, 1985

1983
Concurrent Error Detection in VLSI Interconnection Networks
Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, 1983


  Loading...