CORC

在结果中检索

CORC

浏览/检索结果: 共50条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于三目极线约束的高精度基础矩阵求解方法 期刊论文
中国科技信息, 2018, 页码: 114-116
作者:  李士杰;  刘巍;  杨景豪;  刘阳;  贾振元
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/02
针对特定文件结构和关键指令的符号执行优化方法 期刊论文
《信息网络安全》, 2018, 卷号: 0, 页码: 86-94
作者:  陈虎[1] 周瑶[1];  赵军锁[2]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/22
基于动态符号执行的勒索软件检测方法 期刊论文
计算机工程, 2018, 卷号: 第44卷, 页码: P104-110
作者:  陈政;  方勇;  刘亮;  左政
收藏  |  浏览/下载：5/0  |  提交时间：2019/02/28
一种多敏感空指针引用错误的静态检测方法 期刊论文
2016, 2016
白杨; 王瑀屏; Bai Yang; Wang Yuping
收藏  |  浏览/下载：2/0
面向产品线交互配置不一致性修复的差分IBEA算法 期刊论文
软件学报, 2016, 卷号: 27, 页码: 901-915
作者:  路红;  张莉;  岳涛
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
二维几何约束求解器 期刊论文
2015, 2015
高剑峰; 张申生; 步丰林; 赵继云
收藏  |  浏览/下载：1/0  |  提交时间：2017/06/15
基于问题分解的二维几何约束优化求解 期刊论文
计算机应用研究, 2015, 卷号: 32, 页码: 3460-3462
作者:  高雪瑶;  张春祥;  卢志茂
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/09
博弈视角下政府对建筑节能服务机构的监管效能分析 期刊论文
系统工程, 2015, 卷号: 第33卷 第12期, 页码: 96-100
作者:  邓建英;  兰秋军
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
通用几何约束系统统一建模研究 期刊论文
计算机工程与应用, 2014, 卷号: 50, 期号: 16, 页码: 159-163
作者:  石志良;  陈谊;  张忠全
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/04
多线程程序数据竞争检测与证据生成方法 期刊论文
计算机工程与科学, 2014, 期号: [db:dc_citation_issue], 页码: 2047-2053
作者:  张晓东;  郑庆华;  刘烃;  俞乐晨;  刘沛
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02

©版权所有 ©2017 CSpace - Powered by CSpace