A. Cohen and E. Rohou, Processor virtualization and split compilation for heterogeneous multicore embedded systems, Proceedings of the 47th Design Automation Conference on, DAC '10, pp.102-107, 2010.
DOI : 10.1145/1837274.1837303

URL : https://hal.archives-ouvertes.fr/inria-00472274

J. Cong, K. Gururaj, B. Liu, C. Liu, Z. Zhang et al., Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, pp.231-234, 2009.
DOI : 10.1109/FCCM.2009.35

C. Florent-de-dinechin, G. Lauter, and . Melquiond, Assisted verification of elementary functions using Gappa, Proceedings of the 2006 ACM Symposium on Applied Computing, pp.1318-1322, 2006.

A. Florent-de-dinechin and . Tisserand, Multipartite table methods, IEEE Transactions on Computers, vol.54, issue.3, pp.319-330, 2005.
DOI : 10.1109/TC.2005.54

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

I. Task and P. Ansi, Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985.

D. Joseph and D. Grunwald, Prefetching using Markov predictors, ACM SIGARCH Computer Architecture News, vol.25, issue.2, pp.252-263, 1997.
DOI : 10.1145/384286.264207

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Krintz and B. Calder, Using annotations to reduce dynamic optimization time, ACM SIGPLAN Notices, vol.36, issue.5, pp.156-167, 2001.
DOI : 10.1145/381694.378831

M. D. Linderman, M. Ho, D. L. Dill, T. H. Meng, and G. P. Nolan, Towards program optimization through automated analysis of numerical precision, Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization, CGO '10, pp.230-237, 2010.
DOI : 10.1145/1772954.1772987

H. Mikko, J. P. Lipasti, and . Shen, Exceeding the dataflow limit via value prediction, Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, pp.226-237, 1996.

H. Mikko, C. B. Lipasti, J. P. Wilkerson, and . Shen, Value locality and load value prediction, SIGPLAN Not, vol.31, pp.138-147, 1996.

D. Menard, D. Chillet, F. Charot, and O. Sentieys, Automatic floating-point to fixed-point conversion for DSP code generation, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02, pp.270-276, 2002.
DOI : 10.1145/581630.581674

URL : https://hal.archives-ouvertes.fr/inria-00482916

D. Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, pp.1-1241, 2008.
DOI : 10.1145/1353445.1353446

URL : https://hal.archives-ouvertes.fr/hal-00128124

J. Kyle, J. E. Nesbit, and . Smith, Data cache prefetching using a global history buffer, High-Performance Computer Architecture, International Symposium on, p.96, 2004.

E. Stephen and . Richardson, Caching function results: Faster arithmetic by avoiding unnecessary computation, 1992.

E. Rohou, Portable and Efficient Auto-vectorized Bytecode: a Look at the Interaction between Static and JIT Compilers, 2nd International Workshop on GCC Research Opportunities, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00468015

E. Rohou, S. Dyshel, D. Nuzman, I. Rosen, and K. Williams, Albert Cohen, and Ayal Zaks. Speculatively Vectorized Bytecode, International Conference on High-Performance and Embedded Architectures and Compilers, 2011.

E. Rohou and T. Lafage, The Pitfalls of Benchmarking with Applications, MoBS 2010 -Sixth Annual Workshop on Modeling, Benchmarking and Simulation, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00492997

Y. Sazeides and J. E. Smith, The predictability of data values, Proceedings of 30th Annual International Symposium on Microarchitecture, pp.248-258, 1997.
DOI : 10.1109/MICRO.1997.645815

A. Tisserand, High-performance hardware operators for polynomial evaluation, International Journal of High Performance Systems Architecture, vol.1, issue.1, pp.14-23, 2007.
DOI : 10.1504/IJHPSA.2007.013288

URL : https://hal.archives-ouvertes.fr/lirmm-00140930

A. Tisserand, Function approximation based on estimated arithmetic operators, 2009 Conference Record of the Forty-Third Asilomar Conference on Signals, Systems and Computers, 2009.
DOI : 10.1109/ACSSC.2009.5470208

URL : https://hal.archives-ouvertes.fr/inria-00446527

K. Wang and M. Franklin, Highly accurate data value prediction using hybrid predictors, Proceedings of 30th Annual International Symposium on Microarchitecture, pp.281-290, 1997.
DOI : 10.1109/MICRO.1997.645819

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=