PetaBricks: A Language and Compiler for Algorithmic Choice, Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09), 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. ,
DOI : 10.1109/cgo.2011.5764677
URL : http://www.cag.lcs.mit.edu/commit/papers/2011/ansel-cgo11-pbaccuracy.pdf
Green: A Framework for Supporting Energy-conscious Programming Using Controlled Approximation, Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '10), pp.198-209, 2010. ,
Putting Polyhedral Loop Transformations to Work, International Workshop on Languages and Compilers for Parallel Computing, pp.209-225, 2003. ,
DOI : 10.1007/978-3-540-24644-2_14
URL : https://hal.archives-ouvertes.fr/inria-00071681
Local adaptive mesh refinement for shock hydrodynamics, Journal of computational Physics, vol.82, pp.64-84, 1989. ,
Adaptive Mesh Refinement using WavePropagation Algorithms for Hyperbolic Systems, SIAM J. Numer. Anal, vol.35, pp.2298-2316, 1998. ,
DOI : 10.1137/s0036142997315974
Adaptive mesh refinement for hyperbolic partial differential equations, J. Comput. Phys, vol.53, pp.484-512, 1984. ,
Sparse grids, Acta numerica, vol.13, pp.147-269, 2004. ,
DOI : 10.1017/cbo9780511569975.003
HELIX-UP: Relaxing Program Semantics to Unleash Parallelization, IEEE/ACM CGO, pp.235-245, 2015. ,
DOI : 10.1109/cgo.2015.7054203
Analysis and characterization of inherent application resilience for approximate computing, Proceedings of the 50th Annual Design Automation Conference, p.113, 2013. ,
Scalable Effort Hardware Design: Exploiting Algorithmic Resilience for Energy Efficiency, Proceedings of the 47th Design Automation Conference (DAC '10), pp.555-560, 2010. ,
Introduction to calculus and analysis I, 2012. ,
Autotuning algorithmic choice for input sensitivity, In ACM SIGPLAN Notices, vol.50, pp.379-390, 2015. ,
DOI : 10.1145/2813885.2737969
URL : http://dl.acm.org/ft_gateway.cfm?id=2737969&type=pdf
Architecture Support for Disciplined Approximate Programming, Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVII), pp.301-312, 2012. ,
Neural Acceleration for General-Purpose Approximate Programs, Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-45), pp.449-460, 2012. ,
SoftPCM: Enhancing Energy Efficiency and Lifetime of Phase Change Memory in Video Applications via Approximate Write, IEEE 21st Asian Test Symposium, pp.131-136, 2012. ,
DOI : 10.1109/ats.2012.57
Transport processes and unit operations, 1978. ,
Exploiting regularities in large cellular spaces, Physica D: Nonlinear Phenomena, vol.10, pp.75-80, 1984. ,
DOI : 10.1016/0167-2789(84)90251-3
Reevaluating Amdahl's Law, Commun. ACM, vol.31, pp.532-533, 1988. ,
DOI : 10.1145/42411.42415
URL : http://polaris.cs.uiuc.edu/~padua/cs420/2005/p532-gustafson.pdf
Adaptive moving mesh methods, vol.174, 2010. ,
DOI : 10.1007/978-1-4419-7916-2
Sculptor: Flexible Approximation with Selective Dynamic Loop Perforation, Proceedings of the 2018 International Conference on Supercomputing (ICS '18), pp.341-351, 2018. ,
PARAMESH: A parallel adaptive mesh refinement community toolkit, Computer Physics Communications, vol.126, pp.330-354, 2000. ,
Clawpack: building an open source ecosystem for solving hyperbolic PDEs, PeerJ Computer Science, vol.2, p.68, 2016. ,
Best-effort parallel execution framework for recognition and mining applications, IPDPS'09, pp.1-12, 2009. ,
Memo" functions and machine learning, Nature, vol.218, p.19, 1968. ,
Load Value Approximation, Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-47), 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 (OOPSLA '14), 2014. ,
, , pp.309-328
HAMR: The Hierarchical Adaptive Mesh Refinement System, Structured Adaptive Mesh Refinement (SAMR) Grid Methods, 2000. ,
,
MEEP: A flexible free-software package for electromagnetic simulations by the FDTD method, Computer Physics Communications, vol.181, pp.687-702, 2010. ,
Systems Engineering for High Performance Computing Software: The HDDA/DAGH Infrastructure for Implementation of Parallel Structured Adaptive Mesh, Structured Adaptive Mesh Refinement (SAMR) Grid Methods, pp.1-18, 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 (ICS '06), pp.324-334, 2006. ,
ASAC: Automatic Sensitivity Analysis for Approximate Computing, Proceedings of the 2014 SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '14), pp.95-104, 2014. ,
Precimonious: Tuning assistant for floating-point precision, SC '13: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, pp.1-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 (ASPLOS '14), pp.35-50, 2014. ,
SAGE: Self-tuning Approximation for Graphics Engines, IEEE/ACM Intl. Symp. on Microarchitecture, pp.13-24, 2013. ,
Accept: A programmer-guided compiler framework for practical approximate computing, 2015. ,
Approximate Storage in Solid-State Memories, ACM Trans. Comput. Syst, vol.32, issue.9, p.23, 2014. ,
Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications, 2017 IEEE 24th International Conference on High Performance Computing (HiPC), pp.172-181, 2017. ,
DOI : 10.1109/hipc.2017.00028
URL : https://hal.archives-ouvertes.fr/hal-01655459
Semi-Automatic Generation of Adaptive Codes, IMPACT 2017 -7th International Workshop on Polyhedral Compilation Techniques, pp.1-7, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01655456
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. ,
Real-Time Fluid Dynamics for Games, Proceedings of the Game Developer Conference, vol.25, 2003. ,
How Should Relative Changes Be Measured?, The American Statistician, vol.39, pp.43-46, 1985. ,