Accurate Math Functions on the Intel IA-32 Architecture: A Performance-Driven Design, 7th Conference on Real Numbers and Computers, pp.93-105, 2006. ,
Radix-64 Floating-Point Divider, 25th Symposium on Computer Arithmetic (ARITH-25), pp.87-94, 2018. ,
Modified FMA for exact low precision product accumulation, 24th Symposium on Computer Arithmetic (ARITH-24), 2017. ,
Parameterized Posit Arithmetic Hardware Generator, 36th International Conference on Computer Design (ICCD), pp.334-341, 2018. ,
Software Manual for the Elementary Functions, 1980. ,
Towards the Post-Ultimate libm, 17th Symposium on Computer Arithmetic (ARITH-17), pp.288-295, 2005. ,
Fast and Correctly Rounded Logarithms in Double-Precision, Theoretical Informatics and Applications, vol.41, pp.85-102, 2007. ,
An FPGA-specific Approach to Floating-Point Accumulation and Sum-of-Products, Field-Programmable Technologies, pp.33-40, 2008. ,
Fast Reproducible Floating-Point Summation, 21th Symposium on Computer Arithmetic (ARITH-21), pp.163-172, 2013. ,
On error analysis in arithmetic with varying relative precision, 8th Symposium on Computer Arithmetic (ARITH-8), 1987. ,
Beating floating point at its own game: Posit arithmetic, Supercomputing Frontiers and Innovations, vol.4, pp.71-86, 2017. ,
, Accuracy and Stability of Numerical Algorithms, 2002.
, IEEE Standard for Floating-Point Arithmetic, IEEE, vol.60559, p.754, 2008.
Rethinking floating point for deep learning, 2018. ,
On the computation of correctly-rounded sums, 19th Symposium on Computer Arithmetic (ARITH-19), 2009. ,
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, 2002. ,
How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm, 18th IEEE Symposium on Computer Arithmetic (ARITH-18), pp.141-149, 2007. ,
Universal Coding of the Reals: Alternatives to IEEE Floating Point, CoNGA, Conference on Next Generation Arithmetic, 2018. ,
IA-64 and Elementary Functions: Speed and Precision, 2000. ,
An overflow/underflow free floating-point representation of numbers, Journal of Information Processing, vol.4, pp.123-133, 1981. ,
Quasi double-precision in floating point addition, BIT Numerical Mathematics, vol.5, pp.37-50, 1965. ,
Elementary functions, algorithms and implementation, 2016. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
, Handbook of Floating-Point Arithmetic, 2018.
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Argument reduction for huge arguments: good to the last bit, 1992. ,
Automatically Improving Accuracy for Floating Point Expressions, Programming Language Design and Implementation, 2015. ,
Hardware Implementation of POSITs and Their Application in FPGAs, International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp.138-145, 2018. ,
Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, pp.189-224, 2008. ,
Accurate Floating-point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing, vol.31, pp.1269-1302, 2008. ,
A Floating-Point Fused Dot-Product Unit, International Conference on Computer Design (ICCD, pp.426-431, 2008. ,
Table-Driven Implementation of the Exponential Function in IEEE Floating-Point Arithmetic, ACM Trans. Math. Software, vol.15, pp.144-157, 1989. ,
Is Dark Silicon Useful? Harnessing the Four Horsemen of the Coming Dark Silicon Apocalypse, Design Automation Conference, 2012. ,
Bridging HighLevel Synthesis and Application-Specific Arithmetic: The Case Study of FloatingPoint Summations, Field-Programmable Logic and Applications, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01373954