Institute of Computing Technology, Chinese Academy IR
| 支持算法组件自动替换的编程范式及编译框架 | |
| 李恒杰; 何文婷; 陈莉; 刘雷; 吴承勇 | |
| 2013 | |
| 发表期刊 | 高技术通讯
 |
| ISSN | 1002-0470 |
| 卷号 | 23.0期号:011页码:1131 |
| 摘要 | 针对算法组件的自动替换蕴含的算法组件的兼容性判定问题，提出了一个算法组件的约束模型，从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定，采用了分治思想，即只需判定原子约束强度，约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性，提出了支持算法自动替换的编程范式，使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型，或支持算法与编译优化选项的自动选择。实验结果显示，该系统在9个测试用例上获得的平均加速比为2．29。 |
| 关键词 | 算法组件兼容性判定 编程范式 编译框架 迭代编译 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/34826 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 李恒杰,何文婷,陈莉,等. 支持算法组件自动替换的编程范式及编译框架[J]. 高技术通讯,2013,23.0(011):1131. |
| APA | 李恒杰,何文婷,陈莉,刘雷,&吴承勇.(2013).支持算法组件自动替换的编程范式及编译框架.高技术通讯,23.0(011),1131. |
| MLA | 李恒杰,et al."支持算法组件自动替换的编程范式及编译框架".高技术通讯 23.0.011(2013):1131. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [李恒杰]的文章 |
| [何文婷]的文章 |
| [陈莉]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [李恒杰]的文章 |
| [何文婷]的文章 |
| [陈莉]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [李恒杰]的文章 |
| [何文婷]的文章 |
| [陈莉]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论