Programmers can verify the partialcorrectness of multi-core parallel programs in our framework.
在该框架下,程序员可以对多核并行程序的部分正确性进行验证。
2
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...