1251 search results - page 3 / 251 » Optimizing Compilation of CLP(R) |
167
click to vote
POPL
2006
ACM
15 years 10 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...
PLDI
1994
ACM
15 years 1 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
71
Voted
IEEEINTERACT
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper examines the effect of compiler optimizations on the energy usage and power consumption of the Intel Pentium 4 processor. We measure the effects of different levels of ...
ICECCS
1996
IEEE
15 years 1 months ago
1996
IEEE
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...
PLDI
1996
ACM
15 years 1 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...