您当前的位置:
首页 >
文章列表页 >
一种基于推断-验证模式的内核数据竞争检测方法
学术论文 | 更新时间:2026-02-05
    • 一种基于推断-验证模式的内核数据竞争检测方法

    • A Kernel Data Race Detection Method Based on Inference-Verification Mode

    • 郑浩然 ,白家驹 ,张涔 ,关振宇
    • 电子学报 2025年53卷第10期 页码:3593-3607
    • DOI: 10.12263/DZXB.20250792     

      中图分类号:
    • 录用:2025-10-20 ,

    移动端阅览

  •  
  •  
  • HTML全文

  • 图( 7 ) 表( 8 )

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束,您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束,您可以通过登录账户,到个人中心,购买VIP会员阅读全文。
已是VIP会员?
去登录 >

161

浏览量

150

下载量

1

CSCD

文章被引用时,请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

面向行为多样期的挖矿恶意软件早期检测方法
星载海量遥感数据的低缓存高速传输
通过用况聚类促进软件结构恢复的方法
TF-PEFT:面向脑电基础模型的时频双流参数高效微调框架
面向近海的多基站协作通信感知一体化设计

相关作者

关振宇
张涔
白家驹
郑浩然
平源
崔允贺
申国伟
郭春

相关机构

北京航空航天大学网络空间安全学院
贵州大学计算机科学与技术学院公共大数据国家重点实验室
许昌学院信息工程学院
中国科学技术大学电子工程与信息科学系
中国科学院软件研究所信息安全国家重点实验室