基于依赖分析的并行化验证策略

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于依赖分析的并行化验证策略

陶荣, 何锫, 黄道昌

Parallel Verification Strategy Based on Dependence Analysis

DAO Rong, HE Fu, HUANG Dao-Chang

计算机工程 . 2010, (12): 64 -65 . DOI: 10.3969/j.issn.1000-3428.2010.12.022