Tests and tolerances for high-performance software-implemehted fault detection
We describe and test a software approach to fault detection in common numerical
algorithms. Such result checking or algorithm-based fault tolerance (ABFT) methods may be …
algorithms. Such result checking or algorithm-based fault tolerance (ABFT) methods may be …
Algorithm-based error-detection schemes for iterative solution of partial differential equations
A Roy-Chowdhury, N Bellas… - IEEE Transactions on …, 1996 - ieeexplore.ieee.org
Algorithm-based fault tolerance is an inexpensive method of achieving fault tolerance
without requiring any hardware modifications. For numerical applications involving the …
without requiring any hardware modifications. For numerical applications involving the …
Software-implemented fault detection for high-performance space applications
We describe and test a software approach to overcoming radiation-induced errors in
spaceborne applications running on commercial off-the-shelf components. The approach …
spaceborne applications running on commercial off-the-shelf components. The approach …
[图书][B] Reconfigurable fault tolerance for space systems
AM Jacobs - 2013 - search.proquest.com
Commercial SRAM-based, field-programmable gate arrays (FPGAs) have the capability to
provide space applications with the necessary performance, energy-efficiency, and …
provide space applications with the necessary performance, energy-efficiency, and …
Automated analysis and prediction of accuracy and performance in ATR algorithms: I. Requirements, theory, and software implementation
MS Schmalz - … and Remediation Technologies for Mines and …, 1997 - spiedigitallibrary.org
The accurate, comprehensive estimation of computational error has long been a key
problem in the design of automated target recognition (ATR) algorithms due to the extensive …
problem in the design of automated target recognition (ATR) algorithms due to the extensive …
Automated Analysis and Prediction of Accuracy and Performance in ATR Algorithms. 2. Experimental Results and System Performance Analysis
MS Schmalz - Proceedings SPIE, 1997 - spiedigitallibrary.org
Automated target recognition (ATh) algorithm performance is often degraded by the
propagation of sensor noise and input error through an algorithm's computational …
propagation of sensor noise and input error through an algorithm's computational …
Extending backward error assertions to tolerance of large errors in floating point computations
P Fitzpatrick - IEEE transactions on computers, 1997 - ieeexplore.ieee.org
The use of backward error assertions combined with iterative refinement has been
suggested for the correction of small fault induced errors in the floating point solution of …
suggested for the correction of small fault induced errors in the floating point solution of …
Automated analysis and prediction of accuracy and performance in ATR algorithms: II. Experimental results and system performance analysis
MS Schmalz - … and Remediation Technologies for Mines and …, 1997 - spiedigitallibrary.org
Automated target recognition (ATh) algorithm performance is often degraded by the
propagation of sensor noise and input error through an algorithm's computational …
propagation of sensor noise and input error through an algorithm's computational …
[PDF][PDF] Efficient fault tolerance for selected scientific computing algorithms on heterogeneous and approximate computer architectures
A Schöll - 2018 - core.ac.uk
Simulation technology and scientific computing play an essential role in the majority of
scientific domains and have become established techniques to solve central challenges in …
scientific domains and have become established techniques to solve central challenges in …
[PDF][PDF] A Complete Bibliography of IEEE Transactions on Computers (1990–1999)
NHF Beebe - 2023 - netlib.org
A Complete Bibliography of IEEE Transactions on Computers (1990–1999) Page 1 A
Complete Bibliography of IEEE Transactions on Computers (1990–1999) Nelson HF Beebe …
Complete Bibliography of IEEE Transactions on Computers (1990–1999) Nelson HF Beebe …