Linear Time Memory Consistency Verification

[摘要]：Verifying the execution of a parallel program against a given memory consistency model (memory consistency verification) is a crucial problem in the functional validation of Chip Multiprocessor (CMP). In the absence of additional information, the above pr

[全文传递流程]：

一般上传文献全文的时限在1个工作日内