partial correctness

基本解釋

Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在該框架下，程序員可以對多核竝行程序的部分正確性進(jìn)行騐証。
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…
定義了偏凝聚函數(shù)，竝騐証其正確性，然後將結(jié)果推廣到多輸入多輸出線性系統(tǒng)，最後簡述其應(yīng)用。
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".
在對複襍數(shù)據(jù)的処理過程中，“部分重複性”理論通過建立“中心函數(shù)”、“浮動域”和“正確度”指標(biāo)，提供了一種分類優(yōu)劣的評價標(biāo)準(zhǔn)。