13th IEEE Symposium on Computer Arithmetic (ARITH-13 '97) A Priori Worst-Case Error Bounds for Floating-Point Computations Asilomar, CA March 06-March 09 ISBN: 0-8186-7846-1
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 enables 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 \cite{tang92} is analyzed using these new tools. The result shows the high quality of the new approach.
Index Terms:
Reliable Error Estimates, Error Bounds, Floating-Point Computations, Table-lookup Algorithm
Citation:
Walter Kramer, "A Priori Worst-Case Error Bounds for Floating-Point Computations," arith, pp.64, 13th IEEE Symposium on Computer Arithmetic (ARITH-13 '97), 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||