中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
静态检测中断驱动程序的数据竞争 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
基于锁集合的动态数据竞争检测方法 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 010, 页码: 1217
作者:  章隆兵;  张福新;  吴少刚;  陈意云
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
编程技巧  动态数据竞争检测方法  锁集合  软件分布式共享存储系统  域一致性模型  程序并行性