中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [8]
自动化研究所 [2]
采集方式
OAI收割 [10]
内容类型
期刊论文 [7]
学位论文 [3]
发表日期
2013 [1]
2010 [1]
2009 [4]
2004 [1]
2002 [1]
2001 [1]
更多
学科主题
Computer S... [1]
计算机软件::编译系... [1]
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Godson-T缓存一致性协议的Murphi建模和验证
期刊论文
OAI收割
计算机系统应用, 2013, 期号: 10, 页码: 124-128
周琰
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
众核处理器
内存一致性模型
缓存一致性协议
模型检测
many-core processer
memory consistency model
cache coherence protocol
model checking
模型检测MESIF Cache一致性协议
期刊论文
OAI收割
计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正
;
陈昊
;
陈峰
;
吕毅
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2011/05/24
模型检测
Cache一致性协议
形式验证model checking
Cache coherence pmtocol
fomal verification
循环优化序列自动定制方法研究
学位论文
OAI收割
硕士, 中科院软件所: 中国科学院研究生院, 2009
-
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2009/06/11
循环优化,序列定制,Polyhedron模型,CMES方程,LoopCost模型,cache失效率,加速比,优化效率
高速缓存优化的并行连接算法
期刊论文
OAI收割
计算机工程与设计, 2009, 卷号: 30, 期号: 20, 页码: 4581-4584
胡泽林
;
张云泉
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/08/24
存储层次
理想高速缓存模型
高速缓存参数无关
高度划分聚类
缓冲
并行化 memory hierarchy
idea-cache model
cache-oblivious
height partition clustering
buffering
parallization
面向雨数的循环优化序列定制方法
期刊论文
OAI收割
计算机工程与应用, 2009, 卷号: 45, 期号: 24, 页码: 63-66,117
陈烨
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/03/18
polyhedron模型
优化序列定制
cache失效率
CMES简化方程
循环
化序列
定制方法
优化效果
函数
效率方程
程序
编译
数据表
加速比
复杂度
cache
讨论
实验
器具
评估
模型
迭代
差异
变换
面向函数的循环优化序列定制方法
期刊论文
OAI收割
计算机工程与应用, 2009, 期号: 24, 页码: 63-66,117
陈烨
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2011/03/18
polyhedron模型
优化序列定制
cache失效率
CMES简化方程
带二级缓冲机制的通用访问控制框架研究及实现
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27, 期号: 11, 页码: 1576-1584
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2011/07/29
通用访问控制框架
安全操作系统
多安全政策
缓冲机制
通用
访问控制框架
多安全政策
Access Control
安全操作系统
结果缓冲器
支持结构
效率
三层模型
缺陷
访问决策
测算结果
性能
模块
经典
基础
红旗Cache memory
Computer operating systems
Data communication systems
Decision making
一遍完成的平衡布点外存模型简化算法
期刊论文
OAI收割
计算机学报, 2002, 卷号: 25, 期号: 9, 页码: 936-944
蔡康颖
;
王文成
;
费广正
;
吴恩华
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
自适应顶点聚类
一遍,二次量化,表面编码,簇分裂
布点
外存模型简化
顶点聚类算法
原模型
自适应采样
平滑区域
算法效率
输出时间
输出模型
内存需求
简化算法
二次量化
定位
超大规模
表面编码
思想
输入
分布
处理Cache memory
Input output programs
Mathematical models
Vector quantization
面向汉字识别的语言模型研究
学位论文
OAI收割
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 2001
张胜
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2015/09/02
语言模型
汉字识别
N-gram模型
Cache模型
Language model
recognition system
character recognition
Markov
N-gram model
4-gram
trigram
cache-based model
面向中文语音识别的自适应语言模型研究
学位论文
OAI收割
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1999
黄非
收藏
  |  
浏览/下载:75/0
  |  
提交时间:2015/09/02
语言模型
语音识别
分词
N元文法
Cache自适应
词典自适应
Language Model
Speech Recognition
Word Segmentation
N-gram
Cache-Based Adaptation
Lexicon Adaptation