搜索结果: 1-1 共查到“数据结构 Superoptimization”相关记录1条 . 查询时间(0.046 秒)
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...