搜索结果: 1-1 共查到“计算机软件 Floating-Point”相关记录1条 . 查询时间(0.091 秒)
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...