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
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
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
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
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
Selective Memoization, Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.14-25, 2003. ,
, Image Quality Metrics: PSNR vs. SSIM". In: 20th International Conference on Pattern Recognition, pp.2366-2369, 2010.
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. ,
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. ,
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.
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. ,
Loop transformations for restructuring compilers: the foundations, 2007. ,
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
Contributions to High-Level Program Optimization". Habilitation à diriger des recherches, 2012. ,
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
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
A block spin construction of ondelettes. Part I: Lemarié functions, Communications in Mathematical Physics, vol.110, pp.601-615, 1987. ,
, Tiny C Compiler (TCC), 2019.
Local adaptive mesh refinement for shock hydrodynamics, Journal of Computational Physics, vol.82, issue.89, pp.90035-90036, 1989. ,
Adaptive mesh refinement for hyperbolic partial differential equations, Journal of Computational Physics, vol.53, pp.90073-90074, 1984. ,
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. ,
Benchmarking Modern Multiprocessors (PARSEC), 2011. ,
Pattern recognition and machine learning, 2006. ,
, OpenMP Specification. Version 5.0, OpenMP Architecture Review Boards, 2018.
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. ,
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. ,
Best-effort Semantic Document Search on GPUs, Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units, pp.86-93, 2010. ,
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. ,
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. ,
On the exact values of coefficients of coiflets, Central European Journal of Mathematics, vol.6, pp.159-169, 2008. ,
Polyhedra Scanning Revisited, Proceedings of the 33rd ACM SIG-PLAN Conference on Programming Language Design and Implementation. Beijing, pp.499-508, 2012. ,
Lattice Boltzmann method for fluid flows, Annual Review of Fluid Mechanics, vol.30, pp.329-364, 1998. ,
Analysis and Characterization of Inherent Application Resilience for Approximate Computing, Proceedings of the 50th Annual Design Automation Conference, vol.113, p.9, 2013. ,
Scalable Effort Hardware Design: Exploiting Algorithmic Resilience for Energy Efficiency, Proceedings of the 47th Design Automation Conference, pp.555-560, 2010. ,
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
Journal of VLSI signal processing systems for signal, image and video technology 19, pp.179-194, 1998. ,
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.
Engineering a compiler, 2011. ,
Über die partiellen Differenzengleichungen der mathematischen Physik, Mathematische Annalen, vol.100, pp.32-74, 1928. ,
Introduction to calculus and analysis I, 2012. ,
, Regular polytopes. Dover Books on Mathematics, 1973.
OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998. ,
Orthonormal bases of compactly supported wavelets, Communications on pure and applied mathematics 41, vol.7, pp.909-996, 1988. ,
Ten Lectures on Wavelets, 1992. ,
Autotuning Algorithmic Choice for Input Sensitivity, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.379-390, 2015. ,
Fourier Series and Integrals. Probability and mathematical statistics, 1972. ,
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. ,
Neural Acceleration for General-Purpose Approximate Programs, Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, pp.449-460, 2012. ,
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. ,
Some efficient solutions to the affine scheduling problem. I. Onedimensional time, International Journal of Parallel Programming, vol.21, pp.313-347, 1992. ,
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. ,
The Feynman lectures on physics: mainly mechanics, radiation, and heat, vol.1, 2011. ,
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. ,
Transport processes and unit operations. Allyn and Bacon, 1978. ,
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. ,
, Matrix Computations, pp.0-8018, 1996.
Exploiting regularities in large cellular spaces, Physica D: Nonlinear Phenomena, vol.10, pp.90251-90254, 1984. ,
POLLY -Performing Polyhedral Optimizations on a Low-Level Intermediate Representation, Parallel Processing Letters, vol.22, pp.1-28, 2012. ,
Decomposition of Hardy functions into square integrable wavelets of constant shape, SIAM journal on mathematical analysis, vol.15, pp.723-736, 1984. ,
Reevaluating Amdahl's Law, Commununication of the ACM 31, vol.5, pp.532-533, 1988. ,
Beating Floating Point at its Own Game: Posit Arithmetic, Supercomputing Frontiers and Innovations, vol.4, pp.2313-8734, 2017. ,
, Zur Theorie der orthogonalen Funktionensysteme". German. In: Mathematische Annalen, vol.69, pp.331-371, 1910.
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. ,
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
Cubic splines for image interpolation and digital filtering, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.26, issue.6, pp.508-517, 1978. ,
Adaptive moving mesh methods, vol.174, 2010. ,
Trends in big data analytics, Journal of Parallel and Distributed Computing, vol.74, pp.2561-2573, 2014. ,
On hardware for computing exponential and trigonometric functions, IEEE Transactions on Computers, vol.45, issue.3, pp.328-339, 1996. ,
The Omega Calculator and Library. User Manual. Version 1.1.0, 1996. ,
A framework for unifying reordering transformations, vol.24, 1998. ,
Sculptor: Flexible Approximation with Selective Dynamic Loop Perforation, Proceedings of the 2018 International Conference on Supercomputing, pp.341-351, 2018. ,
A wavelet tour of signal processing. The Sparse Way, 2009. ,
A theory for multiresolution signal decomposition: the wavelet representation, IEEE Transactions on Pattern Analysis & Machine Intelligence, vol.7, pp.674-693, 1989. ,
Exploiting wavefront parallelism on large-scale shared-memory multiprocessors, IEEE Transactions on Parallel and Distributed Systems, vol.12, issue.3, pp.259-271, 2001. ,
Best-effort parallel execution framework for Recognition and mining applications, IEEE International Symposium on Parallel Distributed Processing, pp.1-12, 2009. ,
Principe d'incertitude, bases hilbertiennes et algèbres d'opérateurs". French, Séminaire Bourbaki, vol.28, pp.209-223, 1986. ,
Memo" Functions and Machine Learning, Nature, vol.218, pp.19-22, 1968. ,
Load Value Approximation, Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture. Cambridge, United Kingdom, pp.127-139, 2014. ,
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. ,
Probabilistically Accurate Program Transformations, Static Analysis, pp.316-333, 2011. ,
A Survey of Techniques for Approximate Computing, ACM Computing Surveys, vol.48, pp.1-33, 2016. ,
Lecture Notes in Computational Science and Engineering, vol.27, 2012. ,
, OpenACC Specification. Version 2.7. Nov, 2018.
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
, 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
Numerical recipes: The art of scientific computing, 2007. ,
, Profiling Programs on Linux with perf, 2019.
Generation of Efficient Nested Loops from Polyhedra, International Journal of Parallel Programming, vol.28, pp.469-498, 2000. ,
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. ,
Probabilistic Accuracy Bounds for Fault-tolerant Computations That Discard Tasks, Proceedings of the 20th Annual International Conference on Supercomputing, pp.324-334, 2006. ,
Fast algorithms for discrete and continuous wavelet transforms, IEEE Transactions on Information Theory, vol.38, pp.569-586, 1992. ,
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. ,
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. ,
SAGE: Self-tuning Approximation for Graphics Engines, Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, pp.13-24, 2013. ,
, , 2019.
Accept: A programmer-guided compiler framework for practical approximate computing, pp.1-14, 2015. ,
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. ,
Approximate Storage in Solid-State Memories, ACM Transactions on Computer Systems, vol.32, issue.3, 2014. ,
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. ,
, , 2019.
Lenient to Errors, Transformations, Irregularities and Turbulence Benchmarks (LetItBench), 2019. ,
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
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
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
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
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
Theory of linear and integer programming, 1998. ,
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. ,
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. ,
Eon: A Language and Runtime System for Perpetual Systems, Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, pp.161-174, 2007. ,
Stable Fluids, Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, pp.121-128, 1999. ,
, Proceedings of the Game Developer Conference, p.25, 2003.
Introduction to linear algebra, 2016. ,
, Electromagnetic Theory. International Series In Pure and Applied Physics, 1941.
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
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
Computational electrodynamics: the finitedifference time-domain method, 2005. ,
Handbook of grid generation, 1998. ,
How Should Relative Changes be Measured?, In: The American Statistician, vol.39, pp.43-46, 1985. ,
On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937. ,
isl: An Integer Set Library for the Polyhedral Model, Third International Congress on Mathematical Software, pp.299-302, 2010. ,
Polyhedral extraction tool, Second International Workshop on Polyhedral Compilation Techniques, pp.1-16, 2012. ,
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica 48, vol.1, pp.37-66, 2007. ,
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. ,
Computer Ethics. 1st ed. The International Library of Essays in Public and Professional Ethics, Chap. On the Impact of the Computer on Society, 2017. ,
Complexity theory: exploring the limits of efficient algorithms, 2005. ,
A Data Locality Optimizing Algorithm, Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp.30-44, 1991. ,
More iteration space tiling, Proceedings of the 1989 ACM/IEEE Conference on Supercomputing, pp.655-664, 1989. ,
Tests de dépendances et transformations de programme, 1993. ,
AxBench: A Multiplatform Benchmark Suite for Approximate Computing, IEEE Design Test, vol.34, issue.2, pp.60-68, 2017. ,
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. ,
The Art of Deception: Adaptive Precision Reduction for Area Efficient Physics Acceleration, 40th Annual IEEE/ACM International Symposium on Microarchitecture, pp.394-406, 2007. ,