3373 search results - page 118 / 675 » Linear transformations on codes |
145
Voted
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
113
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
141
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
140
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
105
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...