CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Node predicting based direct cache coherence protocol for chip multi-processor 期刊论文
Jisuanji Xuebao/Chinese Journal of Computers, 2014, 卷号: 37, 期号: [db:dc_citation_issue], 页码: 700-720
作者:  Zhang, Jun;  Tian, Ze;  Mei, Kui-Zhi;  Zhao, Ji-Zhong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02
Godson-T缓存一致性协议的Murphi建模和验证 期刊论文
计算机系统应用, 2013, 期号: 10, 页码: 124-128
周琰
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
Design of bus-on-chip core for micro-satellite avionics - art. no. 67950Q 会议论文
SECOND INTERNATIONAL CONFERENCE ON SPACE INFORMATION TECHNOLOGY, PTS 1-3, 2nd International Conference on Space Information Technology, Wuhan, PEOPLES R CHINA, Web of Science
Liu Youjun; You Zheng; Li Bin; Zhang Xiangqi; Meng Ziyang
收藏  |  浏览/下载：4/0
Design of bus-on-chip core for micro-satellite avionics 会议论文
Proceedings of the SPIE - The International Society for Optical Engineering, Second International Conference on Space Information Technology, Wuhan, China, INSPEC
Youjun Liu; Zheng You; Bin Li; Xiangqi Zhang; Ziyang Meng
收藏  |  浏览/下载：6/0
environment abstraction with state clustering and parameter truncating 会议论文
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Pan Hong; Lv Yi; Lin Huimin
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/20
Synchronization coherence: A transparent hardware mechanism for cache coherence and fine-grained synchronization 期刊论文
并行与分布式计算杂志, 2008
Guo, Yao; Vlassov, Vladimir; Ashok, Raksit; Weiss, Richard; Moritz, Csaba Andras
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/10
mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols 会议论文
22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15,
Li Yongjian
收藏  |  浏览/下载：8/0  |  提交时间：2011/06/29
computing invariants for parameter abstraction 会议论文
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
收藏  |  浏览/下载：14/0  |  提交时间：2011/06/29
model checking data consistency for cache coherence protocols 期刊论文
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
收藏  |  浏览/下载：14/0  |  提交时间：2010/08/11
并行文件系统中DiskCache一致性协议的性能测试与评价 期刊论文
1997
武北虹
收藏  |  浏览/下载：2/0  |  提交时间：2016/05/17

©版权所有 ©2017 CSpace - Powered by CSpace