已选(0)清除
条数/页: 排序方式:
|
| 基于三目极线约束的高精度基础矩阵求解方法 期刊论文 中国科技信息, 2018, 页码: 114-116 作者: 李士杰; 刘巍; 杨景豪; 刘阳; 贾振元
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2019/12/02
|
| 多线程程序的约束建模与自动测试方法研究 学位论文 2018 作者: 张晓东
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/11/26
|
| 针对特定文件结构和关键指令的符号执行优化方法 期刊论文 《信息网络安全》, 2018, 卷号: 0, 页码: 86-94 作者: 陈虎[1] 周瑶[1]; 赵军锁[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/04/22
|
| 基于动态符号执行的勒索软件检测方法 期刊论文 计算机工程, 2018, 卷号: 第44卷, 页码: P104-110 作者: 陈政; 方勇; 刘亮; 左政
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/02/28
|
| 一种多敏感空指针引用错误的静态检测方法 期刊论文 2016, 2016 白杨; 王瑀屏; Bai Yang; Wang Yuping
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0 |
| 基于约束求解的多线程程序数据流分析方法研究 学位论文 2016 作者: 樊浩涵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/11/26
|
| 面向产品线交互配置不一致性修复的差分IBEA算法 期刊论文 软件学报, 2016, 卷号: 27, 页码: 901-915 作者: 路红; 张莉; 岳涛
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2019/12/30
|
| 二维几何约束求解器 期刊论文 2015, 2015 高剑峰; 张申生; 步丰林; 赵继云
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2017/06/15
|
| 基于约束求解的多线程程序正确性验证方法研究 学位论文 2015 作者: 俞乐晨
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/02
|
| 基于问题分解的二维几何约束优化求解 期刊论文 计算机应用研究, 2015, 卷号: 32, 页码: 3460-3462 作者: 高雪瑶; 张春祥; 卢志茂
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/09
|