Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen  Home/Search
Context
Related
| cmu.edu/~pueschel/papers...affarith.pdf Cached: PS.gz PS PDF DjVu Image Update Help From: cmu.edu/~pueschel/work (more) Homepages: C.Fang [2] [3] [4] R.Rutenbar T.Chen [2] [3] [4] HPSearch (Update Links) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a static error analysis technique, based on smart interval methods from a#ne arithmetic, to help designers translate DSP codes from full-precision floating-point to smaller finite-precision formats. The technique gives results for numerical error estimation comparable to detailed simulation, but achieves speedups of three orders of magnitude by avoiding actual bit-level simulation. We show results for experiments mapping common DSP transform algorithms to implementations using... (Update)
Active bibliography (related documents): More All
2.4: Floating-Point Error Analysis Based On Affine Arithmetic - Fang, Chen, Rutenbar (2003) (Correct)
0.3: Statistical Theory of Quantization - Widrow, Kollar, Liu (1995) (Correct)
0.1: Cooley-Tukey FFT Like Algorithms for the DCT - Püschel (Correct)
Similar documents based on text: More All
0.3: Unknown - Electrical And Computer (Correct)
0.3: Exact Geometric Predicates using Cascaded Computation - Burnikel, Funke, Seel (1998) (Correct)
0.2: Floating-Point Bit-Width Optimization For Low-Power Signal.. - Tsuhan (Correct)
BibTeX entry: (Update)
@misc{ fang-toward,
author = "Claire Fang Fang and Rob A. Rutenbar and Markus Püschel and Tsuhan Chen",
title = "Toward Efficient Static Analysis of Finite-Precision Effects In DSP Applications
via Affine Arithmetic Modeling",
url = "citeseer.nj.nec.com/fangfang03toward.html" }
Citations (may not include all citations):312 Interval Analysis (context) - Moore - 1966
13 Floating-Point Computation (context) - Sterbenz - 1974
12 Self-validated numerical methods and applications - de Figueiredo, Stolfi - 1997
6 SPIRAL: A Generator for Platform-Adapted Libraries of Signal.. (context) - Puschel, Singer et al.
3 Error analysis of digital filters realized with floating-poi.. (context) - Liu, Kaneko - 1969
2 A prior worst case error bounds for floating-point computati.. (context) - Kramer - 1998
2 Lightweight floating-point 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 Floating point arithmetic and digital filters (context) - Rao - 1992
1 Bounds for floating-point roundo# noise (context) - Laakso, Jackson - 1994
1 Floating-point roundo# noises of first- and second-order sec.. (context) - Tsai - 1997
1 Analog circuit sizing based on formal methods using a#ne ari.. (context) - Lemke, Hedrich et al. - 2002
1 noise in floating point and fixed point digital filter reali.. (context) - Weinstein, Oppenheim et al. - 1969
Documents on the same site (http://www.ece.cmu.edu/~pueschel/work.html): More
The Discrete Trigonometric Transforms And Their Fast.. - Püschel, Moura (Correct)
Short Vector Code Generation for the Discrete Fourier Transform - Franchetti, Püschel (Correct)
Cooley-Tukey FFT Like Algorithms for the DCT - Püschel (Correct)
Online articles have much greater impact More about CiteSeer Add search form to your site Submit documents Feedback
CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute