Elementary Functions: Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Handbook of mathematical functions, ser. Applied Math. Series 55, National Bureau of Standards, 1964. ,
Accelerating SPICE Model-Evaluation using FPGAs, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, pp.37-44, 2009. ,
DOI : 10.1109/FCCM.2009.14
Floating point in experimental HEP data processing, 2nd CERN Openlab/INTEL Workshop on Numerical Computing, 2012. ,
The VDT mathematical library, 2nd CERN Openlab/IN- TEL Workshop on Numerical Computing, 2012. ,
Final report of the ATLAS detector simulation performance assessment group, 2010. ,
Should the Elementary Function Library Be Incorporated Into Computer Instruction Sets?, ACM Transactions on Mathematical Software, vol.2, issue.2, pp.132-142, 1976. ,
DOI : 10.1145/355681.355684
Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989. ,
DOI : 10.1145/63522.214389
An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.26-45, 1991. ,
DOI : 10.1145/103147.103151
IA-64 and Elementary Functions: Speed and Precision, ser. Hewlett-Packard Professional Books, 2000. ,
Scientific Computing on Itanium R -based Systems, 2002. ,
Accelerating sine and cosine evaluation with compiler assistance, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.137-140, 2003. ,
DOI : 10.1109/ARITH.2003.1207671
The GNU C Library Reference Manual ,
Fast evaluation of elementary mathematical functions with correctly rounded last bit, ACM Transactions on Mathematical Software, vol.17, issue.3, pp.410-423, 1991. ,
DOI : 10.1145/114697.116813
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa, IEEE Transactions on Computers, vol.60, issue.2, pp.242-253, 2011. ,
DOI : 10.1109/TC.2010.128
URL : https://hal.archives-ouvertes.fr/ensl-00200830
Minimizing development and maintenance costs in supporting persistently optimized BLAS Software: Practice and Experience, pp.101-121, 2005. ,
The Design and Implementation of FFTW3, Program Generation, Optimization, and Platform Adaptation, pp.216-231, 2005. ,
DOI : 10.1109/JPROC.2004.840301
SPIRAL: Code generation for DSP transforms Proceedings of the IEEE, special issue on " Program Generation, Optimization, and Adaptation, pp.232-275, 2005. ,
Efficient polynomial lapproximations, 18th IEEE Symposium on Computer Arithmetic, pp.25-27, 2007. ,
Hierarchical segmentation schemes for function evaluation, Proceedings. 2003 IEEE International Conference on Field-Programmable Technology (FPT) (IEEE Cat. No.03EX798), 2009. ,
DOI : 10.1109/FPT.2003.1275736
A domain splitting algorithm for the mathematical functions code generator. to appear, 2014 Asilomar Conference on Signals, Systems and Computers, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01118915
Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989. ,
DOI : 10.1145/63522.214389
Table-driven implementation of the logarithm function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.16, issue.4, pp.378-400, 1990. ,
DOI : 10.1145/98267.98294
Sollya: An Environment for the Development of Numerical Codes, Lecture Notes in Computer Science, K. Fukuda, J. van der Hoeven, vol.6327, pp.28-31, 2010. ,
DOI : 10.1007/978-3-642-15582-6_5
URL : https://hal.archives-ouvertes.fr/hal-00761644
Certified and Fast Computation of Supremum Norms of Approximation Errors, 2009 19th IEEE Symposium on Computer Arithmetic, pp.9-10, 2009. ,
DOI : 10.1109/ARITH.2009.18
URL : https://hal.archives-ouvertes.fr/ensl-00334545
Replacing Branches by Polynomials in Vectorizable Elementary Functions, Book of abstracts for 16th GAMM-IMACS International Symposium on Scientific Computing, 2014. ,
DOI : 10.1007/978-3-319-31769-4_2
Automatic Generation of Fast and Certified Code for Polynomial Evaluation Accurate math functions on the Intel IA-32 architecture: A performance-driven design, 20th IEEE Symposium on Computer Arithmetic (ARITH) 7th Conference on Real Numbers and Computers, pp.233-242, 2006. ,