搜索结果: 1-3 共查到“计算机科学技术 Data-driven”相关记录3条 . 查询时间(0.111 秒)
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
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...
AbstractText-To-Visual speech (TTVS) synthesis by computer can increase the speech intelligibility and make the human-computer interaction interfaces more friendly. This paper describes a Chinese text...