partial correctness

基本解釋

Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在該框架下，程序員可以對多核并行程序的部分正確性進行驗證。
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…
定義了偏凝聚函數，并驗證其正確性，然后將結果推廣到多輸入多輸出線性系統，最后簡述其應用。
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".
在對復雜數據的處理過程中，“部分重復性”理論通過建立“中心函數”、“浮動域”和“正確度”指標，提供了一種分類優(yōu)劣的評價標準。