×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [8]
计算技术研究所 [2]
内容类型
学位论文 [8]
期刊论文 [2]
发表日期
2016 [1]
2015 [1]
2010 [2]
2009 [4]
2008 [1]
2005 [1]
更多...
学科主题
计算机软件 [10]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条，第1-10条
帮助
限定条件
学科主题：计算机软件
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
桌面搜索若干关键技术研究与系统实现
学位论文
硕士, 北京: 中国科学院大学, 2016
杨凯飞
收藏
|
浏览/下载：17/0
|
提交时间：2016/05/31
桌面搜索
文件系统事件监听
索引实时更新
查询词推荐
MIC众核架构通信密集型函数的算法设计与性能优化研究
学位论文
博士, 北京: 中国科学院研究生院, 2015
刘益群
收藏
|
浏览/下载：41/0
|
提交时间：2015/06/29
异构计算
Intel MIC众核架构
FFT
HPCG
HPGMG
函数式语言LFC的Supercompilation技术研究
学位论文
硕士, 北京: 中国科学院研究生院, 2010
郑丽丽
收藏
|
浏览/下载：17/0
|
提交时间：2010/07/14
监督式编译，LFC，Refal，类型，解释器
发布/订阅系统可伸缩性支持技术研究
学位论文
硕士, 北京: 中国科学院研究生院, 2010
钱一峰
收藏
|
浏览/下载：12/0
|
提交时间：2010/06/08
发布/订阅系统
基于Yices对时间自动机的有界模型检测
学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏
|
浏览/下载：12/0
|
提交时间：2009/06/11
有界模型检测，时间自动机，SMT工具，可达性，安全性，逻辑公式
基于BDD的增量启发式方法及其应用
学位论文
硕士, 软件所5号楼337房: 中国科学院软件研究所计算机科学国家重点实验室, 2009
徐艳艳
收藏
|
浏览/下载：18/0
|
提交时间：2009/06/13
A*算法，BDD，基于BDD的搜索，启发式搜索，增量搜索
基于软件仓库的个体软件过程能力度量技术研究
学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2009
张瞫
收藏
|
浏览/下载：17/0
|
提交时间：2009/07/02
数据包络分析(DEA)
基于PAR的高可信装备保障算法推演
学位论文
硕士, 北京: 中国科学院研究生院, 2009
郑宇军
收藏
|
浏览/下载：13/0
|
提交时间：2010/01/15
PAR 方法，装备保障，组合优化，算法形式化推演
大规模分布式互联网应用的测量
期刊论文
信息技术快报, 2008, 卷号: 6, 期号: 6, 页码: 1
作者:
郭莉
;
方滨兴
;
时金桥
;
张志斌
收藏
|
浏览/下载：9/0
|
提交时间：2009/12/18
分布式
互联网应用
测量
面向方面（ aspect ）的程序设计方法
期刊论文
信息技术快报, 2005, 卷号: 3, 期号: 1, 页码: 9
作者:
程虎
收藏
|
浏览/下载：10/0
|
提交时间：2010/02/05
©版权所有 ©2017 CSpace - Powered by
CSpace
