3736 search results - page 570 / 748 » Generative Programming |
212
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
174
click to vote
IPPS
2006
IEEE
16 years 28 days ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
243
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
179
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
204
click to vote
EMSOFT
2005
Springer
16 years 13 days ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...