助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   residual program 的翻译结果: 查询用时:0.007秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

residual program
相关语句
  剩余程序
     Partial evaluation plays a very important role in software optimization,while incremental computation is a technique for avoiding duplicative computation. Based on technique of partial evaluation and incremental computation,the authors implemented an incremental partial evaluator of LISP,in which function specialization is done as far as possible on the base of residual program got last time so that efficiency can be improved.
     部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.
短句来源
  相似匹配句对
     Program
     会议程序
     A processing program for residual abnormal traces
     剩余道异常处理程序
短句来源
     A RESIDUAL METHOD PROGRAM WITH THE MINIMUM AIC
     残数法最佳选点程序
短句来源
     PROGRAM "A
     春季进补A计划
短句来源
     Calculation of the residual astigmatism
     残余散光的计算
短句来源
查询“residual program”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  residual program
Because the order of procedure definitions in the residual program is immaterial, it does not matter in which order these two events - building the residual call and building the residual procedure - are scheduled.
      
When a procedure call in the source program gets specialized into a residual call, the called procedure needs to be processed to occur in the residual program.
      
It is proved that for terminating programs, a residual program produced by partial evaluation is semantically equivalent to a conditioned slice.
      
This not only provides termination of mixed computation but allows also to embody in the residual program a control structure encoded in the data.
      
Proof-theoretically, any program Φ is associated a normalform Φ, called the residual program, by a nontrivial bottom-up construction using least fixpoints of two monotonic operators.
      
更多          


Partial evaluation plays a very important role in software optimization,while incremental computation is a technique for avoiding duplicative computation.Based on technique of partial evaluation and incremental computation,the authors implemented an incremental partial evaluator of LISP,in which function specialization is done as far as possible on the base of residual program got last time so that efficiency can be improved.

部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.

This paper describes a partial evaluator for the flow chart language which is based on the liveness analysis. This partial evaluator consists of liveness analysis, binding time analysis, annotation and specialization. With the liveness informations, the binding time analysis can get the abstract interpretation to variables much more precisely than usual. So the quality of the residual program produced by the specialization is improved.

本文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和例化4部分组成.在活跃变量分析基础上再作抽象分析,比以往的抽象分析获得的抽象解释更精确,也更利于产生较高质量的剩余程序.转移压缩在例化中直接进行

Data specialization is a technique for improving the performance of program by splitting its execution into two phases. The first phase performs the early computations and stores their results in a cache. A program is generated for performing the second phase. It consists of the late computation and is parameterized with respect to the cache. In this paper, we present an alternative approach to implement specialization. It extends the traditional data specialization by storing specialized control flow graphs...

Data specialization is a technique for improving the performance of program by splitting its execution into two phases. The first phase performs the early computations and stores their results in a cache. A program is generated for performing the second phase. It consists of the late computation and is parameterized with respect to the cache. In this paper, we present an alternative approach to implement specialization. It extends the traditional data specialization by storing specialized control flow graphs in the cache. Unlike traditional data specialization, our approach not only optimizes the control flow transfers, but also does not cause code explosion, which is also different with traditional program specialization.We have implemented a prototype of an offline data specializer with binding time analysis, which was used for program specialization. A specializer for individual program, which is produced in advance, is used to generate a specialized control flow graph with results of the early computation. A residual program is also generated at compile-time, which is composed of specialized blocks and a control flow graph interpreter, and it can be used in both compile-time specialization and run-time specialization. A cache including specialized control flow graph with early computation's results as their block parameters is produced at specialization-time. Performance of program is improved by using the results and the specialized control flow graph in the cache.The approach optimizes the control flow transfers and makes data specialization to be effective for programs whose bottlenecks are limited to control decisions. As a consequence, as the size of the specialization problem increases, only the cache increases, not the program. Although it achieves a somewhat lower degree of optimization than program specialization, very low overhead in time and space makes it attractive in applications where lightweight run-time specialization is needed. By avoiding dynamic code manipulation, implementation complexity of run-time specialization may be reduced significantly.

提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程序 ;基于这种方式的部分求值系统采用离线工作方式 ,利用了绑定时间分析 ,提高了滞留程序的效率 ;同时避免了例化阶段的代码复制与拼接 ,有效地简化了运行时刻例化系统的实现难度 .

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关residual program的内容
在知识搜索中查有关residual program的内容
在数字搜索中查有关residual program的内容
在概念知识元中查有关residual program的内容
在学术趋势中查有关residual program的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社