Login / Signup
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.
Florent de Dinechin
Christoph Quirin Lauter
Guillaume Melquiond
Published in:
IEEE Trans. Computers (2011)
Keyphrases
</>
floating point
instruction set
fixed point
square root
graphics processing units
parallel implementation
fast fourier transform
database applications
floating point arithmetic