软件学报
搜索
软件学报
2019年2期
浏览往期
订阅
目录
系统软件与软件工程
方法级别的细粒度软件缺陷定位方法∗
面向Android应用隐私泄露检测的多源污点分析技术∗
用于验证多智能体系统的APTL模型检测器∗
程序自动修复:关键问题及技术∗
增强上下文的错误定位技术∗
模式识别与人工智能
代表点一致性约束的多视角模糊聚类算法∗
计算机网络与信息安全
互联网端到端多路径传输跨层优化研究综述∗
空间延迟/中断容忍网络的接触图路由研究综述∗
VANET中流调度与路径选择联合优化的传输策略∗
一个支持错误定位的批处理数据拥有性证明方案∗
针对层次化名字路由的聚合机制∗
基于可重随机化混淆电路的可验证计算∗
计算机图形学与计算机辅助设计
视觉注意力检测综述∗
基于深度学习的图像语义分割方法综述∗
一种面向人脸活体检测的对抗样本生成算法∗
操作系统
多核环境下基于图模型的实时规则调度方法∗