Results 1 
4 of
4
Scheduling in the ZPolyhedral Model
 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM
, 2007
"... The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, is limited in expressivity and the need for the generalization to more general class of programs has been widely known. A ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, is limited in expressivity and the need for the generalization to more general class of programs has been widely known. Analyses and transformations in the polyhedral model rely on certain closure properties. Recently, these closure properties were extended to programs where variables may be defined over unions of Zpolyhedra which are the intersection of polyhedra and lattices. We present the scheduling analysis for the automatic parallelization of programs in the Zpolyhedral model, and obtain multidimensional schedules through an ILP formulation that minimizes latency. The resultant schedule can then be used to construct a spacetime transformation to obtain an equivalent program in the Zpolyhedral model.
HABILITATION A DIRIGER DES RECHERCHES de l’UNIVERSITÉ de VERSAILLES ST QUENTINENYVELINES
, 2011
"... Contributions à l’optimisation de code et à la génération de bibliothèques hautes performances. Soutenue le 18 Février 2008 devant le jury composé de: ..."
Abstract
 Add to MetaCart
(Show Context)
Contributions à l’optimisation de code et à la génération de bibliothèques hautes performances. Soutenue le 18 Février 2008 devant le jury composé de:
General
"... Many affine loop nest analysis and optimization techniques are based on the wellknown polyhedral model framework. Namely, iterations and array references are represented by integer points in bounded polyhedra, or Zpolyhedra. In this tool demonstration paper, we present our library ZPolyTrans deal ..."
Abstract
 Add to MetaCart
(Show Context)
Many affine loop nest analysis and optimization techniques are based on the wellknown polyhedral model framework. Namely, iterations and array references are represented by integer points in bounded polyhedra, or Zpolyhedra. In this tool demonstration paper, we present our library ZPolyTrans dealing with: (i) computing integer affine transformations of Zpolyhedra, (ii) counting integer solutions to such transformations.