中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	片上多核处理器的区域共享的双粒度目录期刊论文 OAI收割高技术通讯, 2015, 卷号: 000, 期号: 007, 页码: 669 作者: 曾露; 陈新科; 王焕东 \| 收藏 \| 浏览/下载：36/0 \| 提交时间：2023/12/04 双粒度目录（DGD）片上多核处理器缓存一致性区域共享目录一致性协议访存优化
	一种无目录的共享高速缓存一致性协议期刊论文 OAI收割高技术通讯, 2015, 卷号: 000, 期号: 005, 页码: 445 作者: 刘道福; 陈天石; 郭琦 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2023/12/04 存储一致性高速缓存一致性协议多核／众核系统弱一致性
	PaMC带参模型检测工具及其应用研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 周琰 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/07/02 带参系统模型检测参数抽象卫士增强 Godson-T缓存一致性协议
	Godson-T缓存一致性协议的Murphi建模和验证期刊论文 OAI收割计算机系统应用, 2013, 期号: 10, 页码: 124-128 周琰 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2014/12/16 众核处理器内存一致性模型缓存一致性协议模型检测 many-core processer memory consistency model cache coherence protocol model checking
	支持多核并行程序确定性重放的高效访存冲突记录方法期刊论文 OAI收割计算机研究与发展, 2012, 卷号: 49.0, 期号: 1.0, 页码: 64 作者: 刘磊; 黄河; 唐志敏 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 确定性重放缓存一致性协议访存冲突多核并行程序
	带参并发系统的模型检测学位论文 OAI收割硕士, 中科院软件所: 中科院研究生院, 2009 - \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2009/06/11 带参并发系统，模型检测，缓存一致性协议，数据独立，环境抽象，参数抽象，状态聚类
	微结构级缓存一致性协议的模型检测会议论文 OAI收割郑涛 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 模型检测缓存一致性协议微结构级