机译:ACCULOCK:准确有效地检测数据竞争
Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia 2052 School of Computer Science, National University of Defense Technology, Changsha, Hunan 410073, China;
Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia 2052;
College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China;
data races; happens before; lockset; dynamic analysis;
机译:EADetection:针对数据流的高效,准确的顺序行为异常检测方法:
机译:TxRace:使用商品硬件事务存储进行有效的数据竞争检测
机译:TxRace:使用商品硬件事务存储进行有效的数据竞争检测
机译:Acculock:准确高效地检测数据竞争
机译:致力于在高维和大数据集中进行精确有效的离群值检测。
机译:从RNA测序数据准确有效地检测基因融合
机译:图像中准确有效的曲线检测:重要性采样霍夫变换