Sciweavers

48 search results - page 1 / 10
» Automatic loop transformations and parallelization for Java
Sort
View
ICS
2000
Tsinghua U.
13 years 10 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 6 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 10 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 11 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 6 months ago
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
Sylvain Girbal, Nicolas Vasilache, Cédric B...