文章摘要
李恒杰,何文婷,陈莉,刘雷,吴承勇.支持算法组件自动替换的编程范式及编译框架[J].高技术通讯(中文),2013,23(11):1131~1138
支持算法组件自动替换的编程范式及编译框架
  
DOI:
中文关键词: 算法组件兼容性判定,编程范式,编译框架,迭代编译
英文关键词: 
基金项目:
作者单位
李恒杰 中国科学院计算技术研究所;中国科学院大学 
何文婷 中国科学院计算技术研究所;中国科学院大学 
陈莉 中国科学院计算技术研究所 
刘雷 中国科学院计算技术研究所 
吴承勇 中国科学院计算技术研究所 
摘要点击次数: 2962
全文下载次数: 2542
中文摘要:
      针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型,或支持算法与编译优化选项的自动选择。实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29。
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭

分享按钮