2019年第30卷第2期目录

浏览其它刊期:  
  
本期目录

  • 方法级别的细粒度软件缺陷定位方法
  • 张文,李自强,杜宇航,杨叶
  • 2019,30(2):195-210 [摘要(4173)]  [PDF(5286)1.88 M][HTML(1615)]
  • 面向Android应用隐私泄露检测的多源污点分析技术
  • 王蕾,周卿,何冬杰,李炼,冯晓兵
  • 2019,30(2):211-230 [摘要(4021)]  [PDF(8226)2.36 M][HTML(2565)]
  • 用于验证多智能体系统的APTL模型检测器
  • 王海洋,段振华,田聪
  • 2019,30(2):231-243 [摘要(3582)]  [PDF(4462)1.41 M][HTML(1850)]
  • 代表点一致性约束的多视角模糊聚类算法
  • 张远鹏,周洁,邓赵红,钟富礼,蒋亦樟,杭文龙,王士同
  • 2019,30(2):282-301 [摘要(2938)]  [PDF(4405)2.75 M][HTML(1658)]
  • VANET中流调度与路径选择联合优化的传输策略
  • 强敏,陈晓江,尹小燕,贾茹昭,徐丹,汤战勇,房鼎益
  • 2019,30(2):346-361 [摘要(2485)]  [PDF(4251)1.73 M][HTML(1656)]
  • 一个支持错误定位的批处理数据拥有性证明方案
  • 庞晓琼,王田琪,陈文俊,任孟琦
  • 2019,30(2):362-380 [摘要(3240)]  [PDF(4116)2.00 M][HTML(1629)]
  • 针对层次化名字路由的聚合机制
  • 许志伟,陈波,张玉军
  • 2019,30(2):381-398 [摘要(3071)]  [PDF(4189)2.00 M][HTML(1501)]
  • 基于可重随机化混淆电路的可验证计算
  • 赵青松,曾庆凯,刘西蒙,徐焕良
  • 2019,30(2):399-415 [摘要(4041)]  [PDF(5477)1.72 M][HTML(1610)]
  • 一种面向人脸活体检测的对抗样本生成算法
  • 马玉琨,毋立芳,简萌,刘方昊,杨洲
  • 2019,30(2):469-480 [摘要(4741)]  [PDF(7059)1.66 M][HTML(1809)]
  • 多核环境下基于图模型的实时规则调度方法
  • 王娟娟,乔颖,熊金泉,王宏安
  • 2019,30(2):481-494 [摘要(4141)]  [PDF(4863)1.62 M][HTML(1691)]
  • 综述文章

  • 程序自动修复:关键问题及技术
  • 李斌,贺也平,马恒太
  • 2019,30(2):244-265 [摘要(4171)]  [PDF(10459)2.11 M][HTML(4078)]
  • 增强上下文的错误定位技术
  • 张卓,谭庆平,毛晓光,雷晏,常曦,薛建新
  • 2019,30(2):266-281 [摘要(4099)]  [PDF(6834)2.08 M][HTML(3828)]
  • 互联网端到端多路径传输跨层优化研究综述
  • 江卓,吴茜,李贺武,吴建平
  • 2019,30(2):302-322 [摘要(4069)]  [PDF(8708)2.19 M][HTML(5980)]
  • 空间延迟/中断容忍网络的接触图路由研究综述
  • 徐双,王兴伟,黄敏,张琳琳
  • 2019,30(2):323-345 [摘要(3601)]  [PDF(11470)3.06 M][HTML(4859)]
  • 视觉注意力检测综述
  • 王文冠,沈建冰,贾云得
  • 2019,30(2):416-439 [摘要(5044)]  [PDF(17411)2.65 M][HTML(6001)]
  • 基于深度学习的图像语义分割方法综述
  • 田萱,王亮,丁琪
  • 2019,30(2):440-468 [摘要(9429)]  [PDF(25027)3.27 M][HTML(7668)]
  • 用微信扫一扫

    用微信扫一扫