已选(0)清除
条数/页: 排序方式: |
| 一种场景敏感的高效错误检测方法 期刊论文 软件学报, 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 二进制翻译 系统库函数 普通库函数 特殊库函数 |
| 无权访问的条目 期刊论文 作者: 周 谦; 冯晓兵; 张兆庆 Adobe PDF(347Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 无权访问的条目 期刊论文 作者: 吴佳骏; 冯晓兵; 张兆庆 Adobe PDF(368Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 循环合并敏感的优化内联模型 期刊论文 计算机研究与发展, 2007, 卷号: 44.0, 期号: 007, 页码: 1265 作者: 周谦; 张兆庆; 冯晓兵 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 内联 循环优化 编译器 循环合并 高性能计算 |
| 非线性规律访存操作的数据预取技术 期刊论文 计算机研究与发展, 2007, 卷号: 44.0, 期号: 002, 页码: 355 作者: 吴佳骏; 冯晓兵; 张兆庆 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 数据预取 编译器 profiling 性能分析 缓存 非线性 |
| 无权访问的条目 期刊论文 作者: 王轶然; 陈 莉; 冯晓兵; 张兆庆 Adobe PDF(868Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| Cache Profiling技术 期刊论文 计算机工程, 2006, 卷号: 32.0, 期号: 013, 页码: 47 作者: 周谦; 冯晓兵; 张兆庆 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 Profiling Cache profiling Cache hint 编译器 |