中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
基于可行序的数据竞争检测 期刊论文
高技术通讯, 2014, 卷号: 24, 期号: 7, 页码: 669
作者:  李磊;  陈云霁;  章隆兵;  肖後华
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数据竞争  并行程序调试  发生前(HB)  可行序  
高可扩展性的MHP分析算法 期刊论文
软件学报, 2013, 卷号: 24.0, 期号: 010, 页码: 2289
作者:  印乐;  黄磊
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
MHP  可扩展性  数据竞争  静态分析  
静态检测中断驱动程序的数据竞争 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
软件DSM系统中的动态数据竞争检测 期刊论文
小型微型计算机系统, 2004, 卷号: 25.0, 期号: 012, 页码: 2070
作者:  章隆兵;  吴少刚;  张福新
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
软件分布式共享存储系统  数据竞争  代码装配  
基于锁集合的动态数据竞争检测方法 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 010, 页码: 1217
作者:  章隆兵;  张福新;  吴少刚;  陈意云
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
编程技巧  动态数据竞争检测方法  锁集合  软件分布式共享存储系统  域一致性模型  程序并行性