文章编号
标题
作者
年卷期:起始页码-结束页码
复制
5370
一种面向异构众核处理器的并行编译框架
李雁冰,赵荣彩,韩林,赵捷,徐金龙,李颖颖
2019,30(4):981-1001
5425
多元时间序列的Web Service QoS预测方法
张鹏程,王丽艳,吉顺慧,李雯睿
2019,30(6):1742-1758
5427
Weibull分布引进故障的软件可靠性增长模型
王金勇,张策,米晓萍,郭新峰,李济洪
2019,30(6):1759-1777
5429
基于指令交换的代码混淆方法
潘雁,祝跃飞,林伟
2019,30(6):1778-1792
5491
基于应用视角的缓冲区溢出检测技术与工具
司徒凌云,王林章,李宣东,刘杨
2019,30(6):1721-1741
5565
方法级别的细粒度软件缺陷定位方法
张文,李自强,杜宇航,杨叶
2019,30(2):195-210
5581
面向Android应用隐私泄露检测的多源污点分析技术
王蕾,周卿,何冬杰,李炼,冯晓兵
2019,30(2):211-230
5584
用于验证多智能体系统的APTL模型检测器
王海洋,段振华,田聪
2019,30(2):231-243
5643
程序理解:现状与未来
金芝,刘芳,李戈
2019,30(1):110-126
5645
软件过程与管理方法综述
荣国平,张贺,邵栋,王青
2019,30(1):62-79
5646
新型数据管理系统研究进展与趋势
崔斌,高军,童咏昕,许建秋,张东祥,邹磊
2019,30(1):164-193
5650
软件开发方法发展回顾与展望
马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东
2019,30(1):3-21
5651
程序分析研究进展
张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦
2019,30(1):80-109
5652
形式化方法概貌
王戟,詹乃军,冯新宇,刘志明
2019,30(1):33-61
5657
程序自动修复:关键问题及技术
李斌,贺也平,马恒太
2019,30(2):244-265
1
2
一共
17
条记录 共
2
页 第
1
页
第一页
上一页
下一页
最后一页
跳转到第
页
用微信扫一扫