Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.

Manuel Fähndrich Francesco Logozzo

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

floating point
floating point arithmetic
square root
fixed point
sparse matrices
interval arithmetic
fourier transform
processing units
instruction set
image processing
fast fourier transform
matrix multiplication