Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs

Philippe Clauss 1, 2, 3
3 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Type de document :
Communication dans un congrès
ICS, International Conference on Supercomputing, 2014, Munich, Germany. ACM International Conference on Supercomputing 25th Anniversary Volume. 〈10.1145/2591635.2667172〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01100306
Contributeur : Philippe Clauss <>
Soumis le : mardi 6 janvier 2015 - 11:39:05
Dernière modification le : jeudi 29 mars 2018 - 09:10:05

Identifiants

Citation

Philippe Clauss. Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs. ICS, International Conference on Supercomputing, 2014, Munich, Germany. ACM International Conference on Supercomputing 25th Anniversary Volume. 〈10.1145/2591635.2667172〉. 〈hal-01100306〉

Partager

Métriques

Consultations de la notice

165