机构

• 计算技术研究所 [7]
• 软件研究所 [4]
• 高能物理研究所 [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [10]
• 学位论文 [1]
• 项目 [1]

发表日期

• 2016 [1]
• 2014 [2]
• 2013 [1]
• 2011 [1]
• 2008 [1]
• 2006 [1]
• 更多

学科主题

• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 多重中断驱动C程序的数据竞争检测 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 熊浩军   |  收藏  |   基于可行序的数据竞争检测 期刊论文  OAI收割 高技术通讯, 2014, 卷号: 24, 期号: 7, 页码: 669 作者:  李磊;  陈云霁;  章隆兵;  肖後华   |  收藏  |   动态容忍和检测非对称数据竞争 期刊论文  OAI收割 计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1748 作者:  王文文;  武成岗;  Paruj Ratanaworabhan;  远翔;  王振江   |  收藏  |   高可扩展性的MHP分析算法 期刊论文  OAI收割 软件学报, 2013, 卷号: 24.0, 期号: 010, 页码: 2289 作者:  印乐;  黄磊   |  收藏  |   静态检测中断驱动程序的数据竞争 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290 作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆   |  收藏  |   使用容量指标的安全实时数据库信道限制方法 期刊论文  OAI收割 通信学报, 2008, 卷号: 29, 期号: 8, 页码: 46-56 曾海涛; 王永吉; 阮利; 祖伟; 蔡嘉勇   |  收藏  |   多线程程序数据竞争的静态检测 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: 2, 页码: 329-335 吴萍; 陈意云; 张健   |  收藏  |   WebFrame:一种多层次可扩展的Web应用服务器 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 451-460 范国闯; 林世彪; 董伟川; 胡建华; 冯玉琳   |  收藏  |   软件DSM系统中的动态数据竞争检测 期刊论文  OAI收割 小型微型计算机系统, 2004, 卷号: 25.0, 期号: 012, 页码: 2070 作者:  章隆兵;  吴少刚;  张福新   |  收藏  |   基于锁集合的动态数据竞争检测方法 期刊论文  OAI收割 计算机学报, 2003, 卷号: 26.0, 期号: 010, 页码: 1217 作者:  章隆兵;  张福新;  吴少刚;  陈意云   |  收藏  |