. Binding-techniques, . Lia-iso-/, and . Iec, Language independent arithmetic LIA-2 : Elementary numerical functions, 2002.

M. A. Abramowitz-et-i and . Stegun, Handbook of mathematical functions with formulas, graphs and mathematical tables, Applied Math. Series 55. National Bureau of Standards, 1964.

K. E. Atkinson, An introduction to numerical analysis, 1989.

D. H. Bailey, 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=

S. Boldo-et-m and . Daumas, 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

R. P. Brent, 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=

K. Briggs, The doubledouble library, 1998.

N. Brisebarre-et-j.-m and . Muller, Finding the truncated polynomial that is closest to a function, 2003.

W. , C. Et-w, and . Waite, Software Manual for the Elementary Functions, 1980.

W. J. Cody, Implementation and testing of function software, Problems and Methodologies in Mathematical Software Production, 1982.
DOI : 10.1007/3-540-11603-6_2

W. J. Cody, J. T. Coonen, D. M. Gay, K. Hanson, D. Hough et al., 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

G. Colon-bonet, T. Fischer, T. Grutkowski, S. D. Naffziger, R. Riedlinger et al., The implementation of the Itanium 2 microprocessor, IEEE Journal of Solid-State Circuits, vol.37, issue.11, pp.1448-1460, 2002.

M. Cornea, J. Harrison, and E. P. Tang, Scientific computing on Itanium-based systems, 2002.

A. Cuyt, P. Kuterna, B. Verdonk, E. J. Vervloet, E. D. Das-sarma et al., 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.

M. Daumas, Expansions : lightweight multiple precision arithmetic URL : ftp ://ftp.ens-lyon, Architecture and Arithmetic Support for Multimedia, pp.98-137, 1998.

M. W. Daumas-et-d and . Matula, 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

M. Daumas, C. Mazenc, X. Merrheim, and E. J. Muller, 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

F. De-dinechin and E. A. Tisserand, 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

D. Defour, Cache-optimised methods for the evaluation of elementary functions Available at ftp ://ftp.ens-lyon, 2002.

D. Defour-et-f, . De, and . Dinechin, SOFTWARE CARRY-SAVE FOR FAST MULTIPLE-PRECISION ALGORITHMS, Mathematical Software, pp.29-40, 2002.
DOI : 10.1142/9789812777171_0004

D. Defour-et-f, . De, and . Dinechin, 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

D. Defour, F. De, E. J. Dinechin, and . Muller, 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

D. Defour, G. Hanrot, V. Lefèvre, J. Muller, N. Revol et al., Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071249

D. Defour, P. Kornerup, J. M. Muller, and E. N. Revol, 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

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

B. P. Flannery, W. H. Press, S. A. Teukolsky, and E. W. Vetterling, Numerical recipes in C, 1992.

S. Gal-et-b and . Bachelis, 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

B. Greer, J. Harrison, G. Henry, W. Li, and E. P. Tang, Scientific Computing on the Itanium?? Processor, Scientific Programming, vol.10, issue.4, 2001.
DOI : 10.1155/2002/193478

J. Harrison, T. Kubaska, S. Story, and E. P. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, p.4, 1999.

H. Hassler-et-n and . Takagi, 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

J. L. Hennessy-et-d and . Patterson, Computer Architecture : A Quantitative Approach, 1990.

Y. Hida, X. Li, and E. D. Bailey, 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

N. J. Higham, Accuracy and Stability of Numerical Algorithms, SIAM, 1996.
DOI : 10.1137/1.9780898718027

F. R. Hoots-et-r and . Roehrich, Models for propagation of NORAD element sets, 1980.

T. Horel-et-g and . Lauterbach, UltraSPARC-III: designing third-generation 64-bit performance, IEEE Micro, vol.19, issue.3, pp.73-85, 1999.
DOI : 10.1109/40.768506

B. , J. Et-t, and . Mudge, Virtual memory in contemporary microprocessors, IEEE Micro, pp.60-75, 1998.

B. , J. Et-t, and . Mudge, Virtual memory : Issues of implementation, Computer, issue.6, pp.3133-3176, 1998.

W. Kahan, Minimizing q*m-n, 1983.

W. Kahan, Computer system support for scientific and engineering computation, 1988.

W. Kahan, Lecture notes on the status of IEEE-754, 1996.

W. Kahan, What can you learn about floating-point arithmetic in one hour ?, 1996.

A. Karatsuba-et-y and . Ofman, Multiplication of multidigit numbers on automata, Doklady Akademii Nauk SSSR, vol.145, issue.2, pp.293-294, 1962.

I. Koren, Computer arithmetic algorithms, 1993.

V. M. Lefèvre-et-j and . Muller, 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

V. Lefèvre, J. M. Muller, and E. A. Tisserand, Toward correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998.
DOI : 10.1109/12.736435

R. Li, Always Chebyshev interpolation in elementary function computations, 2002.

R. Li, P. Markstein, J. P. Okada, and E. J. Thomas, The libm library and floatingpoint arithmetic for HP-UX on Itanium, 2001.

A. A. Liddicoat-et-m and . Flynn, High-performance floating point divide, Proceedings Euromicro Symposium on Digital Systems Design, pp.354-361, 2001.
DOI : 10.1109/DSD.2001.952327

P. Markstein, IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, 2000.

C. Moreau-finot, Preuves et algorithmes utilisant l'arithmétique normalisée IEEE, 2001.

J. M. Muller, Elementary Functions, Algorithms and Implementation, 1997.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

J. M. Muller, 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

K. C. Ng, 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.

B. Parhami, Computer Arithmetic : Algorithms and Hardware Designs, 2000.

M. Payne-et-r and . Hanek, Radian reduction for trigonometric functions, ACM SIGNUM Newsletter, vol.18, issue.1, pp.19-24, 1983.
DOI : 10.1145/1057600.1057602

J. A. Piñeiro, J. D. Bruguera, and E. J. Muller, 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

E. Remez, Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation, C.R. Académie des Sciences, 1934.

A. Seznec-et-f and . Lloansi, étude des architectures des microproceseurs MIPS R10000, Ultrasparc et Pentium Pro, 1996.

H. Sharangpani-et-a and . Arora, Itanium processor microarchitecture, IEEE Micro, vol.20, issue.5, pp.14-43, 2000.
DOI : 10.1109/40.877948

D. Stehlé, V. Lefèvre, and E. P. Zimmermann, Worst cases and lattice reduction, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., 2002.
DOI : 10.1109/ARITH.2003.1207672

P. H. Sterbenz, Floating point computation, 1974.

J. E. Stine-et-m and . Schulte, 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

P. T. Tang, 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

P. T. Tang, 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

W. F. Wong-et-e and . Goto, 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

A. Ziv, 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