个性化文献订阅>文章检索
  文章名  
  作者  
  期刊名  
  摘要  
   
   
   
  如果没有找到您所需要的文献,请点击 ——此处申请  
  共14条记录  
  • Linear Time Memory Consistency Verification
    [作者:Hu, WW; Chen, YJ; Chen, TS; Qian, C; Li, L,期刊:IEEE Transactions on Computers, 页码:502-516 , 文章类型: Article,,卷期:2012年61-4]
  • 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 a...