门海康
人员信息
优化列表
2010 – 2019
2011 [c5] 李炳奎 , 门海康 , Kyoung Choon公园 , 金世毅 , 桑宇扬(Sang Woo Yang) , 永记军 :
用于检测并发中断处理程序中的数据竞争的程序转换。 FGIT-ASEA/DRBC/EL公司 2011 : 407-415 【c4】 门海康 , 永记军 :
在具有嵌套并行性的程序中发生的第一个Tangled Race的有效验证。 FGIT-ASEA/DRBC/EL公司 2011 : 451-460