3750 search results - page 424 / 750 » Code Optimization for Code Compression |
145
click to vote
DAM
2008
15 years 4 months ago
2008
We report on ideas, problems and results, which occupied us during the past decade and which seem to extend the frontiers of information theory in several directions. The main con...
255
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
153
click to vote
IEEEPACT
2009
IEEE
15 years 11 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...
102
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
115
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Emerging multi-core processors are able to accelerate medical imaging applications by exploiting the parallelism available in their algorithms. We have implemented a mutual-inform...