FLiT: Cross-platform floating-point result-consistency tester and workload
暂无分享,去创建一个
[1] Philip Saponaro,et al. Improving numerical reproducibility and stability in large-scale numerical simulations on GPUs , 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).
[2] Qingyu Meng,et al. Preliminary experiences with the uintah framework on Intel Xeon Phi and stampede , 2013, XSEDE.
[3] John M. Dennis,et al. KGEN: A Python Tool for Automated Fortran Kernel Generation and Verification , 2016, ICCS.
[4] Devon Yablonski. Numerical accuracy differences in CPU and GPGPU codes , 2011 .
[5] Miriam Leeser,et al. Make it real: Effective floating-point reasoning via exact arithmetic , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[6] Dorit Hammerling,et al. Towards Characterizing the Variability of Statistically Consistent Community Earth System Model Simulations , 2016, ICCS.
[7] Sheri Mickelson,et al. A new ensemble-based consistency test for the Community Earth System Model (pyCECT v1.0) , 2015 .
[8] Joseph D. Darcy,et al. How Java’s Floating-Point Hurts Everyone Everywhere , 2004 .
[9] J. Borwein,et al. High-Precision Arithmetic : Progress and Challenges , 2013 .
[10] Jonathan Richard Shewchuk,et al. Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates , 1997, Discret. Comput. Geom..
[11] Donald E. Knuth,et al. The art of computer programming. Vol.2: Seminumerical algorithms , 1981 .
[12] Dr. Martyn J. Corden,et al. Consistency of Floating-Point Results using the Intel ® Compiler or Why doesn ’ t my application always give the same answer ? , 2010 .
[13] T. J. Dekker,et al. A floating-point technique for extending the available precision , 1971 .
[14] Sylvie Boldo. Deductive Formal Verification: How To Make Your Floating-Point Programs Behave , 2014 .
[15] A Thesis Presented,et al. Numerical Accuracy Differences , 2011 .
[16] Alex Fit-Florea,et al. Precision and Performance: Floating Point and IEEE 754 Compliance for NVIDIA GPUs , 2011 .
[17] Douglas W. Nychka,et al. A new ensemble-based consistency test for the Community Earth System Model , 2015 .