搜索结果: 1-4 共查到“Floating-point”相关记录4条 . 查询时间(0.046 秒)
Stochastic Optimization of Floating Point Programs with Tunable Precision
64-bit x86 x86-64, Binary Markov Chain Monte Carlo MCMC Stochastic Search SMT Floating-Point Precision
2016/5/24
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately,floating-point instruction sets have complicated semantics that often fo...
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...
复旦大学软件学院计算机系统课件 Floating Point。
复旦大学软件学院计算机系统课件 Floating Point
复旦大学软件学院 计算机系统 课件 Floating Point
2012/12/18
复旦大学软件学院计算机系统课件 Floating Point。