Author:
Bayati Mahsa,Leeser Miriam,Gu Yijia,Wahl Thomas
Funder
National Science Foundation
Subject
Applied Mathematics,Modeling and Simulation,Numerical Analysis,General Computer Science,Theoretical Computer Science
Reference16 articles.
1. On-the-fly detection of instability problems in floating-point program execution;Bao,2013
2. Automatic detection of floating-point exceptions;Barr,2013
3. M. Bayati, M. Leeser, Y. Gu, T. Wahl, Identifying volatile numeric expressions in OpenCL applications, http://www.coe.neu.edu/Research/rcl/projects/FPReproducibility/matcom.html, 2018.
4. A formally-verified C compiler supporting floating-point arithmetic;Boldo,2013
5. Hardware-independent proofs of numerical programs;Boldo,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献