期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
支持算法组件自动替换的编程范式及编译框架 被引量:1
1
作者 李恒杰 何文婷 +2 位作者 陈莉 刘雷 吴承勇 《高技术通讯》 CAS CSCD 北大核心 2013年第11期1131-1138,共8页
针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容... 针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型,或支持算法与编译优化选项的自动选择。实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29。 展开更多
关键词 算法组件兼容性判定 编程范式 编译框架 迭代编译
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部