Floating-Point Error Analysis Based On Affine Arithmetic (ResearchIndex)

Floating-Point Error Analysis Based On Affine Arithmetic (2003) (Make Corrections)
Claire Fang Fang, Tsuhan Chen, Rob A. Rutenbar

Home/Search Context Related

View or download:
cmu.edu/Publicatio...cassp2003_fang.pdf
Cached:  PDF  PS.gz  PS  DjVu  Image  Update  Help

From:  cmu.edu/publica...n.htm#Technical (more)
Homepages:  C.Fang  [2]  [3]  [4]  T.Chen  [2]  [3]  [4]
  R.Rutenbar  HPSearch  (Update Links)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: During the development of floating-point signal processing systems, an efficient error analysis method is needed to guarantee the output quality. We present a novel approach to floating-point error bound analysis based on affine arithmetic. The proposed method not only provides a tighter bound than the conventional approach, but also is applicable to any arithmetic operation. The error estimation accuracy is evaluated across several different applications which cover linear operations,... (Update)

Active bibliography (related documents): More All
2.4: Toward Efficient Static Analysis of Finite-Precision.. - Fang, Rutenbar.. (2003) (Correct)
1.1: Lightweight Floating-Point Arithmetic: - Of (Correct)
0.3: Statistical Theory of Quantization - Widrow, Kollar, Liu (1995) (Correct)

Similar documents based on text: More All
0.6: Floating-Point Bit-Width Optimization For Low-Power Signal.. - Tsuhan (Correct)
0.5: Unknown - Electrical And Computer (Correct)
0.3: Exact Geometric Predicates using Cascaded Computation - Burnikel, Funke, Seel (1998) (Correct)

BibTeX entry: (Update)

@misc{ fang-floatingpoint,
  author = "Claire Fang Fang and Tsuhan Chen and Rob A. Rutenbar",
  title = "Floating-Point Error Analysis Based On Affine Arithmetic",
  url = "citeseer.nj.nec.com/fangfang03floatingpoint.html" }

Citations (may not include all citations):
312 Interval analysis (context) - Moore - 1966
13 Floating-point computation (context) - Sterbenz
12 Self-validated numerical methods and applications - de Figueiredo, Stolfi - 1997
3 Institute of Electrical and Electronics Engineers (context) - for, of et al. - 1990
3 Error analysis of digital filters realized with floating-poi.. (context) - Liu, Kaneko - 1969
2 Lightweight FloatingPoint Arithmetic: Case Study of Inverse .. (context) - Fang, Chen et al. - 2002
2 Floating-point Bit-width Optimization for Low-Power Signal P.. (context) - Fang, Chen et al. - 2002
2 A chip set core for image compression (context) - Artieri, Colavin - 1990
2 Floating point arithmetic and digital filters (context) - Rao - 1992
2 A prior worst case error bounds for floating-point computati.. (context) - Kramer - 1998
1 Power consumption of customized numerical representations fo.. (context) - Chamberlain, Chew et al. - 2002
1 Floating-point roundoff noises of first- and second-order se.. (context) - Tsai - 1997
1 A comparison of roundoff noise in floating point and fixed p.. (context) - Weinstein, Oppenheim - 1969
1 Bounds for floating-point roundoff noise (context) - Laakso, Jackson - 1994

Documents on the same site (http://amp.ece.cmu.edu/publication.htm#Technical): More
Correlation Based Search Algorithms for Motion Estimation - Mohamed Alkanhal Deepak (1999) (Correct)
Activity-Adaptive Modeling of Dynamic Multimedia Traffic - Deepak Turaga And (2000) (Correct)
ITU-T Video Coding Standards - Turaga, Chen (Correct)

Online articles have much greater impact More about CiteSeer Add search form to your site Submit documents Feedback