文章题目:无向图中子集反馈顶点集问题的精确算法
作者:周晓清1),2) 肖鸣宇1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:一种面向软件缺陷预测的可容忍噪声的特征选择框架
作者:刘望舒1),2) 陈翔1),3) 顾庆1),2) 刘树龙1),2)
陈道蓄1),2)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:面向方面业务过程建模的正确性控制与检测
作者:张 璇1),2) 王 旭3)
李
彤1),2)
陈清毅1),2)
刘俊晖1),2)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:基于区间线性模版约束的程序分析
作者:姜加红 尹帮虎 陈立前等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:用于视频内容认证的抗二次压缩水印算法
作者:付剑晶1),2) 陈德人1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:面向二进制程序的空指针解引用错误的检测方法
作者:傅玉1) 邓艺1) 孙晓山1) 程亮1)
张阳1)
冯登国1),2)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:自动程序修复方法研究述评
作者:王赞1) 郜健1) 陈翔2) 傅浩杰1)
樊向宇1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:基于Petri网的批量迹与过程模型校准
作者:田银花1),2) 杜玉越1) 韩咚3) 刘伟1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:面向管理的克隆代码研究综述
作者:苏小红 张凡龙等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:一种安全攸关嵌入式系统需求追踪方法
作者:王飞1) 黄志球1),2) 杨志斌1) 阚双龙1)
沈国华1)
陈光颖1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:集成测试中的类测试顺序生成技术述评
作者:张艳梅1),2),3) 姜淑娟1),2) 张 妙1)
鞠小林4)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:基于Petri网BehaviorInclusion的业务流程变化域融合分析
作者:方贤文1),2) 赵芳2) 方欢1) 刘祥伟1)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:算法能耗复杂度的定义与推导
作者:宋杰1) 马忠义1) 徐澍1) 鲍玉斌2)
于戈2)等
发表年:2018年
发表期:3期
全文:(PDF)下载
文章题目:正态云模型研究回顾与展望
作者:杨洁1) 王国胤1) 刘群1) 郭毅可2)
刘悦2)
淦文燕3)
刘玉超4)等
发表年:2018年
发表期:3期
全文:(PDF)下载