arrow
Return

A new error analysis based method for tolerance computation for algorithm-based checks

delete1996-01-01
delete3
PRE
AI
C
Chowdhury, AR *
P
P. Banerjee
DOI:10.1109/12.485376delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Algorithm-based techniques are based on checking for the preservation of certain properties possessed by global data following a set of computations. This often involves the introduction of a check variable which Is updated in such a manner that, in the absence of roundoff errors, it equals the value of some function which involves all the data elements participating in the algorithm. However, the fact that roundoff errors accumulate in different ways in the updates involving the check variables and the computations involving data elements make it highly unlikely that the equality is preserved exactly for an implementation of the algorithm on a real computer. Thus, the check step involves verifying the preservation of the equality to within a tolerance value. In this brief contribution, we propose a method for determination of the tolerance based on error analysis techniques. We present results on three numerical algorithms which show the effectiveness of our approach for data sets of varying sizes and data ranges.
Keywords:
parallel algorithms
algorithm-based fault-tolerance
checksum encodings
check thresholding
roundoff error analysis

Journal

IEEE Transactions on Computers cover
IEEE Transactions on Computers
IF:
3.8
Papers:
5.3K
Citations:
9.8K

Organization

No organization information available
Cited Papers

Cited Papers

Time-Resolved Investigations of Heterobimetallic Cofactor Assembly in R2lox Reveal Distinct Mn/Fe Intermediates
err2017-06-16
err0
errOAAI
errEffie K. Miller; Nicholas E. Trivelas; Pearson T. Maugeri; Elizabeth J. Blaesi; Hannah S. Shafaat
errShare
errSave
Safety and Security Management with Unmanned Aerial Vehicle (UAV) in Oil and Gas Industry
err2015-01-01
err0
errOAAI
errJaeyoung Cho; Gino Lim; Taofeek Biobaku; Seonjin Kim; Hamid Parsaei
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
no more