已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 学位论文 作者: 王文文
Adobe PDF(5381Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2014/06/27 |
| 无权访问的条目 学位论文 作者: 衷璐洁
Adobe PDF(2683Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2013/07/02 |
| 无权访问的条目 学位论文 作者: 齐霞光
Adobe PDF(2022Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2013/06/24 |
| 无权访问的条目 学位论文 作者: 张迎平
Adobe PDF(29168Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2012/06/27 |
| 一种提高时序安全属性静态检测实用性的方法 期刊论文 计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244 作者: 霍玮; 李丰; 丁兆伟; 桑春雷; 张兆庆; 冯晓兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 |
| 无权访问的条目 学位论文 作者: 赵从朴
Adobe PDF(598Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2011/07/14 |
| 基于切片技术的并行化研究 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 108 作者: 桑春雷; 张兆庆
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 切片 并行化 OpenMP 分析工具 |
| 别名集切片与并行化研究 期刊论文 计算机工程, 2011, 卷号: 37.0, 期号: 021, 页码: 6 作者: 桑春雷; 张兆庆
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 别名集切片 并行程序分析 切片技术 别名分析 程序检错 |
| 无权访问的条目 学位论文 作者: 桑春雷
Adobe PDF(898Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/12/27 |
| 无权访问的条目 学位论文 作者: 王毅
Adobe PDF(538Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/06/29 |