Precimonious: Tuning assistant for floating-point precision
暂无分享,去创建一个
James Demmel | William Kahan | Koushik Sen | David H. Bailey | Hong Diep Nguyen | Costin Iancu | Cuong Nguyen | David G. Hough | Cindy Rubio-González | David Hough | J. Demmel | D. Bailey | W. Kahan | Koushik Sen | Costin Iancu | Cindy Rubio-González | Cuong Nguyen
[1] David H. Bailey. Resolving Numerical Anomalies in Scientific Computation , 2008 .
[2] Matteo Frigo,et al. A fast Fourier transform compiler , 1999, SIGP.
[3] Zhendong Su,et al. Automatic detection of floating-point exceptions , 2013, POPL.
[4] David H. Bailey,et al. The NAS Parallel Benchmarks 2.0 , 2015 .
[5] Bronis R. de Supinski,et al. Abstract: Automatically Adapting Programs for Mixed-Precision Floating-Point Computation , 2013, 2012 SC Companion: High Performance Computing, Networking Storage and Analysis.
[6] Florent de Dinechin,et al. Certifying the Floating-Point Implementation of an Elementary Function Using Gappa , 2011, IEEE Transactions on Computers.
[7] Vikram S. Adve,et al. LLVM: a compilation framework for lifelong program analysis & transformation , 2004, International Symposium on Code Generation and Optimization, 2004. CGO 2004..
[8] Andreas Zeller,et al. Simplifying and Isolating Failure-Inducing Input , 2002, IEEE Trans. Software Eng..
[9] Viktor Kuncak,et al. Trustworthy numerical computation in Scala , 2011, OOPSLA '11.
[10] Jack J. Dongarra,et al. Automatically Tuned Linear Algebra Software , 1998, Proceedings of the IEEE/ACM SC98 Conference.
[11] Xiaoye S. Li,et al. Algorithms for quad-double precision floating point arithmetic , 2000, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001.
[12] James Demmel,et al. Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology , 1997, ICS '97.
[13] Jack J. Dongarra,et al. Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy , 2008, TOMS.
[14] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[15] James Demmel,et al. Design, implementation and testing of extended and mixed precision BLAS , 2000, TOMS.
[16] Eric Goubault,et al. Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software , 2009, FMICS.
[17] David H. Bailey,et al. The Nas Parallel Benchmarks , 1991, Int. J. High Perform. Comput. Appl..
[18] G. W. Stewart,et al. Dynamic floating-point cancellation detection , 2013, Parallel Comput..
[19] James Demmel,et al. IEEE Standard for Floating-Point Arithmetic , 2008 .
[20] Katherine Yelick,et al. OSKI: A library of automatically tuned sparse matrix kernels , 2005 .
[21] Franz Franchetti,et al. SPIRAL: Code Generation for DSP Transforms , 2005, Proceedings of the IEEE.
[22] Nicholas J. Higham,et al. INVERSE PROBLEMS NEWSLETTER , 1991 .
[23] Sebastian Hack,et al. A dynamic program analysis to find floating-point accuracy problems , 2012, PLDI.
[24] R. C. Whaley,et al. Automatically Tuned Linear Algebra Software (ATLAS) , 2011, Encyclopedia of Parallel Computing.
[25] Julien Langou,et al. Accelerating scientific computations with mixed precision algorithms , 2008, Comput. Phys. Commun..
[26] Michael O. Lam,et al. FPInst : Floating Point Error Analysis Using Dyninst , 2008 .