367 search results - page 35 / 74 » Partial evaluation of machine code |
121
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
108
click to vote
ICML
2009
IEEE
15 years 9 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
126
click to vote
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
109
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
206
click to vote
ACMMSP
2006
ACM
15 years 8 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...