As an approach to deriving an application order of optimizing transformations, a framework is developed for examining the interactions of the transformations. The framework is based on an axiomatic specification technique and includes both pre-conditions and post conditions that must exist before and after applying optimizations. For a selected set of optimizations, the framework is used to determine those interactions among the optimizations that can create conditions and those that can destroy conditions for applying other optimizations. From these interactions, an application order is derived to obtain the potential benefits of the optimizations that can be applied to a program. In some cases, the ordering of a pair of optimizations is unambiguous in that one optimization can either create or destroy the conditions for the other. In the few cases where there is a cyclic interaction, the ordering is resolved based on the perceived importance of the two optimizations.
作为推导优化转换的应用顺序的一种方法,开发了一个框架来检查转换的交互作用。该框架基于公理规范技术,并且包括在应用优化之前和之后必须存在的前置条件和后置条件。对于一组选定的优化,该框架用于确定可以创建条件的优化之间的相互作用以及可以应用其他优化来破坏条件的相互作用。从这些交互中,可以得出应用顺序,以获得可以应用于程序的优化的潜在利益。在某些情况下,一对优化的顺序是明确的,因为一个优化可以为另一个优化创建或破坏条件。在少数情况下,如果存在循环交互,则基于两个优化的重要性来解决排序。 P>
Department of Computer Science, University of Pittsburgh, Pittsburgh, PA;
机译:基于钯催化的C-C键形成的荧光转化:高通量优化和动力学研究的有效方法
机译:通过优化原子转换来激光校准方法的相机
机译:MoTUO:一种在模型转换中优化可用性的方法
机译:变换下基于优化的交通标志识别新方法
机译:源到源优化转换Fast-J作为全球化学法规的案例研究
机译:通过集合模型飞行优化算法预测和优化农杆菌介导的遗传转化:使用菊花数据库的数据挖掘方法
机译:一种结合大小推断和程序优化的转换方法
机译:有效能量转换方案作为全局优化的特殊延续方法,应用于分子构象