Continuous program optimization: A case study

T Kistler, M Franz - ACM Transactions on Programming Languages and …, 2003 - dl.acm.org
… s centralized approach, in which software suppliers need to keep track of, and maintain
appropriate compilers for, all the architectures for which they want to provide optimized code, our …

[КНИГА][B] Code optimization techniques for embedded processors: Methods, algorithms, and tools

R Leupers - 2013 - books.google.com
… ■ Chapter 7 describes a technique that reuses the well-known concept of function inlining
for performance optimization at the source code level. Unlike in existing inlining techniques, …

Computer program for multimodel reliability and optimization analysis

M Mahsuli, T Haukaas - Journal of computing in civil engineering, 2013 - ascelibrary.org
… to adopt classical structural reliability methods in conjunction with models that characterize
all … the implementation of complex models by writing JavaScript code without the need to …

Optimization of computer programming based on mathematical models of artificial intelligence algorithms

Y Zheng - Computers and Electrical Engineering, 2023 - Elsevier
model of AI algorithms to optimize computer programing. The importance and practical role
of mathematical model-optimization methodscode and the quality of computer programming. …

Analytic models and empirical search: A hybrid approach to code optimization

A Epshteyn, MJ Garzaran, G DeJong, D Padua… - … for Parallel Computing …, 2006 - Springer
… chitecture, the source code, other compilation decisions, and so on. Every … approach we
compare it directly with a leading analytic model and a leading empirical optimization approach

A deep learning based cost model for automatic code optimization

R Baghdadi, M Merouani… - Proceedings of …, 2021 - proceedings.mlsys.org
… We developed a code generator that generates random programs and sequences of …
the ability of search approach combined with the cost model to find good code transformation …

Modeling, optimization and computation for software verification

M Roozbehani, E Feron, A Megrestki - International Workshop on Hybrid …, 2005 - Springer
… of computer programs along with specific models that are … of computer code, can be formulated
as a convex optimization problem, … theoretic approach for software analysis. We present …

A unified approach to global program optimization

GA Kildall - … -SIGPLAN symposium on Principles of programming …, 1973 - dl.acm.org
… for global analysis of program structure in order to perform compile time optimization of
object code generated for expressions. The global expression optimization presented includes …

Toward optimized code generation through model-based optimization

A Charfi, C Mraidha, S Gérard… - … Design, Automation & …, 2010 - ieeexplore.ieee.org
… , like our approach, the necessity of exploiting source language semantics in the … optimizations
that correspond to the UML model. Given the benefits of the model compilation approach

A comparison of empirical and model-driven optimization

K Yotov, X Li, G Ren, M Cibulskis, G DeJong… - … on Programming …, 2003 - dl.acm.org
… Perhaps the most important conclusion of this work is that empirical search may not be
necessary to generate high quality code, given the effectiveness of the model-driven approach. It …