搜索结果: 1-1 共查到“计算机科学技术基础学科 Floating-Point”相关记录1条 . 查询时间(0.06 秒)
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...