Bibliography

Avi

David Avis.
Lexicographical reverse search.
Web site:http://cgm.cs.mcgill.ca/avis/C/lrs.htm.
Project.

Ba

R. Bagnara and al.
Performance evaluation.

BAY

Valentina BAYER.
Survey of algorithms for the convex hull problem.

BCK$^$89

M. Berry, D. Chen, P. Koss, D. Kuck, S. Lo, Y. Pang, L. Pointer, R. Roloff, A. Sameh, E. Clementi, S. Chin, D. Scheider, G. Fox, P. Messina, D. Walker, C. Hsiung, J. Schwarzmeier, K. Lue, S. Orszag, F. Seidl, O. Johnson, R. Goodrum, and J. Martin.
The PERFECT club benchmarks: Effective performance evaluation of supercomputers.
The International Journal of Supercomputer Applications, 3(3):5-40, 1989.
article.

BRZaH02

R. Bagnara, E. Ricci, E. Za, and a Hill.
Possibly not closed convex polyhedra and the parma polyhedra library, 2002.
citeseer.nj.nec.com/bagnara02possibly.html.

CAI00

Fabien COELHO Corinne ANCOURT and François IRIGOIN.
Linear algebra as a proof engine.
Technical report, Centre de Recherche en Informatique, École des Mines de PARIS, November 2000.
tech.

FUK

Komei FUKUDA.
C implementation of double desciption method.
Web site: http://www.ifor.math.ethz.ch/fukuda/cdd_home/cdd.html.
Project.

HMPV03

N. Halbwachs, D. Merchat, and C. Parent-Vigouroux.
Cartesian factoring of polyhedra in linear relation analysis.
In Static Analysis Symposium, SAS'03, San Diego, June 2003. LNCS 2694, Springer Verlag.

IJT91

François Irigoin, Pierre Jouvelot, and Rémi Triolet.
Semantical interprocedural parallelization: an overview of the pips project.
In ICS, pages 144-151, June 1991.

JEA

Bertrand JEANNET.
New polka.
www.irisa.fr/prive/bjeannet/newpolka.html.
Library Polka.

JEA00

Bertrand JEANNET.
Partitionnement Dynamique dans l'Analyse de Relations Linéaires et Application à la Vérification de Programmes Synchrones.
PhD thesis, Institut National Polytechnique de Grenoble, September 2000.

LOE

Vincent LOECHNER.
Polylib.
Web site: icps.u-strasbg.fr/polylib/.
Project.

Mer05

David Merchat.
Réduction du nombre de variables en analyse de relations linéaires.
PhD thesis, Université Joseph Fourier Grenoble I, May 2005.

PAR

PARMA.
Parma polyhedral library.
Web site: http://www.cs.unipr.it/ppl/.
Project.

PIPa

PIPS.
Linear c3.
www.cri.ensmp.fr/pips/.
Project LINEAR C3.

PIPb

PIPS.
Paralleliseur interprocedural de programmes scientifiques.
www.cri.ensmp.fr/pips/.
Project PIPS.

PUG91

William PUGH.
The omega test: a fast and practical integer programming algorithm for dependence analysis.
In Supercomputing, pages 4-13, 1991.

QUE

Duong NGUYEN QUE.
Polybench.
www.cri.ensmp.fr/people/duong/polybench.
Polyhedral Benchmark.

SOG

Jean-Claude SOGNO.
Logiciel janus.
Restricted.
Project Chloé.

SOG96

Jean-Claude SOGNO.
The janus test: a hierarchical algorithm for computing direction and distance vectors.
In Hawaii International Conference on System Sciences, January 1996.
extended version in 2001.

SPE

SPEC.
Spec cfp95 benchmark.
http://www.specbench.org/cpu95/CFP95/.
Benchmark.

Wil

D. K. Wilde.
A library for doing polyhedral operations.
Technical Report RR-2157.
citeseer.nj.nec.com/wilde97library.html.

YAN93

Yi-Qing YANG.
Tests des Dépendances et Transformations de Programme.
PhD thesis, École Nationale Supérieur des Mines de PARIS, November 1993.