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
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
Assisted verification of elementary functions using Gappa, Proceedings of the 2006 ACM Symposium on Applied Computing, pp.1318-1322, 2006. ,
Multipartite table methods, IEEE Transactions on Computers, vol.54, issue.3, pp.319-330, 2005. ,
DOI : 10.1109/TC.2005.54
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=10.1.1.1.7712
Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985. ,
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=10.1.1.637.7652
Using annotations to reduce dynamic optimization time, ACM SIGPLAN Notices, vol.36, issue.5, pp.156-167, 2001. ,
DOI : 10.1145/381694.378831
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
Exceeding the dataflow limit via value prediction, Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, pp.226-237, 1996. ,
Value locality and load value prediction, SIGPLAN Not, vol.31, pp.138-147, 1996. ,
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
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
Data cache prefetching using a global history buffer, High-Performance Computer Architecture, International Symposium on, p.96, 2004. ,
Caching function results: Faster arithmetic by avoiding unnecessary computation, 1992. ,
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
Albert Cohen, and Ayal Zaks. Speculatively Vectorized Bytecode, International Conference on High-Performance and Embedded Architectures and Compilers, 2011. ,
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
The predictability of data values, Proceedings of 30th Annual International Symposium on Microarchitecture, pp.248-258, 1997. ,
DOI : 10.1109/MICRO.1997.645815
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
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
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=10.1.1.16.9417