An Efficient and Accurate Mixed Dynamic Data Race Detection Method

被引：0
|
作者：
Sun, Jiaze [1 ]
Yang, Yanman [1 ]
Shu, Xinfeng [1 ]
机构：
[1] Xi'an University of PostsandTelecommunications, China
来源：
ACM International Conference Proceeding Series | 2021年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Cost reduction - Locks (fasteners)
引用
收藏
页码：531 / 535
相关论文
共 50 条
  • [21] Efficient data race detection for async-finish parallelism
    Raghavan Raman
    Jisheng Zhao
    Vivek Sarkar
    Martin Vechev
    Eran Yahav
    [J]. Formal Methods in System Design, 2012, 41 : 321 - 347
  • [22] Efficient data race detection for async-finish parallelism
    Rice University, United States
    不详
    [J]. Lect. Notes Comput. Sci., (368-383):
  • [23] Efficient Data Race Detection for Async-Finish Parallelism
    Raman, Raghavan
    Zhao, Jisheng
    Sarkar, Vivek
    Vechev, Martin
    Yahav, Eran
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 368 - +
  • [24] A practical method for on-the-fly data race detection
    Ryu, EK
    Ha, KS
    Yoo, KY
    [J]. APPLIED PARALLEL COMPUTING: ADVANCED SCIENTIFIC COMPUTING, 2002, 2367 : 264 - 273
  • [25] A practical method for on-the-fly data race detection
    Ryu, EK
    Ha, KS
    Yoo, KY
    [J]. APPLIED PARALLEL COMPUTING: ADVANCED SCIENTIFIC COMPUTING, 2002, 2367 : 264 - 273
  • [26] Experimental Performance Comparison of Dynamic Data Race Detection Techniques
    Yu, Misun
    Park, Seung-Min
    Chun, Ingeol
    Bae, Doo-Hwan
    [J]. ETRI JOURNAL, 2017, 39 (01) : 124 - 134
  • [27] An efficient and accurate pupil detection method for iris biometric processing
    Dey S.
    Samanta D.
    [J]. International Journal of Computers and Applications, 2010, 32 (02) : 141 - 148
  • [28] An accurate and efficient multi-category edge detection method
    Wang, Luyang
    Shen, Yuan
    Liu, Houde
    Guo, Zhenhua
    [J]. COGNITIVE SYSTEMS RESEARCH, 2019, 58 : 160 - 172
  • [29] An Efficient and Accurate Method for Detection and Classification of Power Quality Disturbances
    Gong, Renxi
    Liao, Guanting
    [J]. IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2020, 15 (08) : 1139 - 1146
  • [30] A novel method for accurate and efficient barcode detection with morphological operations
    Katona, Melinda
    Nyul, Laszlo G.
    [J]. 8TH INTERNATIONAL CONFERENCE ON SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS (SITIS 2012), 2012, : 307 - 314
12345