The SNAP Project: Building Validated Floating Point.

Hesham A. Al-Twaijry Stuart F. Oberman Steve T. Fu Michael J. Flynn

Published in: J. Univers. Comput. Sci. (1997)

Keyphrases

floating point
square root
fixed point
instruction set
sparse matrices
software development
construction industry
fast fourier transform
interval arithmetic
three dimensional
probabilistic model
floating point unit