M. Schmitt, C. Bastoul, and P. Helluy, A language extension set to generate adaptive versions automatically, Oil & Gas Science and Technology, vol.73, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01923631

M. Schmitt, P. Helluy, and C. Bastoul, Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications, IEEE 24th International Conference on High Performance Computing, pp.172-181, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01655459

M. Schmitt, P. Helluy, and C. Bastoul, Automatic Adaptive Approximation for Stencil Computations, Proceedings of the 28th International Conference on Compiler Construction, pp.170-181, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02072737

M. Schmitt, P. Helluy, and C. Bastoul, Think Unlimited and Compress Data Automatically, Conférence d'informatique en Parallélisme, Architecture et Système (COMPAS), pp.1-7, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02456534

M. Schmitt, C. Sabater, and C. Bastoul, Semi-Automatic Generation of Adaptive Codes, 7th International Workshop on Polyhedral Compilation Techniques, pp.1-7, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01655456

, General Bibliography

A. Umut, G. E. Acar, R. Blelloch, and . Harper, Selective Memoization, Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.14-25, 2003.

H. Alain and D. Ziou, Image Quality Metrics: PSNR vs. SSIM". In: 20th International Conference on Pattern Recognition, pp.2366-2369, 2010.

R. Andraka, A Survey of CORDIC Algorithms for FPGA Based Computers, Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, pp.191-200, 1998.

J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao et al., PetaBricks: A Language and Compiler for Algorithmic Choice, Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.38-49, 2009.

J. Ansel, Y. L. Wong, C. Chan, M. Olszewski, A. Edelman et al., Language and compiler support for auto-tuning variable-accuracy algorithms, Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pp.85-96, 2011.

, Approximate Computing Benchmark, 2019.

W. Baek and T. M. Chilimbi, Green: A Framework for Supporting Energyconscious Programming Using Controlled Approximation, Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.198-209, 2010.

U. Banerjee, Loop transformations for restructuring compilers: the foundations, 2007.

C. Bastoul, Code Generation in the Polyhedral Model Is Easier Than You Think, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, pp.7-16, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00017260

C. Bastoul, Contributions to High-Level Program Optimization". Habilitation à diriger des recherches, 2012.

C. Bastoul, Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality, Proceedings of the 25th International Conference on Compiler Construction, pp.229-239, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01271998

C. Bastoul, A. Cohen, S. Girbal, S. Sharma, and O. Temam, Putting Polyhedral Loop Transformations to Work, Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing. College Station, pp.209-225, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071681

G. Battle, A block spin construction of ondelettes. Part I: Lemarié functions, Communications in Mathematical Physics, vol.110, pp.601-615, 1987.

F. Bellard, Tiny C Compiler (TCC), 2019.

M. J. Berger and P. Colella, Local adaptive mesh refinement for shock hydrodynamics, Journal of Computational Physics, vol.82, issue.89, pp.90035-90036, 1989.

J. Marsha, J. Berger, and . Oliger, Adaptive mesh refinement for hyperbolic partial differential equations, Journal of Computational Physics, vol.53, pp.90073-90074, 1984.

W. Bielecki and M. Pa?kowski, Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs, International Journal of Applied Mathematics and Computer Science, vol.26, pp.919-939, 2016.

C. Bienia, Benchmarking Modern Multiprocessors (PARSEC), 2011.

M. Christopher and . Bishop, Pattern recognition and machine learning, 2006.

, OpenMP Specification. Version 5.0, OpenMP Architecture Review Boards, 2018.

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A Practical Automatic Polyhedral Parallelizer and Locality Optimizer, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '08, pp.101-113, 2008.

J. Bornholt, T. Mytkowicz, and K. S. Mckinley, Uncertain<T>: A First-order Type for Uncertain Data, Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.51-66, 2014.

S. Byna, J. Meng, A. Raghunathan, S. Chakradhar, and S. Cadambi, Best-effort Semantic Document Search on GPUs, Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units, pp.86-93, 2010.

