- 博客(1)
- 收藏
- 关注
原创 浮点精度异常检测技术
1、 Automatic detection of floating-point exceptions作者:Earl T. Barr Thanh Vo Vu Le Zhendong Su单位:Department of Computer Science, University of California at Davis出版:POPL’13研究方向:浮点异常检测主要技术点:符号执行摘要...
2020-02-28 14:54:42
594
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人