您当前的位置:
首页 >
文章列表页 >
一种基于推断-验证模式的内核数据竞争检测方法
一种基于推断-验证模式的内核数据竞争检测方法
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 )
参考文献
出版信息
数据统计
161
浏览量
150
下载量
1
CSCD
文章被引用时,请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
面向行为多样期的挖矿恶意软件早期检测方法
星载海量遥感数据的低缓存高速传输
通过用况聚类促进软件结构恢复的方法
TF-PEFT:面向脑电基础模型的时频双流参数高效微调框架
面向近海的多基站协作通信感知一体化设计
相关作者
关振宇
张涔
白家驹
郑浩然
平源
崔允贺
申国伟
郭春
相关机构
北京航空航天大学网络空间安全学院
贵州大学计算机科学与技术学院公共大数据国家重点实验室
许昌学院信息工程学院
中国科学技术大学电子工程与信息科学系
中国科学院软件研究所信息安全国家重点实验室

