This paper discusses the target of loops optimization and various methods of program transformation which can significantly reduce the access time to subscripted variables, diminish some types of dependence, increase the "depth" of software pipelining, and merge some iterations of loops in order to make code compaction easier.
讨论了循环优化的目标和循环优化的各种程序变换方法。
The polyhedral representation technique provides a generic way to express program transformations and their composition, which facilitates the search of optimal program transformation.
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合,有利于最优程序变换的搜索。
The transitions between models are implemented according to the idea of program transformation.
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法。
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
Architecture in the Distributed System as the Center of the Program Change
以体系结构为中心的分布式系统的程序变换
analog-to-digital converter check program
模拟数字变换器检验程序
Fast Fourier Transform Algorithm and Matlab Procedure s Realization;
快速Fourier变换算法及Matlab程序实现
Design of Automation Switch of Pumps to the Control of Frequency Variable System by PLC;
变频恒压控制中PLC自动切换程序设计
To Switchover an APs Applications
切换 AP 应用程序
A study on the ordinal shifting control process of DCT
双离合自动变速器顺序换挡控制过程研究
TPD Study of LB Energy-Saving High Temperature Shift Catalyst
LB型节能高温变换催化剂的程序升温脱附
Research on Logic Consistency of Junk Code Transformation within Sub-function
子程序花指令模糊变换逻辑一致性研究
Translation of a source program into an executable program ( an object program ).
把源程序转换为可执行程序(目标程序)的过程。
compute-limited switching
受计算限制的程序转换
standard media conversion utility program
标准媒体转换实用程序
computer conversion audit
计算机程序转换审计
tape-to-printer program
带-打印机转换程序
Bumping/layoff procedures
工作替换/临时解雇程序
audio routing switcher
声频视频程序转换器
multiplexer simulator
多路转换器模拟程序
modifiable alternate program communication block
可修改更换程序通信块
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号