- Simulation-Based Verification of Floating-Point Division
[作者:Guralnik, E; Aharoni, M; Birnbaum, AJ; Koyfman, A,期刊:IEEE Transactions on Computers, 页码:176-188 , 文章类型: Article,,卷期:2011年60-2]
- Floating-point division is known to exhibit an exceptionally wide array of corner cases, making its verification a difficult challenge. Despite the remarkable advances in formal methods, the intricacies of this operation...
- Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic
[作者:Jeannerod, CP; Louvet, N; Muller, JM; Panhaleux, A,期刊:IEEE Transactions on Computers, 页码:228-241 , 文章类型: Article,,卷期:2011年60-2]
- When implementing a function f in floating-point arithmetic, if we wish correct rounding and good performance, it is important to know if there are input floating-point values x such that f(x) is either the middle of two...
|