主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  纸质出版
投稿指南 问题解答 下载区 收费标准 在线投稿
检索年份 检索期号    
一共  21 条记录  共  2 页  第1 页   第一页 最后一页 跳转到第
文章编号标题作者年卷期:起止页码复制
5958 系统软件构造与验证技术专题前言 赵永望,刘杨,王戟 2020,31(5):1241-1242
5950 静态程序分析并行化研究进展 陆申明,左志强,王林章 2020,31(5):1243-1254
5951 深度神经网络测试研究综述 王赞,闫明,刘爽,陈俊洁,张栋迪,吴卓,陈翔 2020,31(5):1255-1275
5949 面向顺序存储结构的数据流分析 王淑栋,尹文静,董玉坤,张莉,刘浩 2020,31(5):1276-1293
5954 基于深度学习的安全缺陷报告预测方法实证研究 郑炜,陈军正,吴潇雪,陈翔,夏鑫 2020,31(5):1294-1313
5955 Web应用前后端融合的遗传算法并行化测试用例生成 王微微,李奕超,赵瑞莲,李征 2020,31(5):1314-1331
5956 CRDT协议的TLA+描述与验证 纪业,魏恒峰,黄宇,吕建 2020,31(5):1332-1352
5957 嵌入式实时操作系统内核混合代码的自动化验证框架 郭建,丁继政,朱晓冉 2020,31(5):1353-1373
5952 区域控制器的安全需求建模与自动验证 刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁 2020,31(5):1374-1391
5953 基于TEE的主动可信TPM/TCM设计与实现 董攀,丁滟,江哲,黄辰林,范冠男 2020,31(5):1392-1405
5967 区块链隐私保护研究与实践综述 张奥,白晓颖 2020,31(5):1406-1434
5966 智能代码补全研究综述 杨博,张能,李善平,夏鑫 2020,31(5):1435-1453
5660 一种基于深度森林的恶意代码分类方法 卢喜东,段哲民,钱叶魁,周巍 2020,31(5):1454-1464
5988 基于深度学习的自然场景文本检测与识别综述 王建新,王子亚,田萱 2020,31(5):1465-1496
5673 多标记众包学习 李绍园,姜远 2020,31(5):1497-1510
5654 森林优化特征选择算法的增强与扩展 刘兆赓,李占山,王丽,王涛,于海鸿 2020,31(5):1511-1524
5680 拉普拉斯阶梯网络 胡聪,吴小俊,舒振球,陈素根 2020,31(5):1525-1535
5675 基于最小路径交叉度的域内路由保护方案 耿海军,施新刚,王之梁,尹霞,胡治国 2020,31(5):1536-1548
5658 基于小波能谱熵和隐半马尔可夫模型的LDoS攻击检测 吴志军,李红军,刘亮,张景安,岳猛,雷缙 2020,31(5):1549-1562
5676 基于代理重加密的云数据访问授权确定性更新方案 苏铓,吴槟,付安民,俞研,张功萱 2020,31(5):1563-1572
 

京公网安备 11040202500064号

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