P. Faraboschi, G. Brown, J. A. Fisher, G. Desoli, and F. Homewood, Lx: a technology platform for customizable VLIW embedded processing, Proc. of the 27th International Symposium on Computer Architecture (ISCA). ACM, pp.203-213, 2000.

C. Jeannerod and G. Revy, FLIP 1.0: a fast floatingpoint library for integer processors, 2009.

P. Markstein, 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

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

V. Paliouras, K. Karagianni, and T. Stouraitis, A floatingpoint processor for fast and accurate sine/cosine evaluation, Circuits and Systems -Part II: Analog and Digital Signal Processing, pp.441-451, 2000.

A. Tisserand, Hardware Operator for Simultaneous Sine and Cosine Evaluation, 2006 IEEE International Conference on Acoustics Speed and Signal Processing Proceedings, pp.992-995, 2006.
DOI : 10.1109/ICASSP.2006.1660823
URL : https://hal.archives-ouvertes.fr/lirmm-00125366

J. Detrey and F. De-dinechin, Floating-point trigonometric functions for FPGAs, " in Field-Programmable Logic and Applications, IEEE, pp.29-34, 2007.

S. Gal and B. 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

P. Markstein, IA-64 and Elementary Functions: Speed and Precision, ser

M. Prentice-hall, J. Cornea, P. T. Harrison, and . Tang, Scientific Computing on Itanium R -based Systems, 2000.

S. Raina, FLIP: a Floating-point Library for Integer Processors, 2006.

K. G. Lenzi and O. Saotome, Optimized Math Functions for a Fixed-Point DSP Architecture, 19th Symposium on Computer Architecture and High Performance (SBAC-PAD), pp.125-132, 2007.

N. Shibata, Efficient evaluation methods of elementary functions suitable for??SIMD computation, Computer Science - Research and Development, vol.23, issue.1, pp.25-32, 2010.
DOI : 10.1007/s00450-010-0108-2

S. Chevillard, M. Joldes, and C. Lauter, Sollya: An Environment for the Development of Numerical Codes, Proc. of the Third International Congress on Mathematical Software (ICMS'10), pp.28-31, 2010.
DOI : 10.1007/978-3-642-15582-6_5
URL : https://hal.archives-ouvertes.fr/hal-00761644

G. Melquiond, Gappa -génération automatique de preuves de propriétés arithmétiques

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic
DOI : 10.1109/ARITH.2011.39
URL : https://hal.archives-ouvertes.fr/ensl-00531721

C. Bruel, If-conversion SSA framework for partially predicated VLIW architectures, Digest of the 4th Workshop on Optimizations for DSP and Embedded Systems, 2006.

B. D. De-dinechin, From machine scheduling to VLIW instruction scheduling, ST Journal of Research, vol.1, issue.2, 2004.

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

J. Muller, On the definition of ulp(x), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070503

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation, IEEE Transactions on Computers, vol.60, issue.2, pp.214-227, 2011.
DOI : 10.1109/TC.2010.152
URL : https://hal.archives-ouvertes.fr/ensl-00559236

D. Knuth, Seminumerical Algorithms, ser. The Art of Computer Programming, 1987.
DOI : 10.1145/1088322.1088323