中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

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