Sciweavers

48 search results - page 1 / 10
» Automatic loop transformations and parallelization for Java
Sort
View
ICS
2000
Tsinghua U.
13 years 8 months ago
Automatic loop transformations and parallelization for Java
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
Pedro V. Artigas, Manish Gupta, Samuel P. Midkiff,...
SP
2002
IEEE
165views Security Privacy» more  SP 2002»
13 years 4 months ago
NINJA: Java for high performance numerical computing
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
José E. Moreira, Samuel P. Midkiff, Manish ...
BIRTHDAY
2006
Springer
13 years 8 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
IPPS
2000
IEEE
13 years 9 months ago
JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs
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...
Iffat H. Kazi, David J. Lilja
IJPP
2006
99views more  IJPP 2006»
13 years 4 months ago
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
Sylvain Girbal, Nicolas Vasilache, Cédric B...