主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2019年第30卷第2期目录

   
浏览其它刊期:  
  

本期目录

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

综述文章

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

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利