|
已选(0)清除
条数/页： 排序方式：
|
| 核分组的多核处理器优化方法 期刊论文
2016, 2016
李国红; 汪东升; 刘振宇; 李崇民; 刘根贤; 郭三川; LI Guohong; WANG Dongsheng; LIU Zhenyu; LI Chongmin; LIU Genxian; GUO Sanchuan
  收藏 | 浏览/下载：4/0 |
| 基于不变量查找的协议验证 学位论文
硕士, 北京: 中国科学院研究生院, 2015
曹燊
收藏 | 浏览/下载：11/0 | 提交时间：2015/06/23
|
| PaMC带参模型检测工具及其应用研究 学位论文
硕士, 北京: 中国科学院研究生院, 2013
周琰
收藏 | 浏览/下载：9/0 | 提交时间：2013/07/02
|
| 商用多核处理器中的存储器一致性模型与高速缓存同一性协议 期刊论文
信息技术快报, 2013, 卷号: 11, 期号: 1, 页码: 1
作者: 周君; 唐士斌
收藏 | 浏览/下载：6/0 | 提交时间：2013/02/06 |
| Godson-T缓存一致性协议的Murphi建模和验证 期刊论文
计算机系统应用, 2013, 期号: 10, 页码: 124-128
周琰
收藏 | 浏览/下载：10/0 | 提交时间：2014/12/16
|
| 众核区域缓存一致性协议的能耗研究 学位论文
2013
作者: 林亨
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/10
|
| 多核处理器中高速缓存一致性协议和进程同步的实现研究 学位论文
2011
作者: 陈亮
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/10
|
| 环连接片上多核处理器缓存一致性协议研究 学位论文
北京: 中国科学院研究生院, 2010
作者: 曹非
收藏 | 浏览/下载：12/0 | 提交时间：2010/06/25 |
| 带参并发系统的模型检测 学位论文
硕士, 中科院软件所: 中科院研究生院, 2009
-
收藏 | 浏览/下载：12/0 | 提交时间：2009/06/11
|
| 硬件结构支持的基于同步的高速缓存一致性协议 期刊论文
计算机学报, 2009, 期号: 第8期, 页码: 1618—1630
作者: 宋风龙; 黄河; 刘磊; 马啸宇
收藏 | 浏览/下载：6/0 | 提交时间：2010/10/18
|
