小型微型计算机系统杂志北大期刊CSCD期刊统计源期刊

小型微型计算机系统 2017年第05期杂志 文档列表

小型微型计算机系统杂志计算机软件与数据库研究

二叉树程序循环不变形状图的自动推断第913-918页

关键词: 程序验证；  形状图逻辑；  形状分析；  二叉树；  循环不变形状图的自动推断；  

代码变更驱动的软件产品线演化方法第919-924页

关键词: 软件产品线；  可变性；  特征模型；  代码重构；  

关于断言语言中引入逻辑变量的研究第925-929页

关键词: hoare逻辑；  形式化验证；  逻辑变量；  断言语言；  

去重环境下基于元数据分类的贪婪预取型数据恢复第930-935页

关键词: 存储；  重复数据删除；  重写；  元数据预取；  恢复；  

栈指针程序的形式验证第936-940页

关键词: 程序验证；  栈指针；  静态区指针；  路径别名；  hoare逻辑；  

MapReduce架构下的大规模轨迹数据压缩策略第941-945页

关键词: gps数据；  mapreduce；  轨迹压缩；  时空特征；  开放窗口；  

面向群组的社交follow推荐方法研究第946-950页

关键词: 社交媒体；  矩阵分解；  群组推荐；  融合策略；  

融合用户信任的协同过滤推荐算法第951-955页

关键词: 协同过滤；  用户信任；  评分信任；  偏好信任；  

2017年全国高性能计算学术年会（HPC CHINA 2017）征文通知（第一轮）第955-955页

关键词: 性能计算；  学术年会；  征文通知；  中国科学技术大学；  专业委员会；  安徽大学；  计算机；  

满足非重叠条件的带有通配符序列模式挖掘第956-960页

关键词: 序列模式；  通配符；  层次图；  非重叠出现；  

基于正负反馈的SVM协同过滤Top-N推荐算法第961-966页

关键词: 支持向量机；  协同过滤；  基于项目协调过滤；  

征稿简则第966-966页

关键词: 征稿简则；  计算机科学理论；  微型计算机系统；  计算机软件；  计算机图形；  计算数学；  计算技术；  体系结构；  

不一致性进化特征选择方法第967-971页

关键词: 特征选择；  数据预处理；  遗传算法；  不一致性；  

支持三级缓存的移动小组域实时协同模型研究第972-976页

关键词: 移动p2p网络；  实时协同；  abst操作转换算法；  一致性维护；  

数据挖掘中的一种次优化动作知识提取方法第977-982页

关键词: 动作知识提取；  数据挖掘；  随机森林；  状态空间搜索；