搜索结果: 1-4 共查到“工学 Equivalence”相关记录4条 . 查询时间(0.031 秒)
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...
Evaluating Equivalence of the Safe Performance Index (SPI) to a Traditional Risk Analysis
Risk Analysis Risk Index Mine Safety Performance Index Safety Violation Safety-Related Risk
2013/1/28
Following up on a recommendation by the Mine Safety Technology and Training Commission relative to the modification of the Australian risk assessment approach for application to U.S. mines, the author...
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...