A priori worst case error bounds for floating-point computations

被引：16
|
作者：
Kramer, W [1 ]
机构：
[1] Univ Karlsruhe, Inst Wissensch Rechnen & Math Modellbldg, D-76128 Karlsruhe, Germany
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1998年 / 47卷 / 07期
关键词：
rigorous error bounds; table-lookup algorithms; elementary function algorithms; automation of error analysis;
D O I：
10.1109/12.709374
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A new technique for the a priori calculation of rigorous error bounds for floating-point computations is introduced. The theorems given in the paper combined with interval arithmetic lead to the implementation of reliable software routines. which enable the user to compute the desired error bounds automatically by a suitable computer program. As a prominent example, a table-lookup algorithm for calculating the function exp(x) - 1 that has been published by Tang [16] is analyzed using these new tools. The result shows the high quality of the new approach.
引用
收藏
页码：750 / 756
页数：7
相关论文
共 50 条
  • [1] A priori worst-case error bounds for floating-point computations
    Kramer, W
    13TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1997, : 64 - 71
  • [2] SOME A POSTERIORI ERROR BOUNDS IN FLOATING-POINT COMPUTATIONS
    TSAO, NK
    JOURNAL OF THE ACM, 1974, 21 (01) : 6 - 17
  • [3] A hardware error estimate for floating-point computations
    Lang, Tomas
    Bruguera, Javier D.
    ADVANCED SIGNAL PROCESSING ALGORITHMS, ARCHITECTURES, AND IMPLEMENTATIONS XVIII, 2008, 7074
  • [4] Error bounds on complex floating-point multiplication
    Brent, Richard
    Percival, Colin
    Zimmermann, Paul
    MATHEMATICS OF COMPUTATION, 2007, 76 (259) : 1469 - 1481
  • [5] Error bounds for floating-point polynomial interpolators
    Paliouras, V
    Karagianni, K
    Stouraitis, T
    ELECTRONICS LETTERS, 1999, 35 (03) : 195 - 197
  • [6] Sharp error bounds for complex floating-point inversion
    Claude-Pierre Jeannerod
    Nicolas Louvet
    Jean-Michel Muller
    Antoine Plet
    Numerical Algorithms, 2016, 73 : 735 - 760
  • [7] Sharp error bounds for complex floating-point inversion
    Jeannerod, Claude-Pierre
    Louvet, Nicolas
    Muller, Jean-Michel
    Plet, Antoine
    NUMERICAL ALGORITHMS, 2016, 73 (03) : 735 - 760
  • [8] ERROR BOUNDS ON COMPLEX FLOATING-POINT MULTIPLICATION WITH AN FMA
    Jeannerod, Claude-Pierre
    Kornerup, Peter
    Louvet, Nicolas
    Muller, Jean-Michel
    MATHEMATICS OF COMPUTATION, 2017, 86 (304) : 881 - 898
  • [9] On Sound Relative Error Bounds for Floating-Point Arithmetic
    Izycheva, Anastasiia
    Darulova, Eva
    PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 15 - 22
  • [10] Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
    Constantinides, George
    Dahlqvist, Fredrik
    Rakamaric, Zvonimir
    Salvia, Rocco
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 626 - 650
12345