中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
采集方式
OAI收割 [10]
内容类型
学位论文 [6]
期刊论文 [3]
会议论文 [1]
发表日期
2013 [1]
2012 [3]
2011 [3]
2010 [1]
2004 [1]
2002 [1]
更多
学科主题
Computer S... [1]
Computer S... [1]
Computer S... [1]
计算机应用::计算机... [1]
计算机科学技术基础学... [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
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
面向PaaS的分布式缓存服务关键技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2013
秦秀磊
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2014/01/03
分布式缓存
缓存策略
数据迁移
性能隔离
多租户
基于带赋值符号迁移图的Monte Carlo模型检测
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2012
马明
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2012/06/13
Monte Carlo 模型检测
线性时序逻辑模型检测
带赋值符号迁移图
有导向的随机搜索
启发式算法
多线程二进制程序的原子性错误检测
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2012
李潇
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2012/06/18
并发程序
原子性错误
模型检测
软件测试
一种虚拟化环境的脆弱性检测方法
期刊论文
OAI收割
计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 14-17,53
王瑞
;
连一峰
;
陈恺
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2013/09/17
虚拟化环境
符号链接
污点传播分析
基于肢体动作的交互技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2011
钟康
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2011/06/08
计算机应用::计算机应用其他学科
基于MST的优化技术:监督式编译
期刊论文
OAI收割
Computer Engineering and Design, 2011, 卷号: 32, 期号: 1
郑丽丽
;
陈海明
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2013/10/08
系统转换
优化技术
监督式编译
部分求值
自应用
a flexible official document system based on authority management
会议论文
OAI收割
2011 International Conference on Business Management and Electronic Information, BMEI 2011, Guangzhou, China, 13-May-20
Wu Suyan
;
Li Wenbo
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/10/10
Office automation
Work simplification
协同式草图创作系统的研究和开发
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
尹婷婷
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/06/03
草绘美化
协同冲突解决
用户后加入
基于草图讲故事
协同草图创作
model checking real-time value-passing systems
期刊论文
OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 4, 页码: 459-471
Chen J
;
Cao ZN
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2011/07/29
model checking
real-time
value-passing
timed predicate mu-calculus
有穷状态XYZ/E程序的模型检查研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002
赵海云
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/03/17
有穷状态反应系统
线性时序逻辑
模型检查
XYZ/E语言
自动验证