《计算机学报》2020年第11期

文章题目：基于机器学习的数据库技术综述
作者：李国良周煊赫孙佶余翔袁海涛刘佳斌韩越等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：面向高效并行Skyline计算的数据划分方法
作者：赵翔1),3) 商海川2)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：RainbowD：一种异构云环境下高效的Docker镜像分发系统
作者：张浩1),2) 孙毓忠1),2) 肖立1),2) 唐勇3) 胡满满1),2) 杜沁园4) 蔡志彬5) 冯百明3)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：基于弛豫模型的模拟退火算法温度设置方法
作者：李元香蒋文超项正龙张伟艳等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：面向Flink迭代计算的高效容错处理技术
作者：郭文鹏1) 赵宇海1) 王国仁2) 韦刘国1)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：函数极限的高阶逻辑形式化建模与验证
作者：赵春娜赵刚等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：一种面向安全关键软件的AADL模型组合验证方法
作者：张博林1) 杨志斌1),2) 周勇1) 马燕燕1) 黄志球1),2) 薛垒3)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：面向轨交控制软件需求模型的量纲分析方法
作者：王尚1) 冯劲草1) 诸嘉逸1) 黄怿豪1) 郑寒月1) 徐想容1) 缪炜恺1) 张翔2) 蒲戈光1),3)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：带有分支结构OpenMP任务图的响应时间分析
作者：孙景昊1),2) 张利威1) 池瑶瑶1) 曹蕾1) 邓庆绪1)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：一种基于用户评论自动分析的APP维护和演化方法
作者：肖建茂陈世展冯志勇刘朋立薛霄等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：基于非规则分块压缩的3D打印稀疏矩阵存储与重构方法
作者：徐敬华1),2) 高铭宇2) 苟华伟2) 张树有1),2) 谭建荣1),2)等
发表年:2020年
发表期:11期
全文：(PDF)下载

文章题目：同步语言多线程代码生成的语义保持证明方法
作者：袁胜浩1) 杨志斌1),2) 张博林1) 周勇1) 薛垒3) BODELEIXJean-Paul4) FILALIMamoun4)等
发表年:2020年
发表期:11期
全文：(PDF)下载