|
已选(0)清除
条数/页： 排序方式：
|
| 基于符号执行的能耗错误检测方法 期刊论文
电子学报, 2016, 卷号: 44, 期号: 5
作者: 陈勇; 何炎祥; 徐超; 葛红美
  收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 运载火箭低冲分离装置火工分离过程碰撞动力学分析 会议论文
第九届全国多体系统动力学暨第四届全国航天动力学与控制学术会议, 武汉, 2015-10-16
作者: 陈韬; 赵振
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| 短程心理咨询的会谈间体验对咨询效果的影响——来自纵向测量的证据 期刊论文
心理科学, 2013, 卷号: 36, 期号: 5, 页码: 1216-1222
作者: 于丽霞; 郑晓边; 夏勉
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/23
|
| 基于精确内存模型的过程间静态分析的研究与改进 会议论文
第五届信息安全漏洞分析与风险评估大会, 上海, 2012-12-06
作者: 张; 李舟军; 章磊; 时志伟
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| OpenMP指导语句全局嵌套类型的静态分析及应用(英文) 期刊论文
2010, 2010
陈永健; 舒继武; 李建江; 王鼎兴; CHEN Yong-Jian; SHU Ji-Wu; LI Jian-Jiang; WANG Ding-Xing
收藏 | 浏览/下载：5/0 |
| 基于过程扼要信息的上下文敏感过程间指针分析 学位论文
2009
作者: 潘晓宇
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/18
|
| 通信下推系统的一种有界可达算法 期刊论文
计算机工程与应用, 2008, 卷号: 第44卷 第24期, 页码: 19-21
作者: 缪力，张大方
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/13
|
| 过程间并发程序分析不可判定的一个新证明方法 期刊论文
计算技术与自动化, 2007, 卷号: 第26卷 第2期, 页码: 53-57
作者: 缪力; 张大方
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/13
|
| 电火花加工中极间介质击穿过程的研究 会议论文
2007年中国机械工程学会年会, 长沙, 2007-11-03
作者: 刘宇; 王元刚; 赵福令
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/27
|
| 云龙河拱坝施工过程的三维有限元仿真分析 期刊论文
中国农村水利水电, 2006, 期号: 7
作者: 常晓林; 卢建华
收藏 | 浏览/下载：0/0 | 提交时间：2019/12/05
|
