×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [97]
内容类型
期刊论文 [38]
会议论文 [36]
学位论文 [23]
发表日期
2020 [1]
2016 [1]
2015 [1]
2014 [8]
2013 [8]
2012 [9]
更多...
学科主题
Computer S... [3]
Computer S... [2]
计算机软件::软件工... [2]
Mechanics [1]
Telecommun... [1]
计算机工程 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共97条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
基于文本特征提取的软件缺陷自动定位技术研究
学位论文
硕士, 北京: 中国科学院大学, 2020
作者:
朱家佑
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/06/10
软件缺陷定位,程序分析,文本匹配, 深度学习
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y
;
Yan, J
;
Choo, KKR
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2016/12/09
Concurrency analysis
Profiling
Dynamic analysis
Bug reproduction
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 6, 页码: 1358-1369
Yu, XL
;
Wu, WL
;
Shi, ZQ
;
Zhang, J
;
Zhang, L
;
Wang, YF
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2016/12/13
lightweight block cipher
SIMON
linear cryptanalysis
zero-correlation
dual property
基于粒子群优化的测试数据生成及其实证分析
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 4, 页码: 824-837
毛澄映
;
喻新欣
;
薛云志
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
结构性测试
测试数据生成
分支覆盖
搜索算法
粒子群优化
structural testing
test data generation
branch coverage
searching algorithm
particle swarm optimization (PSO)
基于网络的可信软件大规模协同开发与演化
期刊论文
中国科学. 信息科学, 2014, 卷号: 44, 期号: 1, 页码: 1-19
王怀民
;
尹刚
;
谢冰
;
刘旭东
;
魏峻
;
刘江宁
收藏
  |  
浏览/下载:67/0
  |  
提交时间:2014/12/16
可信软件
群体协同
资源分享
运行监控
可信分析
软件演化
Formal analysis of TPM2.0 key management APIs
期刊论文
CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying
;
Zhao, Shijun
;
Qin, Yu
;
Feng, Dengguo
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
Trusted computing
TPM2.0
Security APIs
Key management
Secrecy
Formal analysis
基于异常控制流识别的漏洞利用攻击检测方法
期刊论文
通信学报, 2014, 卷号: 35, 期号: 9, 页码: 20-31
王明华
;
应凌云
;
冯登国
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2014/12/16
软件漏洞
漏洞利用
攻击检测
地址随机化
数据执行保护
software vulnerability
exploit
attack detection
address space layout randomization
data execution protection
基于锁信息的多线程软件原子性错误检测方法
期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94
王云飞
;
刘剑
;
马越
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
多线程软件
原子性错误
锁信息
模型检测
动态优化
Multi-threaded program
Atomicity violation
Lock information
Model checking
Dynamic optimisation
Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs
会议论文
2014 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2014, Monterey, CA, United states, March 23, 2014 - March 25, 2014
Li, Chao (1)
;
Yang, Yi (2)
;
Dai, Hongwen (1)
;
Yan, Shengen (3)
;
Mueller, Frank (4)
;
Zhou, Huiyang (1)
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
Impact of product complexity on actual effort in software developments: An empirical investigation
会议论文
23rd Australasian Software Engineering Conference, ASWEC 2014, Sydney, NSW, Australia, April 7, 2014 - April 10, 2014
Li, Zheng (1)
;
O'Brien, Liam (2)
;
Yang, Ye (3)
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
©版权所有 ©2017 CSpace - Powered by
CSpace