144 search results - page 3 / 29 » Automatic generation of polynomial loop |
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
SAS
2004
Springer
13 years 11 months ago
2004
Springer
PDPTA
2007
13 years 7 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...
DAGSTUHL
2007
13 years 7 months ago
2007
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...