系统软件前沿进展专题

1. 系统软件前沿进展专题前言∗
2. 基于污点分析的数组越界缺陷的静态检测方法∗
3. 面向移动终端智能的自治学习系统∗
4. 基于跨虚拟机零下陷通信的加速器虚拟化框架∗
5. 一种适应GPU的混合访问缓存索引框架∗
6. 面向操作系统可靠性保障的开源软件供应链∗
7. 一种神经网络指令集扩展与代码映射机制∗
8. FPGA加速系统开发工具设计:综述与实践∗
9. 在离线混部作业调度与资源管理技术研究综述∗
10. 抗电路板级物理攻击的操作系统防御技术研究∗

系统软件与软件工程

1. 协同业务过程的建模及正确性修正∗

数据库技术

1. 支持OR语义的高效受限Top-k空间关键字查询技术∗
2. 一种时间序列鉴别性特征字典构建算法∗

模式识别与人工智能

1. 基于领域语义知识库的疾病辅助诊断方法∗

算法设计与分析

1. 申威26010众核处理器上一维FFT实现与优化∗

计算机网络与信息安全

1. 改进的三方口令验证元认证密钥交换协议∗

计算机图形学与计算机辅助设计

1. 基于物理及数据驱动的流体动画研究∗
2. 距离约束的网格曲面曲线设计方法∗
3. 局部各向异性的薄壳收缩变形∗

操作系统

1. 多节点系统异常日志流量模式检测方法∗
2. 并行帧缓存设备:基于多核CPU的Xorg并行显示优化∗

1. 《软件学报》投稿指南