partial correctness

基本解釋

Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在該框架下，程序員可以對(duì)多核并行程序的部分正確性進(jìn)行驗(yà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ù)，并驗(yàn)證其正確性，然后將結(jié)果推廣到多輸入多輸出線性系統(tǒng)，最后簡(jiǎn)述其應(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".
在對(duì)復(fù)雜數(shù)據(jù)的處理過程中，“部分重復(fù)性”理論通過建立“中心函數(shù)”、“浮動(dòng)域”和“正確度”指標(biāo)，提供了一種分類優(yōu)劣的評(píng)價(jià)標(biāo)準(zhǔn)。