Fast And Automatic Floating Point Error Analysis With CHEF-FP
Fast And Automatic Floating Point Error Analysis With CHEF-FP
复制标题
使用 CHEF-FP 进行快速自动浮点误差分析
DOI：
10.1109/ipdps54959.2023.00105
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Vassilev, Vassil
中科院分区：
文献类型：
--
作者：
Singh, Garima;Kundu, Baidyanath;Menon, Harshitha;Penev, Alexander;Lange, David J.;Vassilev, Vassil
登录
查看更多内容
算法微分反向模式下原始值编带的表达式模板
影响因子：
2.2
作者：
M. Sagebaum;Tim Albring;N. Gauger
通讯作者：
N. Gauger
可扩展且严格的浮点误差分析
DOI：
10.1109/sc41405.2020.00055
发表时间：
2020
期刊：
Storage and Analysis
影响因子：
--
作者：
Das, Arnab;Briggs, Ian;Gopalakrishnan, Ganesh;Krishnamoorthy, Sriram;Panchekha, Pavel
通讯作者：
Panchekha, Pavel
浮点程序舍入误差分析的抽象解释框架
DOI：
--
发表时间：
2018
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
作者：
Laura Titolo;Marco A. Feliú;Mariano M. Moscato;C. Muñoz
通讯作者：
C. Muñoz
DOI：
10.1177/1094342016652462
发表时间：
2018
期刊：
The International Journal of High Performance Computing Applications
影响因子：
--
作者：
Michael O. Lam;J. Hollingsworth
通讯作者：
J. Hollingsworth
DOI：
10.1109/correctness49594.2019.00009
发表时间：
2019
期刊：
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)
影响因子：
--
作者：
Michael O. Lam;T. Vanderbruggen;Harshitha Menon;M. Schordan
通讯作者：
M. Schordan