×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术研... [5]
中国科学院计算技术研... [1]
作者
衷璐洁 [5]
冯晓兵 [2]
李丰 [2]
李龙 [2]
王洁 [2]
霍玮 [2]
更多...
文献类型
期刊论文 [5]
学位论文 [1]
发表日期
2018 [1]
2014 [1]
2013 [2]
2011 [1]
2008 [1]
语种
英语 [5]
中文 [1]
出处
软件学报 [2]
IEEE ACCES... [1]
计算机应用研究 [1]
计算机科学 [1]
资助项目
National N... [1]
Project of... [1]
收录类别
SCI [1]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 10432-10444
作者:
Zhong, Lujie
;
Yew, Pen-Chung
;
Huo, Wei
;
Li, Feng
;
Feng, Xiaobing
;
Zhang, Zhaoqing
收藏
  |  
浏览/下载:62/0
  |  
提交时间:2019/12/10
Accuracy
fault detection
scalability
sensitivity
software reliability
一种场景敏感的高效错误检测方法
期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 003, 页码: 472
作者:
衷璐洁
;
霍玮
;
李龙
;
李丰
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2023/12/04
定值-引用错误
路径敏感错误检测
错误目标触发场景
场景敏感
程序分析
无权访问的条目
学位论文
作者:
衷璐洁
Adobe PDF(2683Kb)
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2013/07/02
一种基于最小调试边界的断点自动生成技术
期刊论文
软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1455
作者:
李丰
;
霍玮
;
陈聪明
;
李龙
;
衷璐洁
;
冯晓兵
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2023/12/04
调试
断点
最小调试边界
错误定位
依赖分析
多核机群下MPI程序优化技术的研究
期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 010, 页码: 281
作者:
王洁
;
衷璐洁
;
曾宇
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
多核机群
存储层次化
MPI程序优化
混合MPI/OpenMP
MPI运行时参数
MPI进程摆放
基于数据流Java的优化轻量级Web服务器实现
期刊论文
计算机应用研究, 2008, 卷号: 25.0, 期号: 011, 页码: 3357
作者:
衷璐洁
;
王洁
;
吴承勇
;
周丽娟
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
多核
并行
数据流Java
虚拟机
组件