X10并行程序中静态数据竞争检测

检索

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

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

X10并行程序中静态数据竞争检测

王旭, 陈雨亭

Static Data Race Detection for X10 Parallel Programs

WANG Xu, CHEN Yu-Ting

计算机工程 . 2012, (15): 35 -38,42 . DOI: 10.3969/j.issn.1000-3428.2012.15.010