ACM Transactions on Programming Languages and Systems (TOPLAS)
Resource aggregation for fault tolerance in integrated services networks
ACM SIGCOMM Computer Communication Review
Self-Testing Embedded Two-Rail Checkers
Journal of Electronic Testing: Theory and Applications - Special issue on On-line testing
On-Line Error Detection for Bit-Serial Multipliers in GF(2m)
Journal of Electronic Testing: Theory and Applications
A memory coherence technique for online transient error recovery of FPGA configurations
FPGA '01 Proceedings of the 2001 ACM/SIGDA ninth international symposium on Field programmable gate arrays
Families of Optimal Fault-Tolerant Multiple-Bus Networks
IEEE Transactions on Parallel and Distributed Systems
SEU effect analysis in an open-source router via a distributed fault injection environment
Proceedings of the conference on Design, automation and test in Europe
Analysis of a BICS-Only Concurrent Error Detection Method
IEEE Transactions on Computers
Journal of Electronic Testing: Theory and Applications
ISCA '02 Proceedings of the 29th annual international symposium on Computer architecture
A Design Diversity Metric and Analysis of Redundant Systems
IEEE Transactions on Computers
A New On-Line Robust Approach to Design Noise-Immune Speech Recognition Systems
Journal of Electronic Testing: Theory and Applications
A prototype of a VHDL-based fault injection tool: description and application
Journal of Systems Architecture: the EUROMICRO Journal - Defect and fault tolerance in VLSI Systems
Synthesizing Fast, Online-Testable Control Units
IEEE Design & Test
IEEE Design & Test
Generating Reliable Embedded Processors
IEEE Micro
Design and Analysis of an Integrated Checkpointing and Recovery Scheme for Distributed Applications
IEEE Transactions on Knowledge and Data Engineering
Design and Implementation of a Soft Real Time Fault Tolerant System
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Transparent Environment for Replicated Ravenscar Applications
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Modeling Archival Repositories for Digital Libraries
ECDL '00 Proceedings of the 4th European Conference on Research and Advanced Technology for Digital Libraries
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Experimental Evaluation of Fault Handling Mechanisms
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Software Reliability and Rejuvenation: Modeling and Analysis
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Techniques for Estimation of Design Diversity for Combinational Logic Circuits
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Recoverable mobile environment: design and trade-off analysis
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
COMBINATIONAL LOGIC SYNTHESIS FOR DIVERSITY IN DUPLEX SYSTEMS
ITC '00 Proceedings of the 2000 IEEE International Test Conference
A Method to Enhance the Fault Coverage Obtained by Output Response Comparison of Identical Circuits
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Complex Reliability Evaluation of Voters for Fault Tolerant Designs
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
Proceedings of the 30th annual international symposium on Computer architecture
A Design Diversity Metric and Reliability Analysis for Redundant Systems
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Energy-aware management for cluster-based sensor networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Replication Management in Reliable Real-Time Systems
Real-Time Systems
Improving availability with recursive microreboots: a soft-state system case study
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
Towards fault-tolerant cryptographic computations over finite fields
ACM Transactions on Embedded Computing Systems (TECS)
Journal of Electronic Testing: Theory and Applications
Efficient Design Diversity Estimation for Combinational Circuits
IEEE Transactions on Computers
Replication for web hosting systems
ACM Computing Surveys (CSUR)
Replication for web hosting systems
ACM Computing Surveys (CSUR)
IEEE Transactions on Dependable and Secure Computing
Encyclopedia of Computer Science
Availability Modeling for Reliable Routing Software
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
A Multi-Property Trust Model for Reconfiguring Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Proceedings of the 3rd conference on Computing frontiers
An error recoverable structure based on complementary logic and alternating-retry
Journal of Computer Science and Technology
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery
Proceedings of the 43rd annual Design Automation Conference
Combined time and information redundancy for SEU-tolerance in energy-efficient real-time systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Software-Based Adaptive and Concurrent Self-Testing in Programmable Network Interfaces
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Mitigating soft error failures for multimedia applications by selective data protection
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Proceedings of the 1st workshop on Architectural and system support for improving software dependability
Modeling and improving data cache reliability: 1
Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Evolutionary functional recovery in virtual reconfigurable circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Quality Criteria and an Analysis Framework for Self-Healing Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 20th annual conference on Integrated circuits and systems design
Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks
IEEE Transactions on Computers
Software-Based Failure Detection and Recovery in Programmable Network Interfaces
IEEE Transactions on Parallel and Distributed Systems
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Performance under failures of high-end computing
Proceedings of the 2007 ACM/IEEE conference on Supercomputing
Dependable design technique for system-on-chip
Journal of Systems Architecture: the EUROMICRO Journal
Diversity and fault avoidance for dependable replication systems
Information Processing Letters
Aspect-oriented fault tolerance for real-time embedded systems
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Fault Tolerance for Small-World Cellular Neural Networks
NBiS '08 Proceedings of the 2nd international conference on Network-Based Information Systems
Applying Safety Goals to a New Intensive Care Workstation System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Fault-tolerant semantic mappings among heterogeneous and distributed local ontologies
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach
MM '08 Proceedings of the 16th ACM international conference on Multimedia
System-on-Chip Test Architectures: Nanometer Design for Testability
System-on-Chip Test Architectures: Nanometer Design for Testability
Fault Tolerant External Memory Algorithms
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
Architecture Design for Soft Errors
Architecture Design for Soft Errors
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Enhanced reliability-aware power management through shared recovery technique
Proceedings of the 2009 International Conference on Computer-Aided Design
Counting in the Presence of Memory Faults
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Cache vulnerability equations for protecting data in embedded processor caches from soft errors
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Evolution of polymorphic self-checking circuits
ICES'07 Proceedings of the 7th international conference on Evolvable systems: from biology to hardware
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
Partitioning techniques for partially protected caches in resource-constrained embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Simulating an intelligence fault tolerance system for situation-aware ubiquitous computing
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Efficient Concurrent Self-Test with Partially Specified Patterns
Journal of Electronic Testing: Theory and Applications
Fault injection into Verilog models for dependability evaluation of digital systems
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Proceedings of the 8th International Conference on Frontiers of Information Technology
Stochastic networked computation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
ConSeq: detecting concurrency bugs through sequential errors
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Fault tolerant small-world cellular neural networks for intermitted faults
Journal of Mobile Multimedia
Generalized reliability-oriented energy management for real-time embedded applications
Proceedings of the 48th Design Automation Conference
Design and architectures for dependable embedded systems
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A self-checking hardware journal for a fault-tolerant processor architecture
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Reliability of VLSI linear arrays with redundant links
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Resilient algorithms and data structures
CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
Fault coverage modeling in nonlinear dynamical systems
Automatica (Journal of IFAC)
Robotics and Computer-Integrated Manufacturing
Time-Constraint-Aware Optimization of Assertions in Embedded Software
Journal of Electronic Testing: Theory and Applications
Containment domains: a scalable, efficient, and flexible resilience scheme for exascale systems
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Dependability evaluation of time-redundancy techniques in integer multipliers
PATMOS'07 Proceedings of the 17th international conference on Integrated Circuit and System Design: power and timing modeling, optimization and simulation
Priority queues resilient to memory faults
WADS'07 Proceedings of the 10th international conference on Algorithms and Data Structures
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Improving fault tolerance utilizing hardware-software-co-synthesis
Proceedings of the Conference on Design, Automation and Test in Europe
Fault-tolerant scheduling in homogeneous real-time systems
ACM Computing Surveys (CSUR)
The influence of implementation type on dependability parameters
Microprocessors & Microsystems
ACM Transactions on Embedded Computing Systems (TECS)
On-chip sensor networks for soft-error tolerant real-time multiprocessor systems-on-chip
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Design of the coarse-grained reconfigurable architecture DART with on-line error detection
Microprocessors & Microsystems
Containment domains: A scalable, efficient and flexible resilience scheme for exascale systems
Scientific Programming - Selected Papers from Super Computing 2012
Hi-index | 0.02 |