… compilation. Several optimizations are introduced, such as commutation of patterns, use of exhaustiveness information, and control flow optimization through the use of labeled static exceptions and context information. These optimizations have …
ICFP 2001: 26-37 [doi]… of parallel programming languages in the intermediate representation of optimizing … representation of classical optimizing compilers, designed for single-threaded … of downstream optimizations. We define the properties we introduce …
In Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10). 2010:… In an attempt to optimize network performance of delivered 2G and 3G services and reduce operating costs, today’s mobile operators are searching … sites in order to optimize traffic backhauling to the network core. …
jcp, 2(10):38-44, 2007. [doi]… application to the production of program optimizers. Valid transformations on program … the desired optimization effects. Separating rules from strategies in this fashion makes it easier to reason about the behavior of the optimizer as a whole …
ICFP 1998: 13-26 [doi]… We present an automated technique for generating compiler optimizations from … into broadly applicable optimization rules.
We present a category-theoretic … our technique can also be used to learn query optimizations for relational …
POPL 2010: 389-402 [doi]… -specific semantics of the code and optimize it. This allows the overhead of advice weaving and performing non-local advice dispatch optimization to occur prior to runtime. It also allows the VM to perform optimizations that are unavailable …
AOSD 2008: 180-190 [doi]… This thesis describes several optimizations of the run-time behavior of list matching and list construction in the ASF+SDF run-time. The basic semantics of lists in ASF+SDF is based on a persistent data-structure called ATerms that employs …
Master's thesis, Universiteit van Amsterdam, nov 1999.… the generic innermost rewriting strategy can be optimized by fusing it with the rules to which it is applied. Both the optimization and the programs to which the optimization applies are specified in the strategy language Stratego …
ENTCS, 57:144-162, 2001. [doi]… Most modern RDBMS depend on the query processing optimizer’s cost model … the importance of considering the buffer-cache occupancy during optimization …-pool aware query optimization. The WCC-model is a novel feedback optimization …
edbt 2010: 219-227 [doi]… result. If production is optimized with an uncertain model, some potential … on a conservative formulation of the production optimization problem, a potential for production optimization in excess of 2% and lost potential due …
In IFAC World Congress 2008. 2008:… Data-flow optimizations are usually implemented on low-level intermediate repre- sentations. This is not appropriate for source-to-source optimizations, which … show how constant propagation, a well known data-flow optimization problem, can …
ENTCS, 70(6):156-175, 2002. [doi]… Many methods for solving optimization problems, whether direct or indirect …. Global optimization methods like Evolutionary algorithms, overcome this problem … the particle swarm optimization. The opposition-based PSO uses the concept …
In Neural Networks (IJCNN), The 2010 International Joint Conference on. 2010: 1-8 [doi]… examines the problem of making optimizing compilers faster, less buggy, and more …
http://arxiv.org/abs/1809.02161, 09 2018.… a key range is queried, the index is optimized for this key range. The effect …, traditional index creation sorts data with an efficient merge sort optimized … creation. Index optimization focuses on key ranges used in actual queries …
edbt 2010: 371-381 [doi]… Real-time optimization of oil and gas production requires a production model … estimation of uncertainty in production optimization resulting from fitting models … planning and real-time optimization under uncertainty. …
In Proc. SPE Intelligent Energy Conference 2008. 2008:… .
In this paper the optimization of parsing schemata, a framework for high-level … disambiguation methods. As a case study the optimization of the parsing schema of Earley’s …
In International Workshop on Parsing Technology (IWPT 1997). 1997: 210-224… .
In this paper we introduce a novel rewrite-based optimization technique …-based rewrite rules similar to predicate push-down in query optimization …
edbt 2010: 453-464 [doi]… and optimized generation of rules. After parsing the choreography graph into a hierarchy of canonical blocks, tagging each event by its block ascendancy, an optimized set …
In 10th International Conference on Service Oriented Computing (ICSOC 2012 ). 2012: 222-236 [doi]