275 search results - page 2 / 55 » On Validity of Program Transformations in the Java Memory Mo... |
ENTCS
2007
13 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
IWMM
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer