Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs, International Static Analysis Symposium (SAS'10), 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00523298
A practical automatic polyhedral parallelizer and locality optimizer, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.101-113, 2008. ,
Linear invariant generation using nonlinear constraint solving, LNCS, 2003. ,
Automatic discovery of linear restraints among variables of a program, 5th ACM Symposium on Principles of Programming Languages (POPL'78), pp.84-96, 1978. ,
Parametric integer programming, RAIRO Recherche Opérationnelle, vol.22, issue.3, pp.243-268, 1988. ,
Some efficient solutions to the affine scheduling problem. Part I. onedimensional time, International Journal of Parallel Programming, vol.21, issue.5, pp.313-348, 1992. ,
Some efficient solutions to the affine scheduling problem, part II: Multi-dimensional time, International Journal of Parallel Programming, vol.21, issue.6, pp.389-420, 1992. ,
Polyhedron model, Encyclopedia of Parallel Computing, pp.1581-1592, 2011. ,
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires, 2007. ,
Counting affine calculator and applications, IMPACT (2011) ,
, Saint Ismier Cedex fkcc: the Farkas Calculator Christophe Alias * Project-Team Cash Research Report n°9313, 2019.