Sciweavers

144 search results - page 2 / 29
» Automatic generation of polynomial loop
Sort
View
FASE
2009
Springer
14 years 2 days ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov
ASAP
2010
IEEE
193views Hardware» more  ASAP 2010»
13 years 6 months ago
Automatic generation of polynomial-based hardware architectures for function evaluation
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
SAC
2002
ACM
13 years 4 months ago
Automatic code generation for executing tiled nested loops onto parallel architectures
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...
Georgios I. Goumas, Maria Athanasaki, Nectarios Ko...
SAC
2004
ACM
13 years 10 months ago
Automatic parallel code generation for tiled nested loops
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
LCPC
2000
Springer
13 years 8 months ago
Issues of the Automatic Generation of HPF Loop Programs
Peter Faber, Martin Griebl, Christian Lengauer