机构

• 计算技术研究所 [20]
• 软件研究所 [9]
• 沈阳自动化研究所 [4]
• 上海微系统与信息技术... [1]
• 云南天文台 [1]

采集方式

• OAI收割 [35]

内容类型

• 期刊论文 [28]
• 学位论文 [6]
• 会议论文 [1]

发表日期

• 2017 [1]
• 2016 [2]
• 2015 [3]
• 2014 [1]
• 2013 [3]
• 2012 [3]
• 更多

学科主题

• 计算机软件::软件理... [2]
• Computer S... [1]
• 天文学 [1]

筛选

浏览/检索结果: 共35条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 线性均方一致性问题的偏差估计 期刊论文  OAI收割 自动化学报, 2017, 卷号: 43, 期号: 4, 页码: 568 作者:  窦全胜;  刘柏枫;  厉玉蓉;  史忠植   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 集群智能  多智能体系统  一致性协议  均方一致   分布式实时存储环境下的FITS数据一致性研究 期刊论文  OAI收割 天文研究与技术(Astronomical Research & Technology), 2016, 卷号: 13, 期号: 4, 页码: 489-497 作者:  梁波;  陈腾达;  于孔林;  刘应波;  邓辉 收藏  |  浏览/下载：37/0  |  提交时间：2017/01/12 FITS  元数据  一致性  两段提交协议   面向监听一致性协议的并发内存竞争记录算法 期刊论文  OAI收割 计算机研究与发展, 2016, 卷号: 53.0, 期号: 006, 页码: 1238 作者:  朱素霞;  陈德运;  季振洲;  孙广路;  张浩   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 片上多核处理器  多核程序  确定性重演  内存竞争记录  内存冲突检测  监听一致性协议   基于设备生命周期Petri网的WIA-PA协议一致性测试方法 期刊论文  OAI收割 信息与控制, 2015, 卷号: 45, 期号: 6, 页码: 703-710, 716 作者:  孙亮;  梁炜;  王恺;  张思超;  苗乔木 收藏  |  浏览/下载：18/0  |  提交时间：2016/04/13 WIA-PA协议  一致性测试  Petri网  测试平台   片上多核处理器的区域共享的双粒度目录 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 000, 期号: 007, 页码: 669 作者:  曾露;  陈新科;  王焕东   |  收藏  |  浏览/下载：36/0  |  提交时间：2023/12/04 双粒度目录（DGD）  片上多核处理器  缓存一致性  区域共享  目录一致性协议  访存优化   一种无目录的共享高速缓存一致性协议 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 000, 期号: 005, 页码: 445 作者:  刘道福;  陈天石;  郭琦   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 存储一致性  高速缓存一致性协议  多核／众核系统  弱一致性   实现系统规模化的龙芯3号桥片设计与验证 期刊论文  OAI收割 计算机工程与应用, 2014, 卷号: 000, 期号: 009, 页码: 56 作者:  鲍庆元;  李孟春;  王焕东;  曾露;  王启银   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 CC-NUMA  多处理器互连  目录结构  龙芯  一致性协议  桥片   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   用于多核同步优化的cache —致性协议设计 期刊论文  OAI收割 高技术通讯, 2013, 卷号: 23, 期号: 11, 页码: 1110 作者:  陈李维;  张广飞;  汪文祥;  王焕东   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04 同步  栅障  锁  cache 一致性协议  片上多核处理器(CMPs)