 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
|
|
一共
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
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
