搜索结果: 1-1 共查到“计算机软件 Equivalence”相关记录1条 . 查询时间(0.109 秒)
Data-Driven Equivalence Checking
Binary Analysis Compilers Markov Chain Monte Carlo Optimization Superoptimization
2016/5/24
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, o...