搜索结果: 1-3 共查到“计算机科学技术 Equivalence”相关记录3条 . 查询时间(0.125 秒)
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...
The isomorphism problem for groups given by their multiplication tables has long been known to be solvable in time nlog n+O(1). The decades-old quest for a
polynomial-time algorithm has focused on th...
A Progressive Quality Hiding Strategy Based on Equivalence Partitions of Hiding Units
Data hiding Equivalence class partition Hiding strategy Progressive Quality hiding
2013/7/24
Many sophisticated schemes are springing up recently with better characteristics, such as higher capacity and better security. However, if we tune the size of the secret message progressively, most me...