Contributions to computer arithmetic and applications to
Thèse de doctorat, École normale supérieure de Lyon, 2014.
[ bib |
Keywords: low-level optimization, tools, correct rounding
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, and
A new binary floating-point division algorithm and its software
implementation on the ST231 processor.
In J.D. Bruguera, M. Cornea, D. DasSarma, and J. Harrison, editors,
Proceedings of the 19th IEEE Symposium on Computer Arithmetic
(ARITH'19), pages 95--103, Portland, OR, USA, June 2009. IEEE Computer
[ bib |
Keywords: division, fixed-point, low-level optimization
C. S. Anderson, Shane Story, and Nikita Astafiev.
Accurate math functions on the Intel IA-32 architecture: A
In 7th Conference on Real Numbers and Computers, pages 93--105,
[ bib ]
Keywords: low-level optimization, libm, log, cos
This file was generated by bibtex2html 1.98.