机构

• 软件研究所 [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 周琰   |  收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 众核处理器  内存一致性模型  缓存一致性协议  模型检测  many-core processer  memory consistency model  cache coherence protocol  model checking   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 收藏  |  浏览/下载：24/0  |  提交时间：2019/05/10 Multi-core processor  Scalable interconnection  Cache coherent non-uniform memory access/ non-uniform cache  Access (cc-numa/nuca)  Mesh  Crossbar  Cache coherence  Reliability  Availability and serviceability (ras)   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   |  收藏  |  浏览/下载：23/0  |  提交时间：2019/12/16 multi-core processor  scalable interconnection  cache coherent non-uniform memory access/ non-uniform cache  access (CC-NUMA/NUCA)  MESH  crossbar  cache coherence  reliability  availability and serviceability (RAS)   模型检测MESIF Cache一致性协议 期刊论文  OAI收割 计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/05/24 模型检测  Cache一致性协议  形式验证model checking  Cache coherence pmtocol  fomal verification   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/06/29 cache coherence protocols  combining invariants computing  data consistency error  guard strengthening methods  parameter abstraction  parameterized model checking  transition rules  abstract data types  cache storage  data integrity  program verification   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   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/08/11 concurrent systems  cache coherence protocols  value-passing  symbolic transition graphs  model checking  VERIFICATION