data dependency造句
例句与造句
- This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies , and defines the notions in the iterative relaxation method formally . the program theories about the iterative relaxation method and its improvement are investigated , whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices , and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement
本文给出一种模型语言；给出一个比较完整的形式化描述，该描述可用于证明与静态、动态数据依赖关系有关的程序性质；给出迭代松弛法中各概念的形式化定义；深入研究迭代松弛法及其改进后的方法的程序理论，其结果包括：将neelamgupta等人提出的谓词片推广为路径静态切片，证明路径静态切片构造算法的正确性，证明改进后的方法与原方法所生成的线性约束系统相同。 - In the general model there are many factors effecting the algorithm of task matching and scheduling , such as data dependencies among tasks , processor ' s processing speed , topology of network connectivity , communication protocol and bandwidth , volume of transferring data , etc . in each model , we proposed two genetic algorithms for task matching and scheduling , one is for single decomposed task , the other as a cga is for multiple independent tasks
一般模型中任务分配与调度受到系统多种因素的影响，如任务间的数据逻辑关系、各处理机的计算速度、网络拓扑结构、节点间通信机制以及通信波特率、数据流量大小等等。在考虑上述影响因素的基础上，分别提出单任务分配与调度的遗传算法和独立多任务分配与调度的共同进化算法。 - By means of analyzing the static and dynamic data dependencies between the statements on [ v , and constructing predicate slices and input dependency sets , this method linearizes the predicate functions with linear arithmetic representations . therefore it can only be used to generate test data for white - - box testing
该方法通过分析w上各语句之间的静态、动态数据依赖关系，构造谓词片和输入依赖集，用线性算术表示对谓词函数进行线性化，仅能够用于白盒测试数据的自动生成。 - It's difficult to find data dependency in a sentence. 用data dependency造句挺难的
更多例句： 上一页