Login / Signup

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.

Florent de DinechinChristoph Quirin LauterGuillaume 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