目录
系统软件前沿进展专题
系统软件前沿进展专题前言武延军;陈海波;包云岗;李玲;2981-2982
基于污点分析的数组越界缺陷的静态检测方法高凤娟;王豫;陈天骄;司徒凌云;王林章;李宣东;2983-3003
面向移动终端智能的自治学习系统徐梦炜;刘渊强;黄康;刘譞哲;黄罡;3004-3018
基于跨虚拟机零下陷通信的加速器虚拟化框架李鼎基;糜泽羽;吴保东;陈逊;赵永望;丁佐华;陈海波;3019-3037
一种适应GPU的混合访问缓存索引框架张鸿骏;武延军;张珩;张立波;3038-3055
面向操作系统可靠性保障的开源软件供应链梁冠宇;武延军;吴敬征;赵琛;3056-3073
一种神经网络指令集扩展与代码映射机制娄文启;王超;宫磊;周学海;3074-3086
FPGA加速系统开发工具设计:综述与实践刘焰强;戚正伟;管海兵;3087-3099
在离线混部作业调度与资源管理技术研究综述王康瑾;贾统;李影;3100-3119
抗电路板级物理攻击的操作系统防御技术研究张倩颖;赵世军;3120-3146系统软件与软件工程
协同业务过程的建模及正确性修正莫启;代飞;笪建;朱锐;谢仲文;李彤;3147-3166模式识别与人工智能
基于领域语义知识库的疾病辅助诊断方法陈德彦;赵宏;张霞;3167-3183算法设计与分析
申威26010众核处理器上一维FFT实现与优化赵玉文;敖玉龙;杨超;刘芳芳;尹万旺;林蓉芬;3184-3196数据库技术
支持OR语义的高效受限Top-k空间关键字查询技术潘晓;于启迪;马昂;孙亚欣;吴雷;郭景峰;3197-3215
一种时间序列鉴别性特征字典构建算法张伟;王志海;原继东;郝石磊;3216-3237计算机网络与信息安全
改进的三方口令验证元认证密钥交换协议张启慧;胡学先;刘文芬;魏江宏;3238-3250计算机图形学与计算机辅助设计
基于物理及数据驱动的流体动画研究肖祥云;杨旭波;3251-3265
距离约束的网格曲面曲线设计方法金耀;宋丹;俞成海;马文娟;宋滢;何利力;3266-3279
局部各向异性的薄壳收缩变形孙晓鹏;何鑫;王振燕;李娇娇;陈腾;董雨;3280-3294操作系统
多节点系统异常日志流量模式检测方法王晓东;赵一宁;肖海力;迟学斌;王小宁;3295-3308
并行帧缓存设备:基于多核CPU的Xorg并行显示优化高珑;戴华东;杨沙洲;丁滟;3309-3320
《软件学报》投稿指南3321
《软件学报》2020年已出版专刊/专题3322