Scalable yet Rigorous Floating-Point Error Analysis
Scalable yet Rigorous Floating-Point Error Analysis
复制标题
可扩展且严格的浮点误差分析
DOI：
10.1109/sc41405.2020.00055
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Panchekha, Pavel
中科院分区：
文献类型：
--
作者：
Das, Arnab;Briggs, Ian;Gopalakrishnan, Ganesh;Krishnamoorthy, Sriram;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.1007/978-3-540-68942-3
发表时间：
2008-07
期刊：
--
影响因子：
--
作者：
C. Bischof;H. M. Bücker;P. Hovland;U. Naumann;J. Utke
通讯作者：
C. Bischof;H. M. Bücker;P. Hovland;U. Naumann;J. Utke
洛伦兹系统的差分方程
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Wanqing Song;Jian
通讯作者：
Jian
影响因子：
2
作者：
R. Brent;Colin Percival;P. Zimmermann
通讯作者：
P. Zimmermann
FLUCTUAT 在安全关键型航空电子软件上的工业应用
DOI：
--
发表时间：
2009
期刊：
International Workshop on Formal Methods for Industrial Critical Systems
影响因子：
--
作者：
David Delmas;É. Goubault;S. Putot;J. Souyris;Karim Tekkal;Franck Védrine
通讯作者：
Franck Védrine