您的位置： 专家智库 > >

周雷

作品数：1 被引量：2H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇代码
  • 1篇代码优化

机构

  • 1篇上海交通大学

作者

  • 1篇陈克非
  • 1篇周雷

传媒

  • 1篇计算机工程

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于符号运算的归纳变量识别与约化被引量：2
2010年
针对归纳变量的识别及归约问题提出一种基于符号运算的新算法。通过初始变量替换赋值语句中的右值,用以表达变量间的迭代与依赖关系,由此建立有向依赖图用于识别归纳变量。为归纳变量构建递归方程组并利用符号运算进行求解,获得独立的仅依赖于迭代次数的数学形式。实验结果表明,该方法适用于各种复杂的归纳变量,能够解决现有算法无法处理的一些问题。
周雷陈克非
关键词：代码优化
全选 清除 导出
共1页<1>
聚类工具0