S. Campanoni, G. Holloway, . Gu-yeon, D. Wei, and . Brooks, HELIX-UP: Relaxing Program Semantics to Unleash Parallelization, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pp.235-245, 2015.

M. Carbin, S. Misailovic, and M. C. Rinard, Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, pp.33-52, 2013.

D. ?erná, V. Fin?k, and K. Najzar, On the exact values of coefficients of coiflets, Central European Journal of Mathematics, vol.6, pp.159-169, 2008.

C. Chen, Polyhedra Scanning Revisited, Proceedings of the 33rd ACM SIG-PLAN Conference on Programming Language Design and Implementation. Beijing, pp.499-508, 2012.

S. Chen and G. D. Doolen, Lattice Boltzmann method for fluid flows, Annual Review of Fluid Mechanics, vol.30, pp.329-364, 1998.

K. Vinay, . Chippa, T. Srimat, K. Chakradhar, A. Roy et al., Analysis and Characterization of Inherent Application Resilience for Approximate Computing, Proceedings of the 50th Annual Design Automation Conference, vol.113, p.9, 2013.

K. Vinay, D. Chippa, A. Mohapatra, K. Raghunathan, S. T. Roy et al., Scalable Effort Hardware Design: Exploiting Algorithmic Resilience for Energy Efficiency, Proceedings of the 47th Design Automation Conference, pp.555-560, 2010.

P. Clauss, Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs, Proceedings of the 10th International Conference on Supercomputing. Philadelphia, pp.278-285, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01100306

P. Clauss and V. Loechner, Journal of VLSI signal processing systems for signal, image and video technology 19, pp.179-194, 1998.

A. Cohen, S. Kaber, S. Müller, and M. Postel, Fully Adaptive Multiresolution Finite Volume Schemes for Conservation Laws, Mathematics of Computation 72.241, pp.183-225, 2003.

, Standardization Document. International Organization for Standardization / International Electrotechnical Commission, ISO/IEC JTC 1/SC 22 Technical Committee. ISO/IEC, vol.9899, p.87, 2018.

K. Cooper and L. Torczon, Engineering a compiler, 2011.

R. Courant, K. Friedrichs, and H. Lewy, Über die partiellen Differenzengleichungen der mathematischen Physik, Mathematische Annalen, vol.100, pp.32-74, 1928.

R. Courant and F. John, Introduction to calculus and analysis I, 2012.

H. Coxeter, Regular polytopes. Dover Books on Mathematics, 1973.

L. Dagum and R. Menon, OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998.

I. Daubechies, Orthonormal bases of compactly supported wavelets, Communications on pure and applied mathematics 41, vol.7, pp.909-996, 1988.

I. Daubechies, Ten Lectures on Wavelets, 1992.

Y. Ding, J. Ansel, K. Veeramachaneni, X. Shen, U. Reilly et al., Autotuning Algorithmic Choice for Input Sensitivity, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.379-390, 2015.

H. Dym and H. P. Mckean, Fourier Series and Integrals. Probability and mathematical statistics, 1972.

A. Hadi-esmaeilzadeh, L. Sampson, D. Ceze, and . Burger, Architecture Support for Disciplined Approximate Programming, Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems, pp.301-312, 2012.

A. Hadi-esmaeilzadeh, L. Sampson, D. Ceze, and . Burger, Neural Acceleration for General-Purpose Approximate Programs, Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, pp.449-460, 2012.

Y. Fang, H. Li, and X. Li, SoftPCM: Enhancing Energy Efficiency and Lifetime of Phase Change Memory in Video Applications via Approximate Write, Proceedings of the IEEE 21st Asian Test Symposium, pp.131-136, 2012.

P. Feautrier, Some efficient solutions to the affine scheduling problem. I. Onedimensional time, International Journal of Parallel Programming, vol.21, pp.313-347, 1992.

P. Feautrier, Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.21, issue.6, pp.389-420, 1992.

. Richard-p-feynman, B. Robert, M. Leighton, and . Sands, The Feynman lectures on physics: mainly mechanics, radiation, and heat, vol.1, 2011.

