Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.

Rosa Abbasi Eva Darulova

Published in: SAS (2023)

Keyphrases

error analysis
floating point
least squares
fixed point
square root
cross ratio
error correction
instruction set
interval arithmetic
optimization process
sparse matrices
computer science
fast fourier transform
floating point unit
floating point arithmetic