275 search results - page 2 / 55 » On Validity of Program Transformations in the Java Memory Mo... |
128
Voted
ENTCS
2007
15 years 2 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...
97
Voted
IWMM
2004
Springer
15 years 7 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...
141
Voted
IPPS
2000
IEEE
15 years 6 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
15 years 8 months ago
2007
Springer