D. Gabor, Theory of communication. Part 1: The analysis of information, Journal of the Institution of Electrical Engineers -Part III: Radio and Communication Engineering, vol.93, pp.429-441, 1946.

C. Geankoplis, Transport processes and unit operations. Allyn and Bacon, 1978.

I. Goiri, R. Bianchini, S. Nagarakatte, and T. D. Nguyen, Ap-proxHadoop: Bringing Approximations to MapReduce Frameworks, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, pp.383-397, 2015.

G. H. Golub and C. F. Van-loan, Matrix Computations, pp.0-8018, 1996.

R. W. Gosper, Exploiting regularities in large cellular spaces, Physica D: Nonlinear Phenomena, vol.10, pp.90251-90254, 1984.

T. Grosser, A. Groesslinger, and C. Lengauer, POLLY -Performing Polyhedral Optimizations on a Low-Level Intermediate Representation, Parallel Processing Letters, vol.22, pp.1-28, 2012.

A. Grossmann and J. Morlet, Decomposition of Hardy functions into square integrable wavelets of constant shape, SIAM journal on mathematical analysis, vol.15, pp.723-736, 1984.

J. L. Gustafson, Reevaluating Amdahl's Law, Commununication of the ACM 31, vol.5, pp.532-533, 1988.

J. Gustafson and I. Yonemoto, Beating Floating Point at its Own Game: Posit Arithmetic, Supercomputing Frontiers and Innovations, vol.4, pp.2313-8734, 2017.

A. Haar, Zur Theorie der orthogonalen Funktionensysteme". German. In: Mathematische Annalen, vol.69, pp.331-371, 1910.

H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal et al., Dynamic Knobs for Responsive Power-aware Computing, Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, pp.199-212, 2011.

J. Hoffmann, A. Das, and S. Weng, Towards Automatic Resource Bound Analysis for OCaml, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.359-373, 2017.

, GENERAL BIBLIOGRAPHY, vol.113

H. Hou and H. Andrews, Cubic splines for image interpolation and digital filtering, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.26, issue.6, pp.508-517, 1978.

W. Huang, D. Robert, and . Russell, Adaptive moving mesh methods, vol.174, 2010.

K. Kambatla, G. Kollias, V. Kumar, and A. Grama, Trends in big data analytics, Journal of Parallel and Distributed Computing, vol.74, pp.2561-2573, 2014.

V. Kantabutra, On hardware for computing exponential and trigonometric functions, IEEE Transactions on Computers, vol.45, issue.3, pp.328-339, 1996.

W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman et al., The Omega Calculator and Library. User Manual. Version 1.1.0, 1996.

W. Kelly and W. Pugh, A framework for unifying reordering transformations, vol.24, 1998.

S. Li, S. Park, and S. Mahlke, Sculptor: Flexible Approximation with Selective Dynamic Loop Perforation, Proceedings of the 2018 International Conference on Supercomputing, pp.341-351, 2018.

S. Mallat, A wavelet tour of signal processing. The Sparse Way, 2009.

G. Stephane and . Mallat, A theory for multiresolution signal decomposition: the wavelet representation, IEEE Transactions on Pattern Analysis & Machine Intelligence, vol.7, pp.674-693, 1989.

N. Manjikian and T. S. Abdelrahman, Exploiting wavefront parallelism on large-scale shared-memory multiprocessors, IEEE Transactions on Parallel and Distributed Systems, vol.12, issue.3, pp.259-271, 2001.

J. Meng, S. Chakradhar, and A. Raghunathan, Best-effort parallel execution framework for Recognition and mining applications, IEEE International Symposium on Parallel Distributed Processing, pp.1-12, 2009.

Y. Meyer, Principe d'incertitude, bases hilbertiennes et algèbres d'opérateurs". French, Séminaire Bourbaki, vol.28, pp.209-223, 1986.

D. Michie, Memo" Functions and Machine Learning, Nature, vol.218, pp.19-22, 1968.

J. San-miguel, M. Badr, and N. E. Jerger, Load Value Approximation, Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture. Cambridge, United Kingdom, pp.127-139, 2014.

