搜索结果: 1-2 共查到“Superoptimization”相关记录2条 . 查询时间(0.107 秒)
Stochastic Superoptimization
64-bit x86 x86-64 Binary Markov Chain Monte Carlo MCMC Stochastic Search Superoptimization SMT
2016/5/24
We formulate the loop-free binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are encoded as terms in a c...
Conditionally Correct Superoptimization
Binary Analysis Compilers Markov Chain Monte Carlo
2016/5/24
The aggressive optimization of heavily used kernels is an important problem in high-performance computing. However,both general purpose compilers and highly specialized tools such as superoptimizers o...