您当前的位置：
首页 >
文章列表页 >
面向多核处理器的低级并行程序验证
学术论文 | 更新时间：2025-07-16
面向多核处理器的低级并行程序验证
Verifying Parallel Low-Level Programs for Multi-core Processor
- 电子学报 2009年37卷第S1期 页码：1-6
移动端阅览
HTML全文
参考文献
出版信息
数据统计
38
浏览量
1095
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种支持事务内I/O操作的事务存储系统结构
几类非确定型量子程序的终止验证
应急场景无人机辅助实时视频传输联合优化策略
包含绕包铝箔屏蔽的数据线缆信号完整性解析方法
MDW：最小双权差分特征搜索模型
相关作者
刘 轶
李明修
张 昕
李 鹤
焦 林
钱德沛
雷红轩
彭家寅
相关机构
北京航空航天大学计算机学院
西安交通大学 计算机系
北京航空航天大学计算机学院北京
西安交通大学 计算机系陕西西安
内江师范学院数学与信息科学学院
