机构

• 计算技术研究所 [12]
• 软件研究所 [8]

采集方式

• OAI收割 [20]

内容类型

• 期刊论文 [15]
• 学位论文 [4]
• 会议论文 [1]

发表日期

• 2015 [4]
• 2013 [3]
• 2012 [1]
• 2011 [1]
• 2009 [4]
• 2008 [6]
• 更多

学科主题

• 计算机软件::软件理... [2]
• 计算机科学技术基础学... [1]
• 计算机系统结构::分... [1]
• 计算机软件 [1]
• 计算机软件::软件开... [1]

筛选

浏览/检索结果: 共20条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于不变量查找的协议验证 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2015 曹燊   |  收藏  |  浏览/下载：15/0  |  提交时间：2015/06/23 带参系统  缓存一致性   片上多核处理器的区域共享的双粒度目录 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 000, 期号: 007, 页码: 669 作者:  曾露;  陈新科;  王焕东   |  收藏  |  浏览/下载：36/0  |  提交时间：2023/12/04 双粒度目录（DGD）  片上多核处理器  缓存一致性  区域共享  目录一致性协议  访存优化   一种无目录的共享高速缓存一致性协议 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 000, 期号: 005, 页码: 445 作者:  刘道福;  陈天石;  郭琦   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 存储一致性  高速缓存一致性协议  多核／众核系统  弱一致性   龙芯GS464E处理器核架构设计 期刊论文  OAI收割 中国科学. 信息科学, 2015, 卷号: 45, 期号: 4, 页码: 480 作者:  吴瑞阳;  汪文祥;  王焕东;  胡伟武   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 处理器核  多核处理器  分支预测  访存性能  缓存一致性   PaMC带参模型检测工具及其应用研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 周琰   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/07/02 带参系统  模型检测  参数抽象  卫士增强  Godson-T缓存一致性协议   Godson-T缓存一致性协议的Murphi建模和验证 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 10, 页码: 124-128 周琰   |  收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 众核处理器  内存一致性模型  缓存一致性协议  模型检测  many-core processer  memory consistency model  cache coherence protocol  model checking   面向海量数据存储的Erasure-Code分布式文件系统I／O优化方法 期刊论文  OAI收割 计算机工程与科学, 2013, 卷号: 35.0, 期号: 005, 页码: 20 作者:  严林;  邢晶;  霍志刚;  马捷   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04 机群文件系统  海量存储  Erasure-Code  数据放置  编码缓存  一致性   支持多核并行程序确定性重放的高效访存冲突记录方法 期刊论文  OAI收割 计算机研究与发展, 2012, 卷号: 49.0, 期号: 1.0, 页码: 64 作者:  刘磊;  黄河;  唐志敏   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 确定性重放  缓存一致性协议  访存冲突  多核  并行程序   弹性分布式缓存关键技术研究与系统设计 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 罗嵘   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/20 分布式缓存  弹性  数据一致性  负载均衡   带参并发系统的模型检测 学位论文  OAI收割 硕士, 中科院软件所: 中科院研究生院, 2009 -   |  收藏  |  浏览/下载：20/0  |  提交时间：2009/06/11 带参并发系统，模型检测，缓存一致性协议，数据独立，环境抽象，参数抽象，状态聚类