214 search results - page 13 / 43 » Automatic Correction of Loop Transformations |
CASCON
1996
15 years 1 months ago
1996
The trend in workstation hardware is towards symmetric shared-memory multiprocessors (SMPs). User expectations are for (largely) automatic exploitation of parallelismon an SMP, si...
103
Voted
ISMDA
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the modelling and segmentation with correction of inhomogeneity in magnetic resonance imaging of shoulder. For that purpose a new heuristic is proposed using a ...
104
click to vote
COSPS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
88
Voted
IEEEPACT
1998
IEEE
15 years 4 months ago
1998
IEEE
We study in this paper the problem of polyhedron scanning which appears for example when generating code for transformed loop nests in automatic parallelization. After a review of...
92
Voted
CADE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...