机构

• 软件研究所 [4]
• 计算技术研究所 [1]
• 中国科学院大学 [1]

采集方式

• OAI收割 [5]
• iSwitch采集 [1]

内容类型

• 期刊论文 [5]
• 会议论文 [1]

发表日期

• 2013 [1]
• 2010 [3]
• 2007 [1]
• 2006 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Godson-T缓存一致性协议的Murphi建模和验证 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 10, 页码: 124-128 周琰   |  收藏  |   System architecture of godson-3 multi-core processors 期刊论文  iSwitch采集 Journal of computer science and technology, 2010, 卷号: 25, 期号: 2, 页码: 181-191 作者:  Gao, Xiang;  Chen, Yun-Ji;  Wang, Huan-Dong;  Tang, Dan;  Hu, Wei-Wu 收藏  |   System Architecture of Godson-3 Multi-Core Processors 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 卷号: 25, 期号: 2, 页码: 181-191 作者:  Gao, Xiang;  Chen, Yun-Ji;  Wang, Huan-Dong;  Tang, Dan;  Hu, Wei-Wu   |  收藏  |   模型检测MESIF Cache一致性协议 期刊论文  OAI收割 计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |   computing invariants for parameter abstraction 会议论文  OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong   |  收藏  |   model checking data consistency for cache coherence protocols 期刊论文  OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi   |  收藏  |