【partial_correctness】什么意思_英语partial_correctness的翻译_音标_读音_用法_例句_在线翻译

partial correctness

[计] 部分正确性

...部分正确性[gap=1195]rds: program verification; multi-core processor; spin lock; assembly level code; partial correctness...

基于137个网页-相关网页

短语

partial correctness proof [计] 部分正确性证明

更多收起网络短语

计算机科学技术 | 电子、通信与自动控制技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

Programmers can verify the partial correctness of multi-core parallel programs in our framework.

在该框架下，程序员可以对多核并行程序的部分正确性进行验证。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句