Moving the Needle on Rigorous Floating-Point Precision Tuning
Moving the Needle on Rigorous Floating-Point Precision Tuning
复制标题
推动严格的浮点精度调整
DOI：
10.29007/f4f3
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Solovyev, Alexey
中科院分区：
文献类型：
--
作者：
Baranowski, Marek;Briggs, Ian;Chiang, Wei-Fan;Gopalakrishnan, Ganesh;Rakamaric, Zvonimir;Solovyev, Alexey
登录
查看更多内容
HOL Light 中的参数化浮点形式化
DOI：
--
发表时间：
2015
期刊：
Numerical Software Verification
影响因子：
--
作者：
Charles Jacobsen;A. Solovyev;G. Gopalakrishnan
通讯作者：
G. Gopalakrishnan
通过静态分析自动估计已验证的浮点舍入误差
DOI：
--
发表时间：
2017
期刊：
International Conference on Computer Safety, Reliability, and Security
影响因子：
--
作者：
Mariano M. Moscato;Laura Titolo;Aaron Dutle;C. Muñoz
通讯作者：
C. Muñoz
PROMISE：通过随机算术进行浮点精度调整
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
S. Graillat;F. Jézéquel;R. Picot;F. Févotte;B. Lathuilière
通讯作者：
B. Lathuilière
影响因子：
0.8
作者：
Brain, Martin;D'Silva, Vijay;Kroening, Daniel
通讯作者：
Kroening, Daniel
DOI：
10.1109/fccm.2001.46
发表时间：
2001
期刊：
The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01)
影响因子：
--
作者：
G. Constantinides;P. Cheung;W. Luk
通讯作者：
W. Luk