×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [138]
内容类型
学位论文 [92]
期刊论文 [40]
会议论文 [6]
发表日期
2019 [2]
2016 [2]
2014 [8]
2013 [5]
2012 [13]
2011 [4]
更多...
学科主题
Computer S... [4]
计算机软件::软件工... [4]
计算机科学技术基础学... [3]
计算机软件::软件理... [3]
计算机科学技术 [2]
计算机科学技术::计... [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共138条，第1-10条
帮助
限定条件
专题：软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向CockRoachDB分布式数据库的自动化参数调优工具设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:
方言歌
收藏
|
浏览/下载：85/0
|
提交时间：2021/06/21
机器学习
自动化参数调优
分布式数据库系统
CockRoachDB
面向遥感影像语义分割的自动化机器学习系统的设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2019
作者:
杨诏
收藏
|
浏览/下载：52/0
|
提交时间：2019/06/24
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
|
浏览/下载：192/0
|
提交时间：2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
安卓应用的字节码插桩与资源泄漏修复
学位论文
硕士, 北京: 中国科学院大学, 2017
作者:
刘洁瑞
收藏
|
浏览/下载：27/0
|
提交时间：2017/07/08
安卓应用
资源泄漏
程序分析
漏洞修复
程序插桩
Android应用的GUI运行流畅度检测与分析
学位论文
硕士, 北京: 中国科学院研究生院, 2016
黄甜
收藏
|
浏览/下载：16/0
|
提交时间：2016/06/03
Android
运行流畅度
帧率
自动化测试
面向服务集成的自动化服务注册方法
期刊论文
计算机应用与软件, 2016, 卷号: 33, 期号: 6, 页码: 59
李松犁
;
张型龙
;
肖俊超
收藏
|
浏览/下载：15/0
|
提交时间：2016/12/09
服务集成
企业级服务总线
自动化注册
基于程序执行路径的系统代码错误定位研究
学位论文
硕士, 北京: 中国科学院研究生院, 2014
周艺
收藏
|
浏览/下载：11/0
|
提交时间：2014/05/28
错误定位
最弱前置条件
可满足性理论
动态分析
自动化测试
软件结构化测试数据生成技术
学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏
|
浏览/下载：25/0
|
提交时间：2014/05/29
软件测试
结构化测试
测试数据生成
扩展有限状态机
修改的条件/判断覆盖
差分和线性分析的代数自动化方法
学位论文
博士, 北京: 中国科学院研究生院, 2014
吴生宝
收藏
|
浏览/下载：43/0
|
提交时间：2014/05/29
分组密码
差分分析
线性分析
代数自动化
SRLtoRadl生成系统及其范畴论语义
期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
收藏
|
浏览/下载：24/0
|
提交时间：2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
©版权所有 ©2017 CSpace - Powered by
CSpace
