支持算法组件自动替换的编程范式及编译框架
文献类型：期刊论文
| 作者 | 李恒杰; 何文婷; 陈莉; 刘雷; 吴承勇 |
| 刊名 | 高技术通讯
 |
| 出版日期 | 2013 |
| 卷号 | 23.0期号:011页码:1131 |
| 关键词 | 算法组件兼容性判定 编程范式 编译框架 迭代编译 |
| ISSN号 | 1002-0470 |
| 英文摘要 | 针对算法组件的自动替换蕴含的算法组件的兼容性判定问题，提出了一个算法组件的约束模型，从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定，采用了分治思想，即只需判定原子约束强度，约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性，提出了支持算法自动替换的编程范式，使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型，或支持算法与编译优化选项的自动选择。实验结果显示，该系统在9个测试用例上获得的平均加速比为2．29。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/34825]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 李恒杰,何文婷,陈莉,等. 支持算法组件自动替换的编程范式及编译框架[J]. 高技术通讯,2013,23.0(011):1131. |
| APA | 李恒杰,何文婷,陈莉,刘雷,&吴承勇.(2013).支持算法组件自动替换的编程范式及编译框架.高技术通讯,23.0(011),1131. |
| MLA | 李恒杰,et al."支持算法组件自动替换的编程范式及编译框架".高技术通讯 23.0.011(2013):1131. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。