High-Availability Computer Systems
Computer
The Analysis of the Faulty Behavior of Synchronous Neural Networks
IEEE Transactions on Computers - Special issue on artificial neural networks
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
An Effective BIST Scheme for ROM's
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Transformation-based high-level synthesis of fault-tolerant ASICs
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
ACM Computing Surveys (CSUR)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
A Versatile Ring-Connected Hypercube
IEEE Micro
Phantom redundancy: a high-level synthesis approach for manufacturability
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
Comparison of Duplex and Triplex Memory Reliability
IEEE Transactions on Computers
Programmable BIST Space Compactors
IEEE Transactions on Computers
Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off
IEEE Transactions on Computers - Special issue on mobile computing
A Formally Verified Sorting Certifier
IEEE Transactions on Computers
Concurrent Error Detection in Nonlinear Digital Circuits Using Time-Freeze Linearization
IEEE Transactions on Computers
Generalized Algorithm-Based Fault Tolerance: Error Correction via Kalman Estimation
IEEE Transactions on Computers
Concurrent Delay Testing in Totally Self-Checking Systems
Journal of Electronic Testing: Theory and Applications - Special issue on On-line testing
A Bist Scheme for Non-Volatile Memories
Journal of Electronic Testing: Theory and Applications - Special issue on On-line testing
Safety and Reliability Driven Task Allocation in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Fault-Tolerant Rate-Monotonic Scheduling
Real-Time Systems
Reconfiguration Models and Algorithms for Stateful Interactive Processes
IEEE Transactions on Software Engineering
Improving the dependability of network management systems
International Journal of Network Management
Fault-Tolerant Newton-Raphson and Goldschmidt Dividers Using Time Shared TMR
IEEE Transactions on Computers
High-Speed Parallel-Prefix Modulo 2n - 1 Adders
IEEE Transactions on Computers - Special issue on computer arithmetic
The Design and Verification of the Rio File Cache
IEEE Transactions on Computers
An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship
IEEE Transactions on Computers
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Analysis of a BICS-Only Concurrent Error Detection Method
IEEE Transactions on Computers
IEEE Transactions on Computers
Coverage estimation using statistic of the extremes for when testing reveals no failures: 3
IEEE Transactions on Computers
Algorithm level re-computing: a register transfer level concurrent error detection technique
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Mobile Networks and Applications
A Fault-Tolerant Digital Artificial Neuron
IEEE Design & Test
Online BIST for Embedded Systems
IEEE Design & Test
Transient Fault Tolerance in Digital Systems
IEEE Micro
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
Multibit Correcting Data Interface for Fault-Tolerant Systems
IEEE Transactions on Computers
Fault-Tolerant Design Strategies for High Reliability and Safety
IEEE Transactions on Computers
Certification of Computational Results
IEEE Transactions on Computers
Automatic Synthesis of Self-Recovering VLSI Systems
IEEE Transactions on Computers
On the Reliability of AI Planning Software in Real-Time Applications
IEEE Transactions on Knowledge and Data Engineering
Reaching Approximate Agreement with Mixed-Mode Faults
IEEE Transactions on Parallel and Distributed Systems
Fault security analysis of CMOS VLSI circuits using defect-injectable VHDL models
Integration, the VLSI Journal
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Concurrent Error Detection in Fast Unitary Transform Algorithms
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Built-in Test with Modified-Booth High-Speed Pipelined Multipliers and Dividers
Journal of Electronic Testing: Theory and Applications
A Novel Built-In Self-Repair Approach for Embedded RAMs
Journal of Electronic Testing: Theory and Applications
Implementation and evaluation of failsafe computer-controlled systems
Computers and Industrial Engineering - 26th International conference on computers and industrial engineering
Bit-modular defect/fault-tolerant convolvers
DFT '95 Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems
Efficient time redundancy for error correcting inner-product units and convolvers
DFT '95 Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems
Efficient NMRCD scheme for fault tolerance in responsive systems
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
ITC '00 Proceedings of the 2000 IEEE International Test Conference
Test Structure Verification of Logical BIST: Problems and Solutions
ITC '00 Proceedings of the 2000 IEEE International Test Conference
ITC '01 Proceedings of the 2001 IEEE International Test Conference
ON-LINE TESTABLE LOGIC DESIGN FOR FPGA IMPLEMENTATION
ITC '97 Proceedings of the 1997 IEEE International Test Conference
A Parameterized VHDL Library for On-Line Testing
ITC '97 Proceedings of the 1997 IEEE International Test Conference
An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Reducing Uncertainty About Common-Mode Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Achieving Scalable Cluster System Analysis and Management with a Gossip-Based Network Service
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
Distributed and Parallel Databases
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation
IEEE Transactions on Software Engineering
An Efficient Fault-Tolerant Approach for Mobile IP in Wireless Systems
IEEE Transactions on Mobile Computing
Modulo 2n ± 1 Adder Design Using Select-Prefix Blocks
IEEE Transactions on Computers
The Interplay of Power Management and Fault Recovery in Real-Time Systems
IEEE Transactions on Computers
Fault tolerant clockless wave pipeline design
Proceedings of the 1st conference on Computing frontiers
Fault-tolerant scheduling for real-time embedded control systems
Journal of Computer Science and Technology
Towards fault-tolerant cryptographic computations over finite fields
ACM Transactions on Embedded Computing Systems (TECS)
Soft error rate estimation and mitigation for SRAM-based FPGAs
Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays
Energy efficient SEU-tolerance in DVS-enabled real-time systems through information redundancy
ISLPED '05 Proceedings of the 2005 international symposium on Low power electronics and design
Going beyond TMR for protection against multiple faults
SBCCI '05 Proceedings of the 18th annual symposium on Integrated circuits and system design
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A dependability perspective on emerging technologies
Proceedings of the 3rd conference on Computing frontiers
DiCER: distributed and cost-effective redundancy for variation tolerance
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Vulnerability analysis of L2 cache elements to single event upsets
Proceedings of the conference on Design, automation and test in Europe: Proceedings
The algorithm of pipelined gossiping
Journal of Systems Architecture: the EUROMICRO Journal
An error recoverable structure based on complementary logic and alternating-retry
Journal of Computer Science and Technology
Combined time and information redundancy for SEU-tolerance in energy-efficient real-time systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
RT level reliability enhancement by constructing dynamic TMRS
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Design for dependability in emerging technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Using majority logic to cope with long duration transient faults
Proceedings of the 20th annual conference on Integrated circuits and systems design
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Reliability-aware Co-synthesis for Embedded Systems
Journal of VLSI Signal Processing Systems
Visualizing processes on the web
Journal of Visual Languages and Computing
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Majority Logic Mapping for Soft Error Dependability
Journal of Electronic Testing: Theory and Applications
Parametric Analysis of an Improved Fault Tolerant System
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2008 workshop on Radiation effects and fault tolerance in nanometer technologies
A novel low overhead fault tolerant Kogge-Stone adder using adaptive clocking
Proceedings of the conference on Design, automation and test in Europe
Architecting Dependable and Secure Systems Using Virtualization
Architecting Dependable Systems V
Datapath error detection with no detection latency for high-performance microprocessors
WSEAS Transactions on Computers
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Area-Time Efficient Modulo 2n-1 Adder Design Using Hybrid Carry Selection
IEICE - Transactions on Information and Systems
Design and Verification of Fault-Tolerant Components
Methods, Models and Tools for Fault Tolerance
Instruction-Level Fault Tolerance Configurability
Journal of Signal Processing Systems
Reliability and fault tolerance of coverage models for sensor networks
International Journal of Sensor Networks
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Reliable data path design of VLIW processor cores with comprehensive error-coverage assessment
Microprocessors & Microsystems
Checksum-based probabilistic transient-error compensation for linear digital systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Protective redundancy overhead reduction using instruction vulnerability factor
Proceedings of the 7th ACM international conference on Computing frontiers
On-line error detection and fast recover techniques for dependable embedded processors
On-line error detection and fast recover techniques for dependable embedded processors
International Journal of Critical Computer-Based Systems
Self-adaptive system for addressing permanent errors in on-chip interconnects
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Fault tolerant computing in computational field model
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A fault-tolerant reservation-based strategy for scheduling aperiodic tasks in multiprocessor systems
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
Fault-models in wireless communication: towards survivable ad hoc networks
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Fault injection into Verilog models for dependability evaluation of digital systems
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Design-for-testability and fault-tolerant techniques for FFT processors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
INFORMS Journal on Computing
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII
A fuzzy predictive redundancy system for fault-tolerance of x-by-wire systems
Microprocessors & Microsystems
Towards context-aware adaptive fault tolerance in SOA applications
Proceedings of the 5th ACM international conference on Distributed event-based system
Duplex method for mobile communication systems
MSN'05 Proceedings of the First international conference on Mobile Ad-hoc and Sensor Networks
Checkpointing for the reliability of real-time systems with on-line fault detection
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
AsiaSim'04 Proceedings of the Third Asian simulation conference on Systems Modeling and Simulation: theory and applications
A decentralized redeployment algorithm for improving the availability of distributed systems
CD'05 Proceedings of the Third international working conference on Component Deployment
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
INFORMS Journal on Computing
Formal performance analysis for faulty MIMO hardware
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.07 |