...部分正确性[gap=1195]rds: program verification; multi-core processor; spin lock; assembly level code; partial correctness...
基于137个网页-相关网页
partial correctness proof [计] 部分正确性证明
Partial Correctness & Termination 部分正确性和终止
partial correctness detail 部分正确性
program's partial correctness 程序的部分正确性
program s partial correctness 程序的部分正确性
partial correctness of programs 程序部分正确性
Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在该框架下，程序员可以对多核并行程序的部分正确性进行验证。
In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building "center function", "fluctuation zone" and "correctness factor".
在对复杂数据的处理过程中，“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标，提供了一种分类优劣的评价标准。
The partial coherence function is defined and its correctness has been verified. Then this result is extended to the linear system of multi-input and multi-output. Finally, its applications...
定义了偏凝聚函数，并验证其正确性，然后将结果推广到多输入多输出线性系统，最后简述其应用。
应用推荐