Sciweavers

144 search results - page 3 / 29
» Automatic generation of polynomial loop
Sort
View
124
Voted
ICALP
2005
Springer
15 years 9 months ago
The Polyranking Principle
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...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
VMCAI
2010
Springer
16 years 20 days ago
Invariant and Type Inference for Matrices
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),...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
98
Voted
SAS
2004
Springer
110views Formal Methods» more  SAS 2004»
15 years 8 months ago
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Enric Rodríguez-Carbonell, Deepak Kapur
PDPTA
2007
15 years 4 months ago
Suppressing Independent Loops in Packing/Unpacking Loop Nest to Reduce Message Size for Message-passing Code
- 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...
P. Jerry Martin, Clayton S. Ferner
126
Voted
DAGSTUHL
2007
15 years 4 months ago
Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures
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...
Armin Größlinger