您要查找的是不是：
- This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages. 提出一种无界模型检验的前像计算方法;该方法有效地结合ATPG和SAT引擎;充分利用引擎各自的优点.
- Preimage Computation in Gate_level Circuit Based on the BDD Heuristic 基于BDD启发策略的门级电路前像计算方法
- preimage computation 前像计算
- Addition and division are forms of computation. 加法和除法都是计算方法。
- It will cost 5000 at the lowest computation. 估计最少也值5000英镑。
- A quick computation revealed that we would not make a profit. 粗略计算后可以看出我们无利可图。
- Some computers can perform over a billion computation a second. 有些计算机一秒钟能完成超过十亿次运算。
- He shall have do the computation more carefully. 他本该细心一点做这些算题的。
- It is not entirely suited to automatic computation. 它不完全适合自动化计算。
- Their output of data does not slow computation. 它的数据输出不会延缓计算。
- A computer program that effects some final computation or organization. 实现某些最终计算或组织工作的一种计算机程序。
- He shall have done the computation more carefully. 他本该细心一点做这些算题的
- There are some mistakes in his computation . 他的计数中有许多差错。
- Computation with Arabic figures. 用阿拉伯数字来计算
- Journal of Chemical Theory and Computation. 化学理论与计算杂志。
- This abstract method performs the hash computation. 此抽象方法执行哈希计算。
- Is what we call a five-star computation! 就是我们称之为五星计算的东西!
- In this paper, we propose a new method to calculate the preimage based on a BDD heuristic. 本文提出了一种新的基于二叉判定图 (BDD)启发策略的门级电路前像计算方法。
- BFC is adapted to dispose the computation domain. 在计算中 ,采用贴体坐标的办法处理整个流动区域。
- Thus enumeration and computation became unwieldy. 因此列举和计算变得很难处理。