S. Misailovic, M. Carbin, S. Achour, Z. Qi, and M. C. Rinard, Chisel: Reliability-and Accuracy-aware Optimization of Approximate Computational Kernels, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp.309-328, 2014.

S. Misailovic, D. M. Roy, and M. C. Rinard, Probabilistically Accurate Program Transformations, Static Analysis, pp.316-333, 2011.

S. Mittal, A Survey of Techniques for Approximate Computing, ACM Computing Surveys, vol.48, pp.1-33, 2016.

S. Müller, Lecture Notes in Computational Science and Engineering, vol.27, 2012.

, OpenACC Specification. Version 2.7. Nov, 2018.

L. Pouchet, C. Bastoul, A. Cohen, and J. Cavazos, Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.90-100, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01257273

L. Pouchet, C. Bastoul, A. Cohen, and N. Vasilache, Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time". In: International Symposium on Code Generation and Optimization, pp.144-156, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01257281

H. William, . Press, A. Saul, . Teukolsky, T. William et al., Numerical recipes: The art of scientific computing, 2007.

, Profiling Programs on Linux with perf, 2019.

F. Quilleré, S. Rajopadhye, and D. Wilde, Generation of Efficient Nested Loops from Polyhedra, International Journal of Parallel Programming, vol.28, pp.469-498, 2000.

A. Rahimi, L. Benini, and R. K. Gupta, Spatial Memoization: Concurrent Instruction Reuse to Correct Timing Errors in SIMD Architectures, IEEE Transactions on Circuits and Systems II: Express Briefs, vol.60, pp.847-851, 2013.

M. Rinard, Probabilistic Accuracy Bounds for Fault-tolerant Computations That Discard Tasks, Proceedings of the 20th Annual International Conference on Supercomputing, pp.324-334, 2006.

O. Rioul and P. Duhamel, Fast algorithms for discrete and continuous wavelet transforms, IEEE Transactions on Information Theory, vol.38, pp.569-586, 1992.

C. Rubio-gonzález, C. Nguyen, H. D. Nguyen, J. Demmel, W. Kahan et al., Precimonious: Tuning Assistant for Floating-point Precision, Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, vol.27, p.12, 2013.

M. Samadi, D. A. Jamshidi, J. Lee, and S. Mahlke, Paraprox: Pattern-based Approximation for Data Parallel Applications, Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.35-50, 2014.

M. Samadi, J. Lee, D. Jamshidi, A. Hormati, and S. Mahlke, SAGE: Self-tuning Approximation for Graphics Engines, Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, pp.13-24, 2013.

A. Sampson, , 2019.

A. Sampson, A. Baixo, B. Ransford, T. Moreau, J. Yip et al., Accept: A programmer-guided compiler framework for practical approximate computing, pp.1-14, 2015.

A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze et al., EnerJ: Approximate Data Types for Safe and General Low-power Computation, Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.164-174, 2011.

A. Sampson, J. Nelson, K. Strauss, and L. Ceze, Approximate Storage in Solid-State Memories, ACM Transactions on Computer Systems, vol.32, issue.3, 2014.

K. Sato and Y. Yagasaki, Adaptive MC interpolation for memory access reduction in JVT video coding, Proceedings of the Seventh International Symposium on Signal Processing and Its Applications, vol.1, pp.77-80, 2003.

M. Schmitt, , 2019.

M. Schmitt, Lenient to Errors, Transformations, Irregularities and Turbulence Benchmarks (LetItBench), 2019.

M. Schmitt, C. Bastoul, and P. Helluy, A language extension set to generate adaptive versions automatically, Oil & Gas Science and Technology, vol.73, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01923631

M. Schmitt, P. Helluy, and C. Bastoul, Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications, IEEE 24th International Conference on High Performance Computing, pp.172-181, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01655459

M. Schmitt, P. Helluy, and C. Bastoul, Automatic Adaptive Approximation for Stencil Computations, Proceedings of the 28th International Conference on Compiler Construction, pp.170-181, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02072737

M. Schmitt, P. Helluy, and C. Bastoul, Think Unlimited and Compress Data Automatically, Conférence d'informatique en Parallélisme, Architecture et Système (COMPAS), pp.1-7, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02456534

M. Schmitt, C. Sabater, and C. Bastoul, Semi-Automatic Generation of Adaptive Codes, 7th International Workshop on Polyhedral Compilation Techniques, pp.1-7, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01655456

A. Schrijver, Theory of linear and integer programming, 1998.

B. Shao and P. Li, A model for array-based approximate arithmetic computing with application to multiplier and squarer design, 2014 IEEE/ACM International Symposium on Low Power Electronics and Design, pp.9-14, 2014.

S. Sidiroglou-douskos, S. Misailovic, H. Hoffmann, and M. Rinard, Managing performance vs. accuracy trade-offs with loop perforation, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, pp.124-134, 2011.

J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner et al., Eon: A Language and Runtime System for Perpetual Systems, Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, pp.161-174, 2007.

J. Stam, Stable Fluids, Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, pp.121-128, 1999.

J. Stam, Proceedings of the Game Developer Conference, p.25, 2003.

G. Strang, Introduction to linear algebra, 2016.

J. A. Stratton, Electromagnetic Theory. International Series In Pure and Applied Physics, 1941.

A. Suresh, E. Rohou, and A. Seznec, Compile-time Function Memoization, Proceedings of the 26th International Conference on Compiler Construction, pp.45-54, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01423811

A. Suresh, E. Bharath-narasimha-swamy, A. Rohou, and . Seznec, Intercepting Functions for Memoization: A Case Study Using Transcendental Functions, ACM Transactions on Architecture and Code Optimization, vol.12, issue.2, p.23, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01178085

A. Taflove, C. Susan, and . Hagness, Computational electrodynamics: the finitedifference time-domain method, 2005.

B. K. Joe-f-thompson, N. P. Soni, and . Weatherill, Handbook of grid generation, 1998.

L. Törnqvist, P. Vartia, and Y. O. Vartia, How Should Relative Changes be Measured?, In: The American Statistician, vol.39, pp.43-46, 1985.

A. Mathison and T. , On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937.

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, Third International Congress on Mathematical Software, pp.299-302, 2010.

S. Verdoolaege and T. Grosser, Polyhedral extraction tool, Second International Workshop on Polyhedral Compilation Techniques, pp.1-16, 2012.

S. Verdoolaege, R. Seghir, K. Beyls, V. Loechner, and M. Bruynooghe, Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica 48, vol.1, pp.37-66, 2007.

R. Wang, J. Li, and C. Huang, Motion compensation memory access optimization strategies for H.264/AVC decoder, Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, vol.5, pp.97-100, 2005.

J. Weckert, Computer Ethics. 1st ed. The International Library of Essays in Public and Professional Ethics, Chap. On the Impact of the Computer on Society, 2017.

I. Wegener, Complexity theory: exploring the limits of efficient algorithms, 2005.

M. E. Wolf and M. S. Lam, A Data Locality Optimizing Algorithm, Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp.30-44, 1991.

M. Wolfe, More iteration space tiling, Proceedings of the 1989 ACM/IEEE Conference on Supercomputing, pp.655-664, 1989.

Y. Yang, Tests de dépendances et transformations de programme, 1993.

A. Yazdanbakhsh, D. Mahajan, H. Esmaeilzadeh, and P. Lotfi-kamran, AxBench: A Multiplatform Benchmark Suite for Approximate Computing, IEEE Design Test, vol.34, issue.2, pp.60-68, 2017.

K. Yee, Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media, IEEE Transactions on Antennas and Propagation, vol.14, issue.3, pp.302-307, 1966.

T. Yeh, P. Faloutsos, M. Ercegovac, S. Patel, and G. Reinman, The Art of Deception: Adaptive Precision Reduction for Area Efficient Physics Acceleration, 40th Annual IEEE/ACM International Symposium on Microarchitecture, pp.394-406, 2007.