搜索结果: 1-1 共查到“算法理论 Floating-point”相关记录1条 . 查询时间(0.125 秒)
Verifying Bit-Manipulations of Floating-Point
Verification Floating-point Bit-manipulation Bit-level operation ULP error Absolute error
2016/5/24
Reasoning about floating-point is difficult and becomes only more so if there is an interplay between floating-point and bit-level operations. Even though real-world floating-point libraries use imple...