- 叶俊 ; 谭庆平 ; 李暾 面向特征编程范式的形式化验证技术研究综述
- 崔进鲜 ; 庞建民 ; 岳峰 ; 张一弛 ; 张刚 动态二进制翻译中不对界问题的处理
- 黄静 [1] ; 章晓芳 [1] ; 张广泉 [1,2] 一种基于通知波动效应的面向方面系统依赖图构造方法
- 邬贵明 ; 窦勇 ; 王淼 Cholesky分解细粒度并行算法
- 张斌 ; 眭聚磊 ; 童健聪 ; 王刚 ; 刘晓光 ZFS文件系统中双容错编码性能的研究
- 刘勇 ; 陆林生 ; 何王全 一种简便的栈式片上内存动态管理方法
- 龙舜 ; 朱蔚恒 基于学习的迭代式优化编译中的经验适用性研究
- 刘景方 [1] ; 邹平 [1] ; 张朋柱 [2] 基于本体的任务和知识个体匹配模型研究
- 贾海洋 ; 陈娟 ; 刘大有 贝叶斯网结构学习搜索空间分析
- 秦飞 ; 杨燕 寻找相似样本的小样本半监督学习
- 李光兴 [1,2] ; 杨燕 [2] 基于网格相邻关系的离异点识别算法
- 王兵 ; 姚益平 ; 邢飞 计算系统生物学中并行随机仿真方法研究进展
- 王倩 [1] ; 陈彩 [1] ; 吕关锋 [1] ; 苏开乐 [2] 可满足赋值算子的设计与实现
- 常战芳 [1] ; 班晓娟 [1] ; 刘旭 [1] ; 周瑜 [1] ; 何新波 [2] 基于多源数据融合的注射坯密度分布控制算法
- 蒋宗礼 ; 田晓燕 ; 赵旭 一种基于语义分析的主题爬虫算法
- 杨乌日吐 [1] ; 林昊 [2] 基于多特征尺度的大肠杆菌启动子预测
- 陈超 ; 栾峻峰 枚举有符号基因组的可行交互移位算法
- 张冬松 ; 陈芳园 ; 金士尧 多核系统中基于动态电压频率调节的实时节能调度研究
- 李苏妮 [1] ; 李天朝 [2] ; 李永明 [1,3] 加权Moore机的同余与最小化