The Power of Polynomials: Work in Progress

Paul Feautrier 1
1 COMPSYS - Compilation and embedded computing systems
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Tout composant de la caine de développement de programes utilise un modèle pour représenter et raisoner sur le programme source. Ce modèle doit être aussi expressif que possible tout en restant effectif et efficace. Cet article propose une extension au modèle polyhédrique: l'utilisation de contraintes et de relations utilisant des polynomes. Des résultats mathématique récents dus à Handelman et Schweighofer sur le "PositivStellenSatz" permettent l'élaboration d'algorithmes analogues aux tests de faisabilité ou à l'algorithme de Frakas. Cette article présente trois applications de ces idées au test de dépendance, à l'ordonnancement et à l'approximation d'une fermeture transitive.
Type de document :
Communication dans un congrès
Alexandra Jimborean and Alain Darte. 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Jan 2015, Amsterdam, Netherlands. 2015
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01094787
Contributeur : Paul Feautrier <>
Soumis le : samedi 13 décembre 2014 - 11:46:58
Dernière modification le : jeudi 22 novembre 2018 - 12:50:01
Document(s) archivé(s) le : samedi 14 mars 2015 - 10:16:10

Fichiers

powerPol-v2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01094787, version 1

Collections

Citation

Paul Feautrier. The Power of Polynomials: Work in Progress. Alexandra Jimborean and Alain Darte. 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Jan 2015, Amsterdam, Netherlands. 2015. 〈hal-01094787〉

Partager

Métriques

Consultations de la notice

300

Téléchargements de fichiers

290