...部分正确性[gap=1195]rds: program verification; multi-core processor; spin lock; assembly level code; partial correctness...
基于130个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
在该框架下,程序员可以对多核并行程序的部分正确性进行验证。
Programmers can verify the partial correctness of multi-core parallel programs in our framework.
ConcurrentHashMap实现,加上ut il . concurrent包的其他部分,已经被研究正确性和线程安全性的并发专家所正视。
The ConcurrentHashMap implementation, along with the rest of util.concurrent, has been extensively peer-reviewed by concurrency experts for correctness and thread safety.
承包商应负责工程的设计,并在除下列雇主应负责的部分外,对雇主要求(包括设计标准和计算)的正确性负责。
The Contractor shall be responsible for the design of the Works and for the accuracy of such Employers Requirements (including design criteria and calculations), except as stated below.
应用推荐