中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
动态容忍和检测非对称数据竞争 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1748
作者:  王文文;  武成岗;  Paruj Ratanaworabhan;  远翔;  王振江;  李建军;  冯晓兵
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
非对称数据竞争  容忍和检测  写缓冲区  页保护  动态二进制插桩  
基于可行序的数据竞争检测 期刊论文
高技术通讯, 2014, 卷号: 24, 期号: 7, 页码: 669
作者:  李磊;  陈云霁;  章隆兵;  肖後华
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
数据竞争  并行程序调试  发生前(HB)  可行序  
高可扩展性的MHP分析算法 期刊论文
软件学报, 2013, 卷号: 24.0, 期号: 010, 页码: 2289
作者:  印乐;  黄磊
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
MHP  可扩展性  数据竞争  静态分析  
静态检测中断驱动程序的数据竞争 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
软件DSM系统中的动态数据竞争检测 期刊论文
小型微型计算机系统, 2004, 卷号: 25.0, 期号: 012, 页码: 2070
作者:  章隆兵;  吴少刚;  张福新
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件分布式共享存储系统  数据竞争  代码装配  
软件DSM系统的重放 期刊论文
小型微型计算机系统, 2003, 卷号: 24.0, 期号: 003, 页码: 340
作者:  章隆兵;  张福新;  陈意云
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件DSM系统  软件工程  软件测试  分布式共享存储系统  重放方法  数据竞争  日志文件  
基于锁集合的动态数据竞争检测方法 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 010, 页码: 1217
作者:  章隆兵;  张福新;  吴少刚;  陈意云
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
编程技巧  动态数据竞争检测方法  锁集合  软件分布式共享存储系统  域一致性模型  程序并行性