Language independent arithmetic LIA-2 : Elementary numerical functions, 2002. ,
Handbook of mathematical functions with formulas, graphs and mathematical tables, Applied Math. Series 55. National Bureau of Standards, 1964. ,
An introduction to numerical analysis, 1989. ,
A Fortran 90-based multiprecision system, ACM Transactions on Mathematical Software, vol.21, issue.4, pp.379-387, 1995. ,
DOI : 10.1145/212066.212075
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.1793
A mechanically-validated technique for extending the available precision, Conference Record of Thirty-Fifth Asilomar Conference on Signals, Systems and Computers (Cat.No.01CH37256), 2001. ,
DOI : 10.1109/ACSSC.2001.987700
A Fortran Multiple-Precision Arithmetic Package, ACM Transactions on Mathematical Software, vol.4, issue.1, pp.57-70, 1978. ,
DOI : 10.1145/355769.355775
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.8425
The doubledouble library, 1998. ,
Finding the truncated polynomial that is closest to a function, 2003. ,
Software Manual for the Elementary Functions, 1980. ,
Implementation and testing of function software, Problems and Methodologies in Mathematical Software Production, 1982. ,
DOI : 10.1007/3-540-11603-6_2
A Proposed Radix- and Word-length-independent Standard for Floating-point Arithmetic, IEEE Micro, vol.4, issue.4, pp.86-100, 1984. ,
DOI : 10.1109/MM.1984.291224
The implementation of the Itanium 2 microprocessor, IEEE Journal of Solid-State Circuits, vol.37, issue.11, pp.1448-1460, 2002. ,
Scientific computing on Itanium-based systems, 2002. ,
Arithmos : a reliable integrated computational environment URL : http ://win-www.uia.ac.be Faithful bipartite ROM reciprocal tables, 12th IEEE Symposium on Computer Arithmetic, pp.17-28, 1995. ,
Expansions : lightweight multiple precision arithmetic URL : ftp ://ftp.ens-lyon, Architecture and Arithmetic Support for Multimedia, pp.98-137, 1998. ,
Validated roundings of dot products by sticky accumulation, IEEE Transactions on Computers, vol.46, issue.5, pp.623-629, 1997. ,
DOI : 10.1109/12.589241
Modular Range Reduction: a New Algorithm for Fast and Accurate Computation of the Elementary Functions, Journal of Universal Computer Science, vol.1, issue.3, pp.162-175, 1995. ,
DOI : 10.1007/978-3-642-80350-5_15
Some improvements on multipartite table methods, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.128-135, 2001. ,
DOI : 10.1109/ARITH.2001.930112
URL : https://hal.archives-ouvertes.fr/inria-00072577
Cache-optimised methods for the evaluation of elementary functions Available at ftp ://ftp.ens-lyon, 2002. ,
SOFTWARE CARRY-SAVE FOR FAST MULTIPLE-PRECISION ALGORITHMS, Mathematical Software, pp.29-40, 2002. ,
DOI : 10.1142/9789812777171_0004
Software Carry-Save: A Case Study for Instruction-Level Parallelism, 7th conference on parallel computing technologies, 2003. ,
DOI : 10.1007/978-3-540-45145-7_18
A new scheme for table-based evaluation of functions, Conference Record of the Thirty-Sixth Asilomar Conference on Signals, Systems and Computers, 2002., pp.1608-1613, 2002. ,
DOI : 10.1109/ACSSC.2002.1197049
URL : https://hal.archives-ouvertes.fr/inria-00071948
Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00071249
A new range reduction. Dans 35th Asilomar conference on signals, systems and computers, pp.1656-1661, 2001. ,
URL : https://hal.archives-ouvertes.fr/ensl-00086904
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
Numerical recipes in C, 1992. ,
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
Scientific Computing on the Itanium?? Processor, Scientific Programming, vol.10, issue.4, 2001. ,
DOI : 10.1155/2002/193478
The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, p.4, 1999. ,
Function evaluation by table look-up and addition, Proceedings of the 12th Symposium on Computer Arithmetic, pp.10-16, 1995. ,
DOI : 10.1109/ARITH.1995.465382
Computer Architecture : A Quantitative Approach, 1990. ,
Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162, 2001. ,
DOI : 10.1109/ARITH.2001.930115
Accuracy and Stability of Numerical Algorithms, SIAM, 1996. ,
DOI : 10.1137/1.9780898718027
Models for propagation of NORAD element sets, 1980. ,
UltraSPARC-III: designing third-generation 64-bit performance, IEEE Micro, vol.19, issue.3, pp.73-85, 1999. ,
DOI : 10.1109/40.768506
Virtual memory in contemporary microprocessors, IEEE Micro, pp.60-75, 1998. ,
Virtual memory : Issues of implementation, Computer, issue.6, pp.3133-3176, 1998. ,
Minimizing q*m-n, 1983. ,
Computer system support for scientific and engineering computation, 1988. ,
Lecture notes on the status of IEEE-754, 1996. ,
What can you learn about floating-point arithmetic in one hour ?, 1996. ,
Multiplication of multidigit numbers on automata, Doklady Akademii Nauk SSSR, vol.145, issue.2, pp.293-294, 1962. ,
Computer arithmetic algorithms, 1993. ,
Worst cases for correct rounding of the elementary functions in double precision, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, 2001. ,
DOI : 10.1109/ARITH.2001.930110
Toward correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998. ,
DOI : 10.1109/12.736435
Always Chebyshev interpolation in elementary function computations, 2002. ,
The libm library and floatingpoint arithmetic for HP-UX on Itanium, 2001. ,
High-performance floating point divide, Proceedings Euromicro Symposium on Digital Systems Design, pp.354-361, 2001. ,
DOI : 10.1109/DSD.2001.952327
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, 2000. ,
Preuves et algorithmes utilisant l'arithmétique normalisée IEEE, 2001. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
A Few Results on Table-Based Methods, Reliable Computing, vol.5, issue.3, pp.279-288, 1999. ,
DOI : 10.1007/978-94-017-1247-7_22
Argument reduction for huge arguments : Good to the last bit (can be obtained by sending an e-mail to the author : kwok.ng@eng.sun.com), 1992. ,
Computer Arithmetic : Algorithms and Hardware Designs, 2000. ,
Radian reduction for trigonometric functions, ACM SIGNUM Newsletter, vol.18, issue.1, pp.19-24, 1983. ,
DOI : 10.1145/1057600.1057602
Faithful powering computation using table look-up and a fused accumulation tree, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.40-47, 2001. ,
DOI : 10.1109/ARITH.2001.930102
Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation, C.R. Académie des Sciences, 1934. ,
étude des architectures des microproceseurs MIPS R10000, Ultrasparc et Pentium Pro, 1996. ,
Itanium processor microarchitecture, IEEE Micro, vol.20, issue.5, pp.14-43, 2000. ,
DOI : 10.1109/40.877948
Worst cases and lattice reduction, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., 2002. ,
DOI : 10.1109/ARITH.2003.1207672
Floating point computation, 1974. ,
The symmetric table addition method for accurate function approximation, The Journal of VLSI Signal Processing, vol.21, issue.2, pp.167-177, 1999. ,
DOI : 10.1023/A:1008004523235
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
Table-lookup algorithms for elementary functions and their error analysis, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991. ,
DOI : 10.1109/ARITH.1991.145565
Fast evaluation of the elementary functions in single precision, IEEE Transactions on Computers, vol.44, issue.3, pp.453-457, 1995. ,
DOI : 10.1109/12.372037
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