您的位置： 专家智库 > >

国家自然科学基金(60970024)

作品数：1 被引量：1H指数：1
相关作者：李恒杰何文婷陈莉吴承勇刘雷更多>>
相关机构：中国科学院大学中国科学院更多>>
发文基金：创新研究群体科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇兼容性
  • 1篇编程
  • 1篇编程范式

机构

  • 1篇中国科学院
  • 1篇中国科学院大...

作者

  • 1篇刘雷
  • 1篇吴承勇
  • 1篇陈莉
  • 1篇何文婷
  • 1篇李恒杰

传媒

  • 1篇高技术通讯

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
支持算法组件自动替换的编程范式及编译框架被引量：1
2013年
针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型,或支持算法与编译优化选项的自动选择。实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29。
李恒杰何文婷陈莉刘雷吴承勇
关键词：编程范式
全选 清除 导出
共1页<1>
聚类工具0