×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术... [11]
作者
张兆庆 [11]
冯晓兵 [10]
武成岗 [3]
霍玮 [3]
周谦 [2]
李丰 [2]
更多...
文献类型
期刊论文 [11]
发表日期
2014 [1]
2012 [1]
2011 [1]
2008 [2]
2007 [2]
2006 [1]
更多...
语种
英语 [11]
出处
计算机研究与发展 [4]
计算机学报 [2]
计算机工程 [2]
软件学报 [2]
计算机应用研究 [1]
资助项目
收录类别
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
限定条件
作者:zhangzhaoqing分张兆庆
语种:英语
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
一种场景敏感的高效错误检测方法
期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 003, 页码: 472
作者:
衷璐洁
;
霍玮
;
李龙
;
李丰
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2023/12/04
定值-引用错误
路径敏感错误检测
错误目标触发场景
场景敏感
程序分析
一种提高时序安全属性静态检测实用性的方法
期刊论文
计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244
作者:
霍玮
;
李丰
;
丁兆伟
;
桑春雷
;
张兆庆
;
冯晓兵
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
有限状态自动机
时序安全属性
切片技术
程序静态检测
F-衡量
静态检测中断驱动程序的数据竞争
期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:
霍玮
;
于洪涛
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
微控制器
中断驱动程序
数据竞争检测
过程间数据流分析
副作用分析
二进制翻译中系统库函数的分类处理方法
期刊论文
计算机应用研究, 2008, 卷号: 25.0, 期号: 004, 页码: 1057
作者:
谢海斌
;
张兆庆
;
武成岗
;
冯晓兵
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
二进制翻译
系统库函数
普通库函数
特殊库函数
数据流Java并行程序设计模型的设计、实现及运行时优化
期刊论文
软件学报, 2008, 卷号: 19.0, 期号: 009, 页码: 2181
作者:
刘弢
;
范彬
;
吴承勇
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
数据流
并行程序设计模型
可管理运行时环境
运行时优化
循环合并敏感的优化内联模型
期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 007, 页码: 1265
作者:
周谦
;
张兆庆
;
冯晓兵
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
内联
循环优化
编译器
循环合并
高性能计算
非线性规律访存操作的数据预取技术
期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 002, 页码: 355
作者:
吴佳骏
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
数据预取
编译器
profiling
性能分析
缓存
非线性
Cache Profiling技术
期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 013, 页码: 47
作者:
周谦
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
Profiling
Cache
profiling
Cache
hint
编译器
二进制翻译中的标志位优化技术
期刊论文
计算机研究与发展, 2005, 卷号: 42.0, 期号: 002, 页码: 329
作者:
马湘宁
;
武成岗
;
唐锋
;
冯晓兵
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
二进制翻译
标志位优化
延迟计算
即时计算
优化动态二进制翻译器DigitalBridge
期刊论文
计算机工程, 2005, 卷号: 31.0, 期号: 010, 页码: 103
作者:
白童心
;
冯晓兵
;
武成岗
;
张兆庆
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
动态优化
动态二进制翻译
热路径
标志位