%
%
%
% automatically generated
% % /home/darte/bin/bibtex2html ../compsys.bib -force
% Date: Tue Feb 28 17:06:29 2012

% Author: darte
%
%
%










@BOOK{Anne02,
   PUBLISHER    = {Kluwer},
   TITLE        = {System on Chip Design Languages (best of FDL 2001 and 
      HDLCon 2001)},
   YEAR         = {2002},
   ALTAUTHOR    = {},
   EDITOR       = {A. Mignotte and E. Villar and L. Spruiell},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   SERIES       = {CHDL},
   OPTVOLUME    = {}
}

@BOOK{b03,
   PUBLISHER    = {Dunod},
   TITLE        = {Algorithmique et optimisation: exercices corrigés},
   YEAR         = {2001},
   AUTHOR       = {Alain Darte and Serge Vaudenay},
   ALTEDITOR    = {},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   OPTMONTH     = {},
   NOTE         = {ISBN 2-10-005643-3},
   OPTNUMBER    = {},
   SERIES       = {Sciences Sup},
   OPTVOLUME    = {}
}

@BOOK{b02,
   PUBLISHER    = {Birkhauser},
   TITLE        = {Scheduling and Automatic Parallelization},
   YEAR         = {2000},
   AUTHOR       = {Alain Darte and Yves Robert and Frédéric Vivien},
   ALTEDITOR    = {},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   OPTMONTH     = {},
   NOTE         = {ISBN 0-8176-4149-1},
   OPTNUMBER    = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@BOOK{Anne95,
   PUBLISHER    = {Springer Verlag},
   TITLE        = {European Conference on Parallel Computing (Euro-Par'96)},
   YEAR         = {1996},
   ALTAUTHOR    = {},
   EDITOR       = {L. Bougé and P. Fraigniaud and A. Mignotte and Y. Robert},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   SERIES       = {LNCS},
   VOLUME       = {1123 and 1124}
}

@BOOK{b01,
   PUBLISHER    = {Springer Verlag},
   TITLE        = {The Data Parallel Programming Model},
   YEAR         = {1996},
   ALTAUTHOR    = {},
   EDITOR       = {Guy-René Perrin and Alain Darte},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   SERIES       = {LNCS Tutorial},
   VOLUME       = {1132}
}

@PHDTHESIS{Boissinot2010,
   AUTHOR       = {Benoit Boissinot},
   SCHOOL       = {École normale supérieure de Lyon},
   TITLE        = {Towards an SSA-based Compiler Back-end: Some Interesting 
      Properties of SSA and Its Extensions},
   YEAR         = {2010},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Plesco2010,
   AUTHOR       = {Alexandru Plesco},
   SCHOOL       = {École normale supérieure de Lyon},
   TITLE        = {Program Transformations and Memory Architecture 
      Optimizations for High-Level Synthesis of Hardware Accelerators},
   YEAR         = {2010},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Bouchez2009,
   AUTHOR       = {Florent Bouchez},
   SCHOOL       = {École normale supérieure de Lyon},
   TITLE        = {A Study of Spilling and Coalescing in Register 
      Allocation as Two Separate Phases},
   YEAR         = {2009},
   OPTADDRESS   = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Hada:2007c,
   AUTHOR       = {Hadda Cherroun},
   SCHOOL       = {Université des Sciences et de la Technologie Houari Boumediene},
   TITLE        = {Scheduling for High-Level Synthesis},
   YEAR         = {2007},
   ADDRESS      = {Alger},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Four:2007,
   AUTHOR       = {Nicolas Fournel},
   SCHOOL       = {ENS-Lyon},
   TITLE        = {Estimation et optimisation de performances temporelles 
      et énergétiques pour la conception de logiciels embarqués},
   YEAR         = {2007},
   ADDRESS      = {Lyon},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Gros:2007,
   AUTHOR       = {Philippe Grosse},
   SCHOOL       = {ENS-Lyon},
   TITLE        = {Gestion dynamique des tâches dans une architecture 
      microélectronique intégrée à des fins de basse consommation},
   YEAR         = {2007},
   ADDRESS      = {Lyon},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Scherrer06,
   AUTHOR       = {Antoine Scherrer},
   SCHOOL       = {École normale supérieure de Lyon},
   TITLE        = {Analyses statistiques des communications sur puce},
   YEAR         = {2006},
   OPTADDRESS   = {},
   MONTH        = {December},
   OPTNOTE      = {},
   TYPE         = {Thèse de doctorat},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2006/PhD2006-09.pdf}
}

@PHDTHESIS{PHD,
   AUTHOR       = {Antoine Fraboulet},
   SCHOOL       = {INSA de Lyon},
   TITLE        = {Optimisation de la mémoire et de la consommation des 
      systèmes multimédia embarqués},
   YEAR         = {2001},
   OPTADDRESS   = {},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTTYPE      = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/these.pdf}
}

@PHDTHESIS{phdguillaume,
   AUTHOR       = {Guillaume Huard},
   SCHOOL       = {École Normale Supérieure de Lyon},
   TITLE        = {Algorithmique du décalage d'instructions},
   YEAR         = {2001},
   OPTADDRESS   = {},
   MONTH        = {December},
   NOTE         = {prix de thèse de l'AFIT},
   OPTTYPE      = {}
}

@PHDTHESIS{phdrastello,
   AUTHOR       = {Fabrice Rastello},
   SCHOOL       = {École Normale Supérieure de Lyon},
   TITLE        = {Partitionnement: optimisation de compilation et 
      algorithmique hétérogène},
   YEAR         = {2000},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{HDRTang2,
   AUTHOR       = {T. Risset},
   SCHOOL       = {Université de Rennes 1},
   TITLE        = {Contribution à la compilation de nids de boucles sur 
      silicium},
   YEAR         = {2000},
   OPTADDRESS   = {},
   MONTH        = {October},
   OPTNOTE      = {},
   TYPE         = {Thèse d'habilitation à diriger des recherches},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/HDR.ps}
}

@PHDTHESIS{Darte99,
   AUTHOR       = {Alain Darte},
   SCHOOL       = {Université Claude Bernard de Lyon},
   TITLE        = {De l'organisation des calculs dans les codes répétitifs},
   YEAR         = {1999},
   OPTADDRESS   = {},
   MONTH        = {December},
   OPTNOTE      = {},
   TYPE         = {Thèse d'habilitation à diriger des recherches},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/HDR/HDR1999/HDR1999-03.ps.Z}
}

@PHDTHESIS{Mignotte99,
   AUTHOR       = {Anne Mignotte},
   SCHOOL       = {Université Claude Bernard de Lyon},
   TITLE        = {Compilation sur silicium ou conception conjointe 
      matérielle-logicielle},
   YEAR         = {1999},
   OPTADDRESS   = {},
   MONTH        = {March},
   OPTNOTE      = {},
   TYPE         = {Thèse d'habilitation à diriger des recherches}
}

@PHDTHESIS{phdgeorges,
   AUTHOR       = {Georges-André Silber},
   SCHOOL       = {École Normale Supérieure de Lyon},
   TITLE        = {Parallélisation automatique par insertion de directives},
   YEAR         = {1999},
   OPTADDRESS   = {},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTTYPE      = {}
}

@PHDTHESIS{Risset94,
   AUTHOR       = {T. Risset},
   SCHOOL       = {ENS-Lyon},
   TITLE        = {Parallélisation automatique: du modèle systolique à la 
      compilation de nids de boucles},
   YEAR         = {1994},
   OPTADDRESS   = {},
   MONTH        = {February},
   OPTNOTE      = {},
   TYPE         = {Thèse de doctorat}
}

@PHDTHESIS{Darte93,
   AUTHOR       = {Alain Darte},
   SCHOOL       = {Université Claude Bernard de Lyon},
   TITLE        = {Techniques de parallélisation automatique de nids de 
      boucles},
   YEAR         = {1993},
   OPTADDRESS   = {},
   MONTH        = {April},
   OPTNOTE      = {},
   TYPE         = {Thèse de doctorat},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD1993/PhD1993-07.ps.Z}
}

@INCOLLECTION{Darte11,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {Encyclopedia of Parallel Programming},
   PUBLISHER    = {Springer},
   TITLE        = {Optimal Parallelism Detection in Nested Loops},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {David Padua},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@INCOLLECTION{Feau:2011d,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Encyclopedia of Parallel Programming},
   PUBLISHER    = {Springer},
   TITLE        = {Array Layout for Parallel Processing},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {David Padua},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@INCOLLECTION{Feau:2011b,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Encyclopedia of Parallel Programming},
   PUBLISHER    = {Springer},
   TITLE        = {Bernstein's Conditions},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {David Padua},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@INCOLLECTION{Feau:2011c,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Encyclopedia of Parallel Programming},
   PUBLISHER    = {Springer},
   TITLE        = {Dependences},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {David Padua},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@INCOLLECTION{Feau:2011,
   AUTHOR       = {Paul Feautrier and Christian Lengauer},
   BOOKTITLE    = {Encyclopedia of Parallel Programming},
   PUBLISHER    = {Springer},
   TITLE        = {The Polyhedron Model},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {David Padua},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{RastelloRBODM11,
   AUTHOR       = {Marie Rastello and Fabrice Rastello and Hervé Bellot and 
      Frédéric Ousset and François Dufour and Lorenz Meier},
   JOURNAL      = {Journal of Glaciology},
   TITLE        = {Size of snow particles in a powder-snow avalanche},
   YEAR         = {2011},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {201},
   PAGES        = {151-156(6)},
   VOLUME       = {57},
   KEYWORDS     = {Fluid mechanics, Image processing},
   PUBLISHER    = {International Glaciological Society}
}

@ARTICLE{BoissinotBDR10,
   AUTHOR       = {Benoit Boissinot and Philip Brisk and Alain Darte and 
      Fabrice Rastello},
   JOURNAL      = {ACM Transactions on Embedded Computing Systems},
   TITLE        = {SSI Properties Revisited},
   YEAR         = {2010},
   OPTMONTH     = {},
   NOTE         = {Special Issue on Software and Compilers for Embedded Systems, to appear},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTVOLUME    = {}
}

@ARTICLE{Gros:09,
   AUTHOR       = {Philippe Grosse and Yves Durand and Paul Feautrier},
   JOURNAL      = {ACM Transactions on Design Automation of Electronic Systems},
   TITLE        = {Methods for Power Optimization in SOC-Based Data Flow 
      Systems},
   YEAR         = {2009},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {1--20},
   VOLUME       = {14},
   ADDRESS      = {New York, NY, USA},
   PUBLISHER    = {ACM},
   DOI          = {http://doi.acm.org/10.1145/1529255.1529260}
}

@ARTICLE{d03,
   AUTHOR       = {Alain Darte},
   JOURNAL      = {Revue de Mathématiques Spéciales},
   TITLE        = {Quelques propriétés mathématiques et algorithmiques des 
      ensembles convexes. Énoncé et corrigé de l'épreuve de mathématiques 
      et informatique, concours d'entrée aux ENS de Cachan, Lyon et Ulm, 
      session 2008},
   YEAR         = {2008},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   OPTPAGES     = {},
   VOLUME       = {119}
}

@INCOLLECTION{Feau:2006a,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Encyclopédie de l'Informatique},
   PUBLISHER    = {Vuibert},
   TITLE        = {Les Compilateurs},
   YEAR         = {2007},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {Jean-Eric Pin},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{Hada:07b,
   AUTHOR       = {Hadda Cherroun and Alain Darte and Paul Feautrier},
   JOURNAL      = {RAIRO-OR},
   TITLE        = {Reservation Table Scheduling: Branch-and-Bound Based 
      Optimization vs. Integer Linear Programming Techniques},
   YEAR         = {2007},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {4},
   PAGES        = {427--454},
   VOLUME       = {41},
   PUBLISHER    = {EDP sciences},
   DOI          = {www.edpsciences.org/10.1051/ro:2007036}
}

@ARTICLE{FR-vlsi,
   AUTHOR       = {Antoine Fraboulet and Tanguy Risset},
   JOURNAL      = {Journal of VLSI Signal Processing},
   TITLE        = {Master Interface for On-Chip Hardware Accelerator Burst 
      Communications},
   YEAR         = {2007},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {73--85},
   VOLUME       = {2},
   PUBLISHER    = {Springer Netherlands}
}

@ARTICLE{tdsc07,
   AUTHOR       = {Antoine Scherrer and Nicolas Larrieu and Pierre Borgnat and 
      Philippe Owezarski and Patrice Abry},
   JOURNAL      = {IEEE Transactions on Dependable and Secure Computing (TDSC)},
   TITLE        = {Non Gaussian and Long Memory Statistical 
      Characterisations for Internet Traffic with Anomalies},
   YEAR         = {2007},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {56-70},
   VOLUME       = {4},
   PUBLISHER    = {IEEE Computer Society}
}

@ARTICLE{Feau:2006b,
   AUTHOR       = {Paul Feautrier},
   JOURNAL      = {International Journal of Parallel Programming},
   TITLE        = {Scalable and Structured Scheduling},
   YEAR         = {2006},
   MONTH        = {October},
   OPTNOTE      = {},
   NUMBER       = {5},
   PAGES        = {459--487},
   VOLUME       = {34}
}

@ARTICLE{Bast:04,
   AUTHOR       = {Cédric Bastoul and Paul Feautrier},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Adjusting a Program Transformation for Legality},
   YEAR         = {2005},
   MONTH        = {March-June},
   OPTNOTE      = {},
   NUMBER       = {1-2},
   PAGES        = {3-17},
   VOLUME       = {15}
}

@ARTICLE{j25,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   JOURNAL      = {Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology},
   TITLE        = {New Complexity Results on Array Contraction and Related 
      Problems},
   YEAR         = {2005},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {35-55},
   VOLUME       = {40}
}

@ARTICLE{DarteSV05,
   AUTHOR       = {Alain Darte and Robert Schreiber and Gilles Villard},
   JOURNAL      = {IEEE Transactions on Computers},
   TITLE        = {Lattice-Based Memory Allocation},
   YEAR         = {2005},
   MONTH        = {October},
   NOTE         = {Special Issue, Tribute to B. Ramakrishna (Bob) Rau},
   NUMBER       = {10},
   PAGES        = {1242-1257},
   VOLUME       = {54}
}

@ARTICLE{fabJEC,
   AUTHOR       = {Christophe Guillon and Fabrice Rastello and 
      Thierry Bidault and Florent Bouchez},
   JOURNAL      = {Journal of Embedded Computing},
   TITLE        = {Procedure Placement using Temporal-Ordering Information: 
      Dealing with Code Size Expansion},
   YEAR         = {2005},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {4},
   PAGES        = {437-459},
   VOLUME       = {1},
   PUBLISHER    = {Cambridge International Science Publishing}
}

@INCOLLECTION{Samos02BOOK,
   AUTHOR       = {S. Derrien and A. C. Guillou and P. Quinton and 
      T. Risset and C. Wagner},
   BOOKTITLE    = {Domain-Specific Embedded Multiprocessors},
   PUBLISHER    = {Marcel Dekker},
   TITLE        = {Automatic Synthesis of Efficient Interfaces for Compiled 
      Regular Architectures},
   YEAR         = {2003},
   OPTADDRESS   = {},
   CHAPTER      = {7},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {127-150},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@INCOLLECTION{DinechinRisset2003,
   AUTHOR       = {Dupont de Dinechin, F. and M. Manjunathaiah and T. Risset and 
      M. Spivey},
   BOOKTITLE    = {System Specification and Design Languages (best of FDL'02)},
   PUBLISHER    = {Kluwer},
   TITLE        = {Design of Highly Parallel Architectures with Alpha and 
      Handel},
   YEAR         = {2003},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{j24,
   AUTHOR       = {Daniel Chavarría-Miranda and Alain Darte and 
      Robert Fowler and John Mellor-Crummey},
   JOURNAL      = {Journal of Parallel and Distributed Computing},
   TITLE        = {Generalized Multipartitioning of Multi-Dimensional 
      Arrays for Parallelizing Line-Sweep Computations},
   YEAR         = {2003},
   OPTMONTH     = {},
   NOTE         = {Special issue of best papers from IPDPS'02},
   NUMBER       = {9},
   PAGES        = {887-911},
   VOLUME       = {63}
}

@ARTICLE{jfab10,
   AUTHOR       = {Fabrice Rastello and Amit Rao and Santosh Pande},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Optimal Task Scheduling to Minimize Inter-Tile Latencies},
   YEAR         = {2003},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {209-239},
   VOLUME       = {29},
   PUBLISHER    = {Elsevier Science Publishers B.V.}
}

@INCOLLECTION{bcfab1,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Arnaud Legrand and 
      Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {Annual Review of Scalable Computing},
   PUBLISHER    = {World Scientific},
   TITLE        = {Static Data Allocation and Load Balancing Techniques for 
      Heterogeneous Systems},
   YEAR         = {2002},
   OPTADDRESS   = {},
   CHAPTER      = {1},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {C.K. Yuen},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {1-37},
   OPTSERIES    = {},
   OPTTYPE      = {},
   VOLUME       = {4}
}

@ARTICLE{jfab8,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   JOURNAL      = {Algorithmica},
   TITLE        = {Partitioning a Square into Rectangles: NP-Completeness 
      and Approximation Algorithms},
   YEAR         = {2002},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {217-239},
   VOLUME       = {34}
}

@ARTICLE{Darte_d02,
   AUTHOR       = {Alain Darte and Jean Mairesse},
   JOURNAL      = {Revue de Mathématiques Spéciales},
   TITLE        = {Énoncé et corrigé de l'épreuve de mathématiques et 
      informatique, concours d'entrée aux ENS d'Ulm et Lyon, session 2002},
   YEAR         = {2002},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {47-83},
   VOLUME       = {113}
}

@ARTICLE{j242,
   AUTHOR       = {Alain Darte and Rob Schreiber and Bob Ramakrishna Rau and 
      Frédéric Vivien},
   JOURNAL      = {ACM Transactions on Design Automation of Electronic Systems},
   TITLE        = {Constructing and Exploiting Linear Schedules with 
      Prescribed Parallelism},
   YEAR         = {2002},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {159-172},
   VOLUME       = {7}
}

@ARTICLE{jfab7,
   AUTHOR       = {Fabrice Rastello and Yves Robert},
   JOURNAL      = {IEEE Transactions on Parallel and Distributed Systems},
   TITLE        = {Automatic Partitioning of Parallel Loops with 
      Parallelepiped-Shaped Tiles},
   YEAR         = {2002},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {5},
   PAGES        = {460--470},
   VOLUME       = {13}
}

@INCOLLECTION{j23,
   AUTHOR       = {Alain Darte and Yves Robert and Frédéric Vivien},
   BOOKTITLE    = {Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems},
   PUBLISHER    = {Springer Verlag},
   TITLE        = {Loop Parallelization Algorithms},
   YEAR         = {2001},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {Santosh Pande},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {141-172},
   SERIES       = {Lecture Notes in Computer Science},
   OPTTYPE      = {},
   VOLUME       = {1808}
}

@INCOLLECTION{Feau:2001,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems},
   PUBLISHER    = {Springer Verlag},
   TITLE        = {Array Dataflow Analysis},
   YEAR         = {2001},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {Santosh Pande},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {173-216},
   SERIES       = {Lecture Notes in Computer Science},
   OPTTYPE      = {},
   VOLUME       = {1808}
}

@ARTICLE{jfab5,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Antoine Petitet and 
      Fabrice Rastello and Yves Robert},
   JOURNAL      = {IEEE Transactions on Computers},
   TITLE        = {A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense 
      Linear Solvers)},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {10},
   PAGES        = {1052-1070},
   VOLUME       = {50}
}

@ARTICLE{jfab4,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   JOURNAL      = {IEEE Transactions on Parallel and Distributed Systems},
   TITLE        = {Matrix Multiplication on Heterogeneous Platforms},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {10},
   PAGES        = {1033-1051},
   VOLUME       = {12}
}

@ARTICLE{jfab6,
   AUTHOR       = {Olivier Beaumont and Arnaud Legrand and Fabrice Rastello and 
      Yves Robert},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Dense Linear Algebra Kernels on Heterogeneous Platforms: 
      Redistribution Issues},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {155-185},
   VOLUME       = {28},
   PUBLISHER    = {Elsevier Science Publishers B.V.}
}

@ARTICLE{jfab11,
   AUTHOR       = {Olivier Beaumont and Arnaud Legrand and Fabrice Rastello and 
      Yves Robert},
   JOURNAL      = {International Journal of High Performance Computing Applications},
   TITLE        = {Static LU Decomposition on Heterogeneous Platforms},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {310-323},
   VOLUME       = {15},
   PUBLISHER    = {Sage Publications, Inc.}
}

@ARTICLE{jfab3,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   JOURNAL      = {Journal of Parallel and Distributed Computing},
   TITLE        = {Alignment and Distribution is NOT (Always) NP-Hard},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {501-519},
   VOLUME       = {61}
}

@ARTICLE{claude01,
   AUTHOR       = {S. Rajopadhye and T. Risset and T. Tadonki},
   JOURNAL      = {Technique et science informatiques},
   TITLE        = {Le chemin algébrique sur réseaux linéaires},
   YEAR         = {2001},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {5},
   PAGES        = {655-676},
   VOLUME       = {20},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/Apptsi.ps}
}

@ARTICLE{j21,
   AUTHOR       = {Alain Darte},
   JOURNAL      = {Parallel Computing},
   TITLE        = {On the Complexity of Loop Fusion},
   YEAR         = {2000},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {9},
   PAGES        = {1175-1193},
   VOLUME       = {26}
}

@ARTICLE{j22,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   JOURNAL      = {International Journal of Parallel Programming},
   TITLE        = {Loop Shifting for Loop Compaction},
   YEAR         = {2000},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {5},
   PAGES        = {499-534},
   VOLUME       = {28}
}

@ARTICLE{Feau:00,
   AUTHOR       = {Paul Feautrier},
   JOURNAL      = {Technique et science informatiques},
   TITLE        = {Les compilateurs},
   YEAR         = {2000},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1--3},
   PAGES        = {223--232},
   VOLUME       = {19}
}

@ARTICLE{GFL:2000,
   AUTHOR       = {Martin Griebl and Paul Feautrier and Christian Lengauer},
   JOURNAL      = {International Journal of Parallel Programming},
   TITLE        = {Index Set Splitting},
   YEAR         = {2000},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {6},
   PAGES        = {607--631},
   VOLUME       = {28}
}

@ARTICLE{Memin00a,
   AUTHOR       = {E. Mémin and T. Risset},
   JOURNAL      = {International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI)},
   TITLE        = {On the Study of VLSI Derivation for Optical Flow 
      Estimation},
   YEAR         = {2000},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {4},
   PAGES        = {441-462},
   VOLUME       = {14},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/ijprai.ps}
}

@ARTICLE{Memin99e,
   AUTHOR       = {E. Mémin and T. Risset},
   JOURNAL      = {Real-Time Imaging},
   TITLE        = {VLSI Design Methodology for Edge-Preserving Image 
      Reconstruction},
   YEAR         = {2000},
   OPTMONTH     = {},
   NOTE         = {Special issue on Fast Energy Minimization-Based Imaging and Vision Techniques},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/finalReal.ps}
}

@ARTICLE{ReFe:2000,
   AUTHOR       = {Xavier Redon and Paul Feautrier},
   JOURNAL      = {Parallel Algorithms and Applications},
   TITLE        = {Detection of Scans in the Polytope Model},
   YEAR         = {2000},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {229--263},
   VOLUME       = {15}
}

@ARTICLE{Clementin99,
   AUTHOR       = {Tayou Djamegni, C. and P. Quinton and S. Rajopadhye and 
      T. Risset},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Derivation of Systolic Algorithms for the Algebraic Path 
      Problem by Recurrence Transformations},
   YEAR         = {2000},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {1429-1445},
   VOLUME       = {26},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/app_PC.ps}
}

@INCOLLECTION{AM32,
   AUTHOR       = {A. Mignotte and O. Peyran},
   BOOKTITLE    = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   PUBLISHER    = {IEEE Circuit and System Society},
   TITLE        = {Reducing the Complexity of an ILP Formulation for 
      Synthesis},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {F. Catthoor and  al.},
   OPTMONTH     = {},
   NOTE         = {Special Issue on System Level Synthesis and Design},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{jfab2,
   AUTHOR       = {Pierre Boulet and Jack Dongarra and Fabrice Rastello and 
      Yves Robert and Frédéric Vivien},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Algorithmic Issues on Heterogeneous Computing Platforms},
   YEAR         = {1999},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {197-213},
   VOLUME       = {9}
}

@INCOLLECTION{Darte98,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {Algorithms for Parallel Processing},
   PUBLISHER    = {Springer Verlag},
   TITLE        = {Mathematical Tools for Loop Transformations: From 
      Systems of Uniform Recurrence Equations to the Polytope Model},
   YEAR         = {1998},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {M. H. Heath and A. Ranade and R. S. Schreiber},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {147-183},
   SERIES       = {IMA Volumes in Mathematics and its Applications},
   OPTTYPE      = {},
   VOLUME       = {105}
}

@ARTICLE{Darte_j18,
   AUTHOR       = {Pierre Boulet and Alain Darte and Georges-André Silber and 
      Frédéric Vivien},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Loop Parallelization Algorithms: From Parallelism 
      Extraction to Code Generation},
   YEAR         = {1998},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {421-444},
   VOLUME       = {24}
}

@ARTICLE{Darte_j19,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert},
   JOURNAL      = {IEEE Transactions on Parallel and Distributed Systems},
   TITLE        = {Circuit Retiming Applied to Decomposed Software 
      Pipelining},
   YEAR         = {1998},
   MONTH        = {January},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {24-35},
   VOLUME       = {9}
}

@ARTICLE{Darte_j17,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert and 
      Frédéric Vivien},
   JOURNAL      = {International Journal of Parallel Programming},
   TITLE        = {On the Removal of Anti and Output Dependences},
   YEAR         = {1998},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {285-312},
   VOLUME       = {26}
}

@ARTICLE{Darte_d01,
   AUTHOR       = {Alain Darte},
   JOURNAL      = {Revue de Mathématiques Spéciales},
   TITLE        = {Énoncé et corrigé de l'épreuve de mathématiques et 
      informatique, concours d'entrée aux ENS de Cachan et Lyon, session 
      1997},
   YEAR         = {1998},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {8},
   PAGES        = {881-906},
   VOLUME       = {108}
}

@ARTICLE{jfab1,
   AUTHOR       = {Frédéric Desprez and Jack Dongarra and Fabrice Rastello and 
      Yves Robert},
   JOURNAL      = {Journal of Information Science and Engineering},
   TITLE        = {Determining the Idle Time of a Tiling: New Results},
   YEAR         = {1998},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {167-190},
   VOLUME       = {14},
   PUBLISHER    = {Elsevier Science Publishers B.V.}
}

@INCOLLECTION{cairn97,
   AUTHOR       = {T. Gautier and Le Guernic, P. and P. Quinton and 
      S. Rajopadhye and T. Risset and I. Smarandache},
   BOOKTITLE    = {Collection technique et scientifique des télécommunications},
   PUBLISHER    = {CNET},
   TITLE        = {Le projet Cairn : vers la conception d'architectures à 
      partir de Signal et Alpha},
   YEAR         = {1997},
   OPTADDRESS   = {},
   OPTCHAPTER   = {},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTPAGES     = {},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{Darte_j13,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert and 
      Frédéric Vivien},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Plugging Anti and Output Dependence Removal Techniques 
      into Loop Parallelization Algorithms},
   YEAR         = {1997},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {251-266},
   VOLUME       = {23}
}

@ARTICLE{Darte_j16,
   AUTHOR       = {Alain Darte and Georges-André Silber and Frédéric Vivien},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Combining Retiming and Scheduling Techniques for Loop 
      Parallelization and Loop Tiling},
   YEAR         = {1997},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {4},
   PAGES        = {379--392},
   VOLUME       = {7}
}

@ARTICLE{Darte_j12,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   JOURNAL      = {Journal of Parallel Algorithms and Applications},
   TITLE        = {On the Optimality of Allen and Kennedy's Algorithm for 
      Parallelism Detection in Nested Loops},
   YEAR         = {1997},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {1-3},
   PAGES        = {83-112},
   VOLUME       = {12}
}

@ARTICLE{Darte_j15,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   JOURNAL      = {International Journal of Parallel Programming},
   TITLE        = {Optimal Fine and Medium Grain Parallelism Detection in 
      Polyhedral Reduced Dependence Graphs},
   YEAR         = {1997},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {6},
   PAGES        = {447-496},
   VOLUME       = {25}
}

@ARTICLE{Darte_j14,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Parallelizing Nested Loops with Approximation of 
      Distance Vectors: A Survey},
   YEAR         = {1997},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {133-144},
   VOLUME       = {7}
}

@ARTICLE{QuRaRi97a,
   AUTHOR       = {P. Quinton and S. V. Rajopadhye and T. Risset},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {On Manipulating Z-polyhedra using a Canonical 
      Representation},
   YEAR         = {1997},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {181-194},
   VOLUME       = {7},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1996/1016/1016.html}
}

@ARTICLE{Darte_j11,
   AUTHOR       = {A. Darte and F. Desprez and J.-C. Mignot and Y. Robert},
   JOURNAL      = {Journal of the Brazilian Computer Society},
   TITLE        = {TransTool: A Restructuring Tool for the Parallelization 
      of Applications using High Performance Fortran},
   YEAR         = {1996},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {5-15},
   VOLUME       = {3}
}

@ARTICLE{Darte_j10,
   AUTHOR       = {Alain Darte and Michèle Dion and Yves Robert},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {A Characterization of One-to-One Modular Mappings},
   YEAR         = {1996},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {145-157},
   VOLUME       = {5}
}

@ARTICLE{Darte_j08,
   AUTHOR       = {Vincent Bouchitté and Pierre Boulet and Alain Darte and 
      Yves Robert},
   JOURNAL      = {International Journal of Supercomputer Applications and High Performance Computing},
   TITLE        = {Evaluating Array Expressions on Massively Parallel 
      Machines with Communication/Computation Overlap},
   YEAR         = {1995},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {205-219},
   VOLUME       = {9}
}

@ARTICLE{Darte_j07,
   AUTHOR       = {Alain Darte and Yves Robert},
   JOURNAL      = {Journal of Parallel and Distributed Computing},
   TITLE        = {Affine-by-Statement Scheduling of Uniform and Affine 
      Loop Nests over Parametric Domains},
   YEAR         = {1995},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {43-59},
   VOLUME       = {29}
}

@ARTICLE{Darte_j09,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Revisiting the Decomposition of Karp, Miller, and 
      Winograd},
   YEAR         = {1995},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {4},
   PAGES        = {551-562},
   VOLUME       = {5}
}

@ARTICLE{Ris12,
   AUTHOR       = {Pierre Boulet and Alain Darte and Tanguy Risset and 
      Yves Robert},
   JOURNAL      = {Integration, the VLSI journal},
   TITLE        = {(Pen)-Ultimate Tiling?},
   YEAR         = {1994},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1},
   PAGES        = {33-51},
   VOLUME       = {17}
}

@ARTICLE{Darte_j04,
   AUTHOR       = {Alain Darte and Yves Robert},
   JOURNAL      = {IEEE Transactions on Parallel and Distributed Systems},
   TITLE        = {Constructive Methods for Scheduling Uniform Loop Nests},
   YEAR         = {1994},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {8},
   PAGES        = {814-822},
   VOLUME       = {5}
}

@ARTICLE{Darte_j03,
   AUTHOR       = {Alain Darte and Yves Robert},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Mapping Uniform Loop Nests onto Distributed Memory 
      Architectures},
   YEAR         = {1994},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {679-710},
   VOLUME       = {20}
}

@ARTICLE{Darte_j05,
   AUTHOR       = {Alain Darte and Yves Robert},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {On the Alignment Problem},
   YEAR         = {1994},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {3},
   PAGES        = {259-270},
   VOLUME       = {4}
}

@ARTICLE{Ris18,
   AUTHOR       = {M. Dion and T. Risset and Y. Robert},
   JOURNAL      = {Integration the VLSI journal},
   TITLE        = {Ressource-Constrained Scheduling of Partitioned 
      Algorithms on Processor Arrays},
   YEAR         = {1994},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {139-159},
   VOLUME       = {20},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1994/RR1994-19.ps.Z}
}

@INCOLLECTION{Ris7,
   AUTHOR       = {A. Darte and T. Risset and Y. Robert},
   BOOKTITLE    = {Application-Driven Architecture Synthesis},
   PUBLISHER    = {Kluwer Academic Publishers},
   TITLE        = {Formal Methods for Solving the Algrebraic Path Problem},
   YEAR         = {1993},
   OPTADDRESS   = {},
   CHAPTER      = {3},
   OPTCROSSREF  = {},
   OPTEDITION   = {},
   EDITOR       = {F. Catthoor, L. Svensson},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {47-69},
   OPTSERIES    = {},
   OPTTYPE      = {},
   OPTVOLUME    = {}
}

@ARTICLE{Ris15,
   AUTHOR       = {J.F. Collard and P. Feautrier and T. Risset},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Construction of DO Loops from Systems of Affine 
      Constraints},
   YEAR         = {1993},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {421-436},
   VOLUME       = {5},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1993/RR1993-15.ps.Z}
}

@ARTICLE{Darte_j01,
   AUTHOR       = {Alain Darte},
   JOURNAL      = {INTEGRATION, The VLSI Journal},
   TITLE        = {Regular Partitioning for Synthesizing Fixed-Size 
      Systolic Arrays},
   YEAR         = {1991},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {293-304},
   VOLUME       = {12}
}

@ARTICLE{Darte_j02,
   AUTHOR       = {Alain Darte and Leonid Khachiyan and Yves Robert},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Linear Scheduling is Nearly Optimal},
   YEAR         = {1991},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {2},
   PAGES        = {73-81},
   VOLUME       = {1}
}

@ARTICLE{Ris4,
   AUTHOR       = {T. Risset and Y. Robert},
   JOURNAL      = {Parallel Processing Letters},
   TITLE        = {Synthesis of Processor Arrays for the Algebraic Path 
      Problem: Unifying Old Results and Deriving New Architectures},
   YEAR         = {1991},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {19-28},
   VOLUME       = {1}
}

@ARTICLE{Ris1,
   AUTHOR       = {T. Risset},
   JOURNAL      = {Parallel Computing},
   TITLE        = {Implementing Gaussian Elimination on a Matrix-Matrix 
      Multiplication Systolic Array},
   YEAR         = {1990},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   PAGES        = {351-359},
   VOLUME       = {16}
}

@INPROCEEDINGS{AliasDP12,
   AUTHOR       = {Christophe Alias and Alain Darte and Alexandru Plesco},
   BOOKTITLE    = {17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12)},
   TITLE        = {Optimizing Remote Accesses for Offloaded Kernels: 
      Application to High-Level Synthesis for FPGA},
   YEAR         = {2012},
   ADDRESS      = {New Orleans, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {February},
   NOTE         = {Short paper},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasDP12b,
   AUTHOR       = {Christophe Alias and Alain Darte and Alexandru Plesco},
   BOOKTITLE    = {2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12)},
   TITLE        = {Optimizing Remote Accesses for Offloaded Kernels: 
      Application to High-Level Synthesis for FPGA},
   YEAR         = {2012},
   ADDRESS      = {Paris},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {January},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BrandnerC12,
   AUTHOR       = {Florian Brandner and Quentin Colombet},
   BOOKTITLE    = {Symposium on Applied Computing (SAC'12)},
   TITLE        = {Copy Elimination on Data Dependence Graphs},
   YEAR         = {2012},
   ADDRESS      = {Trento, Italy},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Feautrier12,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12)},
   TITLE        = {Approximating the Transitive Closure of a Boolean-Affine 
      Relation},
   YEAR         = {2012},
   ADDRESS      = {Paris},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {January},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasPP11,
   AUTHOR       = {Christophe Alias and Bogdan Pasca and Alexandru Plesco},
   BOOKTITLE    = {7th International Symposium on Applied Reconfigurable Computing (ARC'11)},
   TITLE        = {Automatic Generation of FPGA-Specific Pipelined 
      Accelerators},
   YEAR         = {2011},
   ADDRESS      = {Belfast, UK},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {53--66},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BoissinotBDDR11,
   AUTHOR       = {Benoit Boissinot and Florian Brandner and Alain Darte and 
      de Dinechin, Benoit Dupont and Fabrice Rastello},
   BOOKTITLE    = {9th Asian Symposium on Programming Languages and Systems (APLAS'11)},
   TITLE        = {A Non-Iterative Data-Flow Algorithm for Computing 
      Liveness Sets in Strict SSA Programs},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BrandnerD11,
   AUTHOR       = {Florian Brandner and Alain Darte},
   BOOKTITLE    = {Workshop ``Analyse to Compile, Compile to Analyse'' (ACCA'11), held with CGO'11},
   TITLE        = {Compiler-driven Optimization of the Worst-Case Execution 
      Time},
   YEAR         = {2011},
   ADDRESS      = {Chamonix},
   OPTCROSSREF  = {},
   EDITOR       = {Laure Gonnord and David Monniaux},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{ColombetBBHR11,
   AUTHOR       = {Quentin Colombet and Benoit Boissinot and Philip Brisk and 
      Sebastian Hack and Fabrice Rastello},
   BOOKTITLE    = {International Conference on Compilers, Architectures, and Synthesis of Embedded Systems (CASES'11)},
   TITLE        = {Graph Coloring and Treescan Register Allocation Using 
      Repairing},
   YEAR         = {2011},
   ADDRESS      = {Taipei, Taiwan},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{ColombetBD11,
   AUTHOR       = {Quentin Colombet and Florian Brandner and Alain Darte},
   BOOKTITLE    = {International Conference on Compilers, Architectures, and Synthesis of Embedded Systems (CASES'11)},
   TITLE        = {Studying Optimal Spilling in the Light of SSA},
   YEAR         = {2011},
   ADDRESS      = {Taipei, Taiwan},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{LeGuenGR11,
   AUTHOR       = {Le Guen, Julien and Christophe Guillon and 
      Fabrice Rastello},
   BOOKTITLE    = {Workshop on Intermediate Representations (WIR'11), held with CGO'11},
   TITLE        = {MinIR, a Minimalistic Intermediate Representation},
   YEAR         = {2011},
   ADDRESS      = {Chamonix},
   OPTCROSSREF  = {},
   EDITOR       = {Florent Bouchez and Sebastian Hack and Eelco Visser},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {5-12},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{TavaresCBGPR11,
   AUTHOR       = {André Tavares and Quentin Colombet and Mariza Bigonha and 
      Christophe Guillon and Fernando Pereira and Fabrice Rastello},
   BOOKTITLE    = {14th International Workshop on Software & Compilers for Embedded Systems (SCOPES'11)},
   TITLE        = {Decoupled Graph-Coloring Register Allocation with 
      Hierarchical Aliasing},
   YEAR         = {2011},
   ADDRESS      = {St. Goar, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {1--10},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{DinechinMPP11,
   AUTHOR       = {de Dinechin, Florent and Jean-Michel Muller and 
      Bogdan Pasca and Alexandru Plesco},
   BOOKTITLE    = {22nd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'11)},
   TITLE        = {An FPGA Architecture for Solving the Table Maker's 
      Dilemma},
   YEAR         = {2011},
   ADDRESS      = {Santa Monica, CA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasDFG10,
   AUTHOR       = {Christophe Alias and Alain Darte and Paul Feautrier and 
      Laure Gonnord},
   BOOKTITLE    = {17th International Static Analysis Symposium (SAS'10)},
   TITLE        = {Multi-dimensional Rankings, Program Termination, and 
      Complexity Bounds of Flowchart Programs},
   YEAR         = {2010},
   ADDRESS      = {Perpignan, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {117-133},
   PUBLISHER    = {ACM press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasDP10,
   AUTHOR       = {Christophe Alias and Alain Darte and Alexandru Plesco},
   BOOKTITLE    = {21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10)},
   TITLE        = {Optimizing DDR-SDRAM Communications at C-Level for 
      Automatically-Generated Hardware Accelerators. An Experience with the 
      Altera C2H HLS Tool},
   YEAR         = {2010},
   ADDRESS      = {Rennes, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {329-332},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BouchezCDGR10,
   AUTHOR       = {Florent Bouchez and Quentin Colombet and Alain Darte and 
      Christophe Guillon and Fabrice Rastello},
   BOOKTITLE    = {13th International Workshop on Software & Compilers for Embedded Systems (SCOPES'10)},
   TITLE        = {Parallel Copy Motion},
   YEAR         = {2010},
   ADDRESS      = {St. Goar, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {1--10},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Brandner10,
   AUTHOR       = {Florian Brandner},
   BOOKTITLE    = {21st International Conference on Application-specific Systems Architectures and Processors (ASAP'10)},
   TITLE        = {Completeness of Automatically Generated Instruction 
      Selectors},
   YEAR         = {2010},
   ADDRESS      = {Rennes, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {175--182},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Brandner10PK,
   AUTHOR       = {Florian Brandner and Viktor Pavlu and Andreas Krall},
   BOOKTITLE    = {28th Norchip Conference (NORCHIP'10)},
   TITLE        = {Execution Models for Processors and Instructions},
   YEAR         = {2010},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte10,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'10)},
   TITLE        = {Understanding Loops: The Influence of the Decomposition 
      of Karp, Miller, and Winograd},
   YEAR         = {2010},
   ADDRESS      = {Grenoble, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   NOTE         = {Invited paper},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {139-148},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{DioufCRC10,
   AUTHOR       = {Boubacar Diouf and Albert Cohen and Fabrice Rastello and 
      John Cavazos},
   BOOKTITLE    = {International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC'10)},
   TITLE        = {Split Register Allocation: Linear Complexity Without the 
      Performance Penalty},
   YEAR         = {2010},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {January},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {66-80},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   VOLUME       = {5952}
}

@INPROCEEDINGS{FeauGonnord:2010,
   AUTHOR       = {Paul Feautrier and Laure Gonnord},
   BOOKTITLE    = {Workshop on Tools for Automatic Program Analysis (TAPAS'10)},
   TITLE        = {Accelerated Invariant Generation for C Programs with 
      Aspic and C2fsm},
   YEAR         = {2010},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {2},
   OPTORGANIZATION = {},
   PAGES        = {3-13},
   OPTPUBLISHER = {},
   SERIES       = {Electronic Notes in Theoretical Computer Science},
   VOLUME       = {267},
   DOI          = {10.1016/j.entcs.2010.09.014}
}

@INPROCEEDINGS{BoissinotDDGR09,
   AUTHOR       = {Benoit Boissinot and Alain Darte and 
      Dupont de Dinechin, Benoît and Christophe Guillon and Fabrice Rastello},
   BOOKTITLE    = {International Symposium on Code Generation and Optimization (CGO'09)},
   TITLE        = {Revisiting Out-of-SSA Translation for Correctness, Code 
      Quality, and Efficiency},
   YEAR         = {2009},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   NOTE         = {Best paper award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {114--125},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{aiccsa09GonnordBabau,
   AUTHOR       = {L. Gonnord and J.-P. Babau},
   BOOKTITLE    = {ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09)},
   TITLE        = {Quantity of Resource Properties Expression and Runtime 
      Assurance for Embedded Systems},
   YEAR         = {2009},
   ADDRESS      = {Rabbat, Morocco},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {428--435},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{aiccsa09LabbaniFeautrierLenormandBarreteau,
   AUTHOR       = {Ouassila Labbani and Paul Feautrier and Eric Lenormand and 
      Michel Barreteau},
   BOOKTITLE    = {ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09)},
   TITLE        = {Elementary Transformation Analyses for Array-OL},
   YEAR         = {2009},
   ADDRESS      = {Rabat, Morocco},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {362--367},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasPACT2009,
   AUTHOR       = {Qingda Lu and Christophe Alias and Uday Bondhugula and 
      Sriram Krishnamoorthy and J. Ramanujam and Atanas Rountev and 
      P. Sadayappan and Yongjian Chen and Haibo Lin and Tin-fook Ngai},
   BOOKTITLE    = {International ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT'09)},
   TITLE        = {Data Layout Transformation for Enhancing Locality on 
      NUCA Chip Multiprocessors},
   YEAR         = {2009},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {348-357},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{RastelloRBOD09,
   AUTHOR       = {Marie Rastello and Fabrice Rastello and Hervé Bellot and 
      Frédéric Ousset and François Dufour},
   BOOKTITLE    = {ASME Fluids Engineering Division Summer Meeting 2009 (FEDSM'09)},
   TITLE        = {Size of Snow Particles in a Powder-Snow Avalanche},
   YEAR         = {2009},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BoissinotDGHR08,
   AUTHOR       = {Benoit Boissinot and Sebastian Hack and Daniel Grund and 
      Dupont de Dinechin, Benoît and Fabrice Rastello},
   BOOKTITLE    = {Sixth Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'08)},
   TITLE        = {Fast Liveness Checking for SSA-Form Programs},
   YEAR         = {2008},
   ADDRESS      = {Boston, MA, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   NOTE         = {Best paper award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {35--44},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BouchezDR08,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   BOOKTITLE    = {International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES'08)},
   TITLE        = {Advanced Conservative and Optimistic Register Coalescing},
   YEAR         = {2008},
   ADDRESS      = {Atlanta, GA, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {147--156},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Quinson:poster,
   AUTHOR       = {Nicolas Farrugia and Michel Paindavoine and 
      Clément Quinson},
   BOOKTITLE    = {High-Level Synthesis: Back to the Future (DAC workshop)},
   TITLE        = {On the Need for Semi-Automated Source-to-Source 
      Transformations in the User-Guided High-Level Synthesis Tool},
   YEAR         = {2008},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   NOTE         = {Poster},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{PlescoR08,
   AUTHOR       = {Alexandru Plesco and Tanguy Risset},
   BOOKTITLE    = {SYMPosium en Architectures nouvelles de machines (SYMPA'08)},
   TITLE        = {Coupling Loop Transformations and High-Level Synthesis},
   YEAR         = {2008},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {February},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasBD07,
   AUTHOR       = {Christophe Alias and Fabrice Baray and Alain Darte},
   BOOKTITLE    = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07)},
   TITLE        = {Bee+Cl@k: An Implementation of Lattice-Based Array 
      Contraction in the Source-to-Source Translator ROSE},
   YEAR         = {2007},
   ADDRESS      = {San Diego, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {7},
   OPTORGANIZATION = {},
   PAGES        = {73-82},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   VOLUME       = {42}
}

@INPROCEEDINGS{BouchezDR07a,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   BOOKTITLE    = {International Symposium on Code Generation and Optimization (CGO'07)},
   TITLE        = {On the Complexity of Register Coalescing},
   YEAR         = {2007},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   NOTE         = {Best paper award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {102--114},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BouchezDR07b,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   BOOKTITLE    = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07)},
   TITLE        = {On the Complexity of Spill Everywhere under SSA Form},
   YEAR         = {2007},
   ADDRESS      = {San Diego, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {7},
   OPTORGANIZATION = {},
   PAGES        = {103--112},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   VOLUME       = {42}
}

@INPROCEEDINGS{CheFraFle2007a,
   AUTHOR       = {G. Chelius and A. Fraboulet and E. Fleury},
   BOOKTITLE    = {The 22nd Annual ACM Symposium on Applied Computing (SAC 2007)},
   TITLE        = {Worldsens: A Fast and Accurate Development Framework for 
      Sensor Network Applications},
   YEAR         = {2007},
   ADDRESS      = {Seoul, Korea},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   ORGANIZATION = {ACM},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Hada:2007,
   AUTHOR       = {Hadda Cherroun and Paul Feautrier},
   BOOKTITLE    = {The 5th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'07)},
   TITLE        = {An Exact Resource Constrained-Scheduler using Graph 
      Coloring Technique},
   YEAR         = {2007},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   NOTE         = {Best paper award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {554--561},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Quinson2007,
   AUTHOR       = {Alain Darte and Clément Quinson},
   BOOKTITLE    = {The 18th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'07)},
   TITLE        = {Scheduling Register-Allocated Codes in User-Guided 
      High-Level Synthesis},
   YEAR         = {2007},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {554--561},
   PUBLISHER    = {IEEE Computer Society},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{infocom07-demo,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and 
      Guillaume Chelius and Eric Fleury and Bruno Allard and Olivier Brevet},
   BOOKTITLE    = {26th Annual IEEE Conference on Computer Communications (Infocom)},
   TITLE        = {Worldsens: Embedded Sensor Network Application 
      Development and Deployment},
   YEAR         = {2007},
   ADDRESS      = {Anchorage, Alaska, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{spots07-demo,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and 
      Guillaume Chelius and Eric Fleury and Bruno Allard and Olivier Brevet},
   BOOKTITLE    = {International Conference on Information Processing in Sensor Networks (IPSN), demo session},
   TITLE        = {Worldsens: From Lab to Sensor Network Application 
      Development and Deployment},
   YEAR         = {2007},
   ADDRESS      = {Cambridge, Massachusetts, USA.},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {ACM},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{FouFraFea07b,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and Paul Feautrier},
   BOOKTITLE    = {PATMOS Workshop - International Workshop on Power And Timing Modeling, Optimization and Simulation},
   TITLE        = {Fast and Instruction Accurate Embedded Systems Energy 
      Characterization Using Non-intrusive Measurements},
   YEAR         = {2007},
   ADDRESS      = {Göteborg, Sweden},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{FouFraFea07a,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and Paul Feautrier},
   BOOKTITLE    = {IEEE International Workshop: From Theory to Practice in Wireless Sensor Networks},
   TITLE        = {eSimu : a Fast and Accurate Energy Consumption Simulator 
      for Embedded Systems},
   YEAR         = {2007},
   ADDRESS      = {Helsinki, Finland},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{FouMinUbe07,
   AUTHOR       = {N. Fournel and M. Minier and S. Ubéda},
   BOOKTITLE    = {Workshop in Information Security Theory and Practices (WISTP 2007)},
   TITLE        = {Survey and Benchmark of Stream Ciphers for Wireless 
      Sensor Networks},
   YEAR         = {2007},
   ADDRESS      = {Heraklion, Crete, Greece},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{spots07-fcf,
   AUTHOR       = {Antoine Fraboulet and Guillaume Chelius and Eric Fleury},
   BOOKTITLE    = {IPSN'07 Track on Sensor Platforms, Tools and Design Methods (SPOTS)},
   TITLE        = {Worldsens: Development and Prototyping Tools for 
      Application Specific Wireless Sensors Networks},
   YEAR         = {2007},
   ADDRESS      = {Cambridge, Massachusetts, USA.},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   ORGANIZATION = {ACM},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{GH:2007:Coal,
   AUTHOR       = {Daniel Grund and Sebastian Hack},
   BOOKTITLE    = {Compiler Construction (CC'07)},
   TITLE        = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
   YEAR         = {2007},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Shriram Krishnamurthi and Martin Odersky},
   MONTH        = {March},
   NOTE         = {Best paper award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {111-125},
   PUBLISHER    = {Springer},
   SERIES       = {Lecture Notes In Computer Science},
   VOLUME       = {4420},
   URL          = {http://rw4.cs.uni-sb.de/~grund/papers/cc07-opt_coalescing.pdf}
}

@INPROCEEDINGS{ACF06,
   AUTHOR       = {P. Amiranoff and A. Cohen and P. Feautrier},
   BOOKTITLE    = {Static Analysis Symposium (SAS'06)},
   TITLE        = {Beyond Iteration Vectors: Instancewise Relational 
      Abstract Domains},
   YEAR         = {2006},
   ADDRESS      = {Seoul, Corea},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfip06,
   AUTHOR       = {P. Borgnat and N. Larrieu and P. Owezarski and P. Abry and 
      J. Aussibal and L. Gallon and G. Dewaele and N. Nobelis and 
      L. Bernaille and A. Scherrer and Y. Zhang and Y. Labit and et al., },
   BOOKTITLE    = {Colloque francophone sur l'ingénierie des protocoles (CFIP)},
   TITLE        = {Détection d'attaques de dénis de service par un modèle 
      non gaussien multirésolution},
   YEAR         = {2006},
   ADDRESS      = {Tozeur, Tunisie},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BouchezDGR06a,
   AUTHOR       = {Florent Bouchez and Alain Darte and Christophe Guillon and 
      Fabrice Rastello},
   BOOKTITLE    = {Annual Workshop in Duplicating, Deconstructing, and Debunking (WDDD'06), held in conjunction with the International Symposium on Computer Architecture (ISCA'33)},
   TITLE        = {Register Allocation: What does the NP-Completeness Proof 
      of Chaitin et al. Really Prove?},
   YEAR         = {2006},
   ADDRESS      = {Boston, MA, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{BouchezDGR06b,
   AUTHOR       = {Florent Bouchez and Alain Darte and Christophe Guillon and 
      Fabrice Rastello},
   BOOKTITLE    = {International Workshop on Languages and Compilers for Parallel Computing (LCPC'06)},
   TITLE        = {Register Allocation: What does the NP-Completeness Proof 
      of Chaitin et al. Really Prove? Or Revisiting Register Allocation: 
      Why and How},
   YEAR         = {2006},
   ADDRESS      = {New Orleans, FL, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{CheFraFle2006a,
   AUTHOR       = {Guillaume Chelius and Antoine Fraboulet and Eric Fleury},
   BOOKTITLE    = {Second International Workshop on Multi-hop Ad Hoc Networks: From Theory to Reality (REALMAN)},
   TITLE        = {Demonstration of Worldsens: A Fast Prototyping and 
      Performance Evaluation Tool for Wireless Sensor Network Applications 
      & Protocols},
   YEAR         = {2006},
   ADDRESS      = {Firenze, Italia},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   ORGANIZATION = {ACM},
   PAGES        = {131 -- 133},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Cher:2006,
   AUTHOR       = {Hadda Cherroun and Alain Darte and Paul Feautrier},
   BOOKTITLE    = {Design Automation and Test in Europe (DATE'06)},
   TITLE        = {Scheduling under Resource Constraints using 
      Dis-Equalities},
   YEAR         = {2006},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{CheFraFle2006b,
   AUTHOR       = {Antoine Fraboulet and Guillaume Chelius and Eric Fleury},
   BOOKTITLE    = {Real-Time Systems Symposium (RTSS 2006) (Work in Progress)},
   TITLE        = {Worldsens: System Tools for Embedded Sensor Networks},
   YEAR         = {2006},
   ADDRESS      = {Rio de Janeiro, Brasil},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {December},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   ORGANIZATION = {IEEE},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Gros:2006,
   AUTHOR       = {Philippe Grosse and Yves Durand and Paul Feautrier},
   BOOKTITLE    = {16th PATMOS Workshop - International Workshop on Power And Timing Modeling, Optimization and Simulation},
   TITLE        = {Power Modeling of a NoC Based Design for High-Speed 
      Telecommunication Systems},
   YEAR         = {2006},
   ADDRESS      = {Montpellier, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Alias06SSA,
   AUTHOR       = {Silvius Rus and Guobin He and Christophe Alias and 
      Lawrence Rauchwerger},
   BOOKTITLE    = {15th International Conference on Parallel Architectures and Compilation Techniques (PACT'06)},
   TITLE        = {Region Array SSA},
   YEAR         = {2006},
   ADDRESS      = {Seattle, WA, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {43-52},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{asap06,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet and Tanguy Risset},
   BOOKTITLE    = {IEEE 17th International Conference on Application-Specific Systems, Architectures and Processors (ASAP'06)},
   TITLE        = {A Generic Multi-Phase On-Chip Traffic Generation 
      Environment},
   YEAR         = {2006},
   ADDRESS      = {Steamboat Springs, Colorado, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{SFR-isss06,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet and Tanguy Risset},
   BOOKTITLE    = {Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
   TITLE        = {Automatic Phase Detection for Stochastic On-Chip Traffic 
      Generation},
   YEAR         = {2006},
   ADDRESS      = {seoul, South Corea},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {88 -- 93},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{ipsmom06,
   AUTHOR       = {Antoine Scherrer and Nicolas Larrieu and Pierre Borgnat and 
      Philippe Owezarski and Patrice Abry},
   BOOKTITLE    = {4th International Workshop on Internet Performance, Simulation, Monitoring and Measurement (IPS MOME)},
   TITLE        = {Non Gaussian and Long Memory Statistical Modeling of 
      Internet Traffic},
   YEAR         = {2006},
   ADDRESS      = {Salzbourg, Austria},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/antoine.scherrer/ipsmom06.pdf}
}

@INPROCEEDINGS{sar06,
   AUTHOR       = {Antoine Scherrer and Nicolas Larrieu and Pierre Borgnat and 
      Philippe Owezarski and Patrice Abry},
   BOOKTITLE    = {5th Conference on Security and Network Architectures (SAR)},
   TITLE        = {Une caractérisation non gaussienne et longue mémoire du 
      trafic Internet et de ses anomalies},
   YEAR         = {2006},
   ADDRESS      = {Seignosse, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/antoine.scherrer/scherrer-sar06.pdf}
}

@INPROCEEDINGS{AliasPatHPC2005,
   AUTHOR       = {Christophe Alias},
   BOOKTITLE    = {International Workshop on Patterns in High-Performance Computing},
   TITLE        = {TeMa: an Efficient Tool to find High-Performance Library 
      Patterns in Source Code},
   YEAR         = {2005},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasEuroPar2005,
   AUTHOR       = {Christophe Alias and Denis Barthou},
   BOOKTITLE    = {International IEEE/ACM Euro-Par Conference},
   TITLE        = {Deciding Where to Call Performance Libraries},
   YEAR         = {2005},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasGPCE2005,
   AUTHOR       = {Christophe Alias and Denis Barthou},
   BOOKTITLE    = {International ACM Conference on Generative Programming and Component-based Engineering},
   TITLE        = {On Domain Specific Languages Re-Engineering},
   YEAR         = {2005},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{ASAP2005,
   AUTHOR       = {Alain Darte and Steven Derrien and Tanguy Risset},
   BOOKTITLE    = {IEEE International Conference on Application-Specific Systems, Architecture, and Processors (ASAP'05)},
   TITLE        = {Hardware/Software Interface for Multi-Dimensional 
      Processor Arrays},
   YEAR         = {2005},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {28--35},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{PPoPP05,
   AUTHOR       = {Alain Darte and Robert Schreiber},
   BOOKTITLE    = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'05)},
   TITLE        = {A Linear-Time Algorithm for Optimal Barrier Placement},
   YEAR         = {2005},
   ADDRESS      = {Chicago, IL, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {26-35},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Bast:04b,
   AUTHOR       = {Cédric Bastoul and Paul Feautrier},
   BOOKTITLE    = {Euro-Par'04},
   TITLE        = {More Legal Transformations for Locality},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   NOTE         = {Distinguished Paper Award},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {272--283},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   VOLUME       = {LNCS 3149}
}

@INPROCEEDINGS{Feau:04,
   AUTHOR       = {Paul Feautrier},
   BOOKTITLE    = {Computer Systems: Architectures, Modeling and Simulation (SAMOS 2004)},
   TITLE        = {Scalable and Modular Scheduling},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Andy D. Pimentel and Stamatis Vassiliadis},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {433--442},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   VOLUME       = {LNCS 3133}
}

@INPROCEEDINGS{ASAP2004,
   AUTHOR       = {Antoine Fraboulet and Tanguy Risset},
   BOOKTITLE    = {Application-Specific Systems, Architectures, and Processors (ASAP'04)},
   TITLE        = {Efficient On-Chip Communications for Data-Flow IPs},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {293-303},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{fabCASES,
   AUTHOR       = {Christophe Guillon and Fabrice Rastello and 
      Thierry Bidault and Florent Bouchez},
   BOOKTITLE    = {International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'04)},
   TITLE        = {Procedure Placement using Temporal-Ordering Information: 
      Dealing with Code Size Expansion},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {268--279},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{fabCGO,
   AUTHOR       = {Fabrice Rastello and de Ferrière, Francois and 
      Christophe Guillon},
   BOOKTITLE    = {International Symposium on Code Generation and Optimization (CGO'04)},
   TITLE        = {Optimizing Translation Out of SSA using Renaming 
      Constraints},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {265-278},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{SAMOS2004,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet and Tanguy Risset},
   BOOKTITLE    = {Computer Systems: Architecture, Modeling, and Simulation (SAMOS 2004)},
   TITLE        = {Hardware-Software Fast and Accurate Prototyping with 
      Soclib & MMAlpha},
   YEAR         = {2004},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Andy D. Pimentel and Stamatis Vassiliadis},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {453--462},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS},
   VOLUME       = {3133}
}

@INPROCEEDINGS{scs04,
   AUTHOR       = {Antoine Scherrer and Tanguy Risset and Antoine Fraboulet},
   BOOKTITLE    = {Signaux, Circuits et Systèmes 2004},
   TITLE        = {Hardware Wrapper Classification and Requirements for 
      On-Chip Interconnects},
   YEAR         = {2004},
   ADDRESS      = {Monastir, Tunisie},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {31-34},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasWCRE2003,
   AUTHOR       = {Christophe Alias and Denis Barthou},
   BOOKTITLE    = {International IEEE Working Conference on Reverse Engineering},
   TITLE        = {Algorithm Recognition based on Demand-Driven Dataflow 
      Analysis},
   YEAR         = {2003},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{AliasCOCV2003,
   AUTHOR       = {Christophe Alias and Denis Barthou},
   BOOKTITLE    = {International Workshop on Compiler Optimization meets Compiler Verification},
   TITLE        = {On the Recognition of Algorithm Templates},
   YEAR         = {2003},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {in Theoretical Computer Science, Electronic Notes},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {2},
   ORGANIZATION = {ETAPS},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   VOLUME       = {82}
}

@INPROCEEDINGS{Darte_c33,
   AUTHOR       = {A. Darte and R. Schreiber and G. Villard},
   BOOKTITLE    = {6th ACM International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES'03)},
   TITLE        = {Lattice-Based Memory Allocation},
   YEAR         = {2003},
   ADDRESS      = {San Jose, CA, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {298-308},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{ASAP2003,
   AUTHOR       = {A.-C. Guillou and P. Quinton and T. Risset},
   BOOKTITLE    = {IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2003)},
   TITLE        = {Hardware Synthesis for Multi-Dimensional Time},
   YEAR         = {2003},
   ADDRESS      = {The Hague, The Netherlands},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{sympaaa-03,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet},
   BOOKTITLE    = {Symposium en Architecture et Adéquation Algorithme Architecture (SympAAA)},
   TITLE        = {Étude de la couche transport des réseaux sur puce},
   YEAR         = {2003},
   ADDRESS      = {La Colle sur Loup, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Bart:2002,
   AUTHOR       = {Denis Barthou and Paul Feautrier and Xavier Redon},
   BOOKTITLE    = {European Conference on Parallel Computing (Euro-Par 2002)},
   TITLE        = {On the Equivalence of Two Systems of Affine Recurrence 
      Equations},
   YEAR         = {2002},
   ADDRESS      = {Paderborn, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {309-313},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS},
   VOLUME       = {2400}
}

@INPROCEEDINGS{David2002,
   AUTHOR       = {D. Cachera and T. Risset},
   BOOKTITLE    = {IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2002)},
   TITLE        = {Advances in Bit Width Selection Methodology},
   YEAR         = {2002},
   ADDRESS      = {San Jose, California},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2002/1458/1458.html}
}

@INPROCEEDINGS{Darte_c31,
   AUTHOR       = {Daniel Chavarría-Miranda and Alain Darte and 
      Robert Fowler and John Mellor-Crummey},
   BOOKTITLE    = {16th International Parallel and Distributed Processing Symposium (IPDPS'02)},
   TITLE        = {Generalized Multipartitioning for Multi-Dimensional 
      Arrays},
   YEAR         = {2002},
   ADDRESS      = {Fort Lauderdale, Florida},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   NOTE         = {« Best paper award »},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Cohen:2002,
   AUTHOR       = {Albert Cohen and Daniela Genius and Abdesselem Kortebi and 
      Zbigniew Chamski and Marc Duranton and Paul Feautrier},
   BOOKTITLE    = {European Conference on Parallel Computing (Euro-Par 2002)},
   TITLE        = {Multiperiodic Process Networks: Prototyping and 
      Verifying Stream-Processing Systems},
   YEAR         = {2002},
   ADDRESS      = {Paderborn, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {137-146},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS},
   VOLUME       = {2400}
}

@INPROCEEDINGS{Darte_c30,
   AUTHOR       = {A. Darte and G. Huard},
   BOOKTITLE    = {19th International Symposium on Theoretical Aspects of Computer Science (STACS'02)},
   TITLE        = {Complexity of Multi-Dimensional Loop Alignment},
   YEAR         = {2002},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {March},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {179-191},
   PUBLISHER    = {Springer Verlag},
   OPTSERIES    = {},
   VOLUME       = {2285}
}

@INPROCEEDINGS{Darte_c32,
   AUTHOR       = {A. Darte and G. Huard},
   BOOKTITLE    = {13th International Conference on Application-Specific Systems, Architectures, and Processors (ASAP'02)},
   TITLE        = {New Results on Array Contraction},
   YEAR         = {2002},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {359-370},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab15,
   AUTHOR       = {Thierry Dauxois and Fabrice Rastello},
   BOOKTITLE    = {Workshop on Massively Parallel Processing (WMPP 2002), Fort Lauderdale, Florida},
   TITLE        = {Efficient Tiling for an ODE Discrete Integration 
      Program: Redundant Tasks Instead of Trapezoidal-Shaped Tiles},
   YEAR         = {2002},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Samos2002,
   AUTHOR       = {S. Derrien and A. C. Guillou and P. Quinton and 
      T. Risset and C Wagner},
   BOOKTITLE    = {International Samos Workshop on Systems, Architectures, Modeling and Simulation (Samos)},
   TITLE        = {Automatic Synthesis of Efficient Interfaces for Compiled 
      Regular},
   YEAR         = {2002},
   ADDRESS      = {Samos, Grèce},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/Samos02.ps}
}

@INPROCEEDINGS{Manju2002,
   AUTHOR       = {Dupont de Dinechin, F. and M. Manjunathaiah and T. Risset and 
      M. Spivey},
   BOOKTITLE    = {Forum on Specification and Design Languages (FDL 2002)},
   TITLE        = {Design of Highly Parallel Architectures with Alpha and 
      Handel},
   YEAR         = {2002},
   ADDRESS      = {Marseille},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/AlphaHandel.ps}
}

@INPROCEEDINGS{cao02,
   AUTHOR       = {Antoine Fraboulet and Anne Mignotte},
   BOOKTITLE    = {Colloque CAO de circuits intégrés et systèmes},
   TITLE        = {Optimisation de la mémoire et de la consommation des 
      systèmes multimédia embarqués},
   YEAR         = {2002},
   ADDRESS      = {Paris},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {177--180},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Grie:2002,
   AUTHOR       = {Martin Griebl and Paul Feautrier and Armin Groesslinger},
   BOOKTITLE    = {15th Workshop on Languages and Compilers for Parallel Computing (LCPC 2002)},
   TITLE        = {Forward Communication Only Placements},
   YEAR         = {2002},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {July},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Anne2002,
   AUTHOR       = {R. Huaulme and J.-P. Babau and A. Mignotte},
   BOOKTITLE    = {Forum on Specification and Design Languages (FDL 2002)},
   TITLE        = {Java Data Flow for Real-Time HW/SW Synthesis of Mobile 
      Devices},
   YEAR         = {2002},
   ADDRESS      = {Marseille},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Peng:2002,
   AUTHOR       = {Peng Wu and Paul Feautrier and David Padua and 
      Zehra Sura},
   BOOKTITLE    = {International Conference on Supercomputing (ISC'02)},
   TITLE        = {Instance-wise Points-to Analysis for Loop-based 
      Dependence Testing},
   YEAR         = {2002},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {262 - 273},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab13,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Arnaud Legrand and 
      Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {EuroMicro Workshop on Parallel and Distributed Computing (EuroMicro 2001)},
   TITLE        = {Heterogeneous Matrix-Matrix Multiplication, or 
      Partitioning a Square into Rectangles: NP-Completeness and 
      Approximation Algorithms},
   YEAR         = {2001},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {298-305},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{david2001,
   AUTHOR       = {D. Cachera and P. Quinton and S. Rajopadhye and 
      T. Risset},
   BOOKTITLE    = {6th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA)},
   TITLE        = {Proving Properties of Multidimensional Recurrences with 
      Application to Regular Parallel Algorithms},
   YEAR         = {2001},
   ADDRESS      = {San Francisco},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2000/1362/1362.html}
}

@INPROCEEDINGS{cfab14,
   AUTHOR       = {Dupont de Dinechin, Benoît and Christophe Monat and 
      Fabrice Rastello},
   BOOKTITLE    = {Workshop on Signal Processing Systems (SIPS 2001)},
   TITLE        = {Parallel Execution of the Saturated Reductions},
   YEAR         = {2001},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {373-384},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{isss01,
   AUTHOR       = {Antoine Fraboulet and Karen Godary and Anne Mignotte},
   BOOKTITLE    = {International Symposium on System Synthesis (ISSS 2001)},
   TITLE        = {Loop Fusion for Memory Space Optimization},
   YEAR         = {2001},
   ADDRESS      = {Montréal, Canada},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {95--100},
   PUBLISHER    = {IEEE Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/isss01.pdf}
}

@INPROCEEDINGS{ctc01,
   AUTHOR       = {Antoine Fraboulet and Laurence Just-Meunier and 
      Anne Mignotte},
   BOOKTITLE    = {Cadence Technical Conference},
   TITLE        = {Memory Optimization of Data Flow Applications at the 
      Codesign Level},
   YEAR         = {2001},
   ADDRESS      = {San Jose, USA},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{medea01,
   AUTHOR       = {Antoine Fraboulet and Anne Mignotte},
   BOOKTITLE    = {MEDEA 2001},
   TITLE        = {Source Code Loop Transformations for Memory Hierarchy 
      Optimizations},
   YEAR         = {2001},
   ADDRESS      = {Barcelone, Spain},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/medea01.pdf}
}

@INPROCEEDINGS{FDL2001,
   AUTHOR       = {A.-C. Guillou and F. Quilleré and P. Quinton and 
      S. Rajopadhye and T. Risset},
   BOOKTITLE    = {FDL'01},
   TITLE        = {Hardware Design Methodology with the Alpha Language},
   YEAR         = {2001},
   ADDRESS      = {Lyon, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/fdl01.ps}
}

@INPROCEEDINGS{ICPP2001,
   AUTHOR       = {M Manjunathaiah and G. M. Megson and T. Risset and 
      S. Rajopadhye},
   BOOKTITLE    = {International Conference on Parallel Processing},
   TITLE        = {Uniformization of Affine Dependence Programs for 
      Parallel Embedded System Design},
   YEAR         = {2001},
   ADDRESS      = {Valencia, Spain},
   OPTCROSSREF  = {},
   EDITOR       = {L.M. Ni and M. Valero},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {205-213},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/icpp01.ps}
}

@INPROCEEDINGS{samos2001,
   AUTHOR       = {P. Quinton and T. Risset},
   BOOKTITLE    = {Proc. of the System Architecture MOdelling and Simulation Workshop},
   TITLE        = {Structured Scheduling of Recurrence Equations: Theory 
      and Practice},
   YEAR         = {2001},
   ADDRESS      = {Samos, Greece},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/samos01.ps}
}

@INPROCEEDINGS{cfab12,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Arnaud Legrand and 
      Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {International Workshop on Parallel Matrix Algorithms and Applications},
   TITLE        = {Dense Linear Algebra Kernels on Heterogeneous Platforms},
   YEAR         = {2000},
   ADDRESS      = {Neuchâtel, Suisse},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab11,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Arnaud Legrand and 
      Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {Cluster 2000},
   TITLE        = {Heterogeneity Considered Harmful to Algorithm Designers},
   YEAR         = {2000},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {403-404},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab9,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   BOOKTITLE    = {14th International Parallel and Distributed Processing Symposium (IPDPS 2000)},
   TITLE        = {Load Balancing Strategies for Dense Linear Algebra 
      Kernels on Heterogeneous Two-dimensional Grids},
   YEAR         = {2000},
   ADDRESS      = {Mexico},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {783-792},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab10,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   BOOKTITLE    = {International Conference on Parallel Processing (ICPP 2000)},
   TITLE        = {Matrix-Matrix Multiplication on Heterogeneous Platforms},
   YEAR         = {2000},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {289-298},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c28,
   AUTHOR       = {A. Darte and C. Diderich and M. Gengler and F. Vivien},
   BOOKTITLE    = {European Conference on Parallel Computing (Euro-Par'00)},
   TITLE        = {Scheduling the Computations of a Loop Nest with Respect 
      to a Given Mapping},
   YEAR         = {2000},
   ADDRESS      = {München, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {405-414},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS},
   VOLUME       = {1900}
}

@INPROCEEDINGS{Darte_c27,
   AUTHOR       = {A. Darte and R. Schreiber and B. R. Rau and F. Vivien},
   BOOKTITLE    = {International Parallel and Distributed Processing Symposium (IPDPS'00)},
   TITLE        = {A Constructive Solution to the Juggling Problem in 
      Systolic Array Synthesis},
   YEAR         = {2000},
   ADDRESS      = {Cancun, Mexico},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {815-821},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c29,
   AUTHOR       = {A. Darte and G.-A. Silber},
   BOOKTITLE    = {European Conference on Parallel Computing (Euro-Par'00)},
   TITLE        = {Temporary Arrays for Distribution of Loops with Control 
      Dependences},
   YEAR         = {2000},
   ADDRESS      = {München, Germany},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {357-367},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS},
   VOLUME       = {1900}
}

@INPROCEEDINGS{PDPTA2000,
   AUTHOR       = {S. Derrien and T. Risset},
   BOOKTITLE    = {PDPTA2000: Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects},
   TITLE        = {Interfacing compiled FPGA programs: the MMAlpha approach},
   YEAR         = {2000},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {A. Arabnia},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {CSREA Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2000/1331/1331.html}
}

@INPROCEEDINGS{same00,
   AUTHOR       = {Antoine Fraboulet and Laurence Just-Meunier and 
      Anne Mignotte},
   BOOKTITLE    = {Sophia Antipolis Forum on Microelectronics (SAME)},
   TITLE        = {Memory Optimization of Data Flow Applications at the 
      Codesign Level},
   YEAR         = {2000},
   ADDRESS      = {Sophia Antipolis, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {16--21},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/same00.pdf}
}

@INPROCEEDINGS{Parelec2000,
   AUTHOR       = {A.C. Guillou and P. Quinton and T. Risset},
   BOOKTITLE    = {2000 IEEE Canadian Conference on Electrical and Computer Engineering},
   TITLE        = {Automatic Design of VLSI Pipelined LMS Architectures},
   YEAR         = {2000},
   ADDRESS      = {Trois Rivières, Canada},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/PARELEC2000.ps}
}

@INPROCEEDINGS{cfab7,
   AUTHOR       = {Vincent Boudet and Antoine Petitet and Fabrice Rastello and 
      Yves Robert},
   BOOKTITLE    = {Parallel and Distributed Computing and Systems conference (PDCS'99)},
   TITLE        = {Data Allocation Strategies for Dense Linear Algebra 
      Kernels on Heterogeneous Two-Dimensional Grids},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {561-569},
   PUBLISHER    = {IASTED Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab6,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)},
   TITLE        = {A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense 
      Linear Solvers)},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Hamid R. Arabnia},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {1285-1291},
   PUBLISHER    = {CSREA Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab5,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {Cluster Computing Technologies, Environments, and Applications (CC-TEA'99)},
   TITLE        = {Algorithmic Issues for (Distributed) Heterogeneous 
      Computing Platforms},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Rajkumar Buyya and Toni Cortes},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {709-712},
   PUBLISHER    = {CSREA Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab8,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {Recent Advances in Parallel Virtual Machine and Message Passing Interface},
   TITLE        = {PVM Implementation of Heterogeneous ScaLAPACK Dense 
      Linear Solvers},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. Dongarra and E. Luque and T. Margalef},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {333-340},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {LNCS 1697},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{c26,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {International Conference on Parallel Architectures and Compilation Techniques (PACT'99)},
   TITLE        = {On the Complexity of Loop Fusion},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {149-157},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{c25,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   BOOKTITLE    = {Languages and Compilers for Parallel Computing (LCPC'99)},
   TITLE        = {Loop Shifting for Loop Compaction},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {415-431},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   VOLUME       = {1863}
}

@INPROCEEDINGS{isss99,
   AUTHOR       = {Antoine Fraboulet and Guillaume Huard and Anne Mignotte},
   BOOKTITLE    = {International Symposium on System Synthesis (ISSS'99)},
   TITLE        = {Loop Alignment for Memory Accesses Optimization},
   YEAR         = {1999},
   ADDRESS      = {San Jose, Californie},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {November},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {71--77},
   PUBLISHER    = {IEEE Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/isss99.pdf}
}

@INPROCEEDINGS{cao99,
   AUTHOR       = {Antoine Fraboulet and Guillaume Huard and Anne Mignotte},
   BOOKTITLE    = {Colloque CAO de circuits intégrés et systèmes},
   TITLE        = {Optimisation de la consommation et de la place mémoire 
      par transformations de boucles},
   YEAR         = {1999},
   ADDRESS      = {Aix en Provence},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {181--184},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{GFL:99,
   AUTHOR       = {Martin Griebl and Paul Feautrier and Christian Lengauer},
   BOOKTITLE    = {International Conference on Parallel Architectures and Compilation Techniques (PACT'99)},
   TITLE        = {On Index Set Splitting},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Parelec99,
   AUTHOR       = {A. Mozipo and D. Massicote and P. Quinton and T. Risset},
   BOOKTITLE    = {1999 IEEE Canadian Conference on Electrical and Computer Engineering},
   TITLE        = {A Parallel Architecture for Adaptative Channel 
      Equalization Based On Kalman Filter Using MMAlpha},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{IWPIPA99,
   AUTHOR       = {E. Mémin and T. Risset},
   BOOKTITLE    = {International Workshop on Parallel Image Processing and Analysis, IWPIPA'99},
   TITLE        = {Full Alternate Jacobi Minimization and VLSI Derivation 
      of Hardware for Motion Estimation},
   YEAR         = {1999},
   ADDRESS      = {Madras, India},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {January},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/iwpipa.ps}
}

@INPROCEEDINGS{europar99,
   AUTHOR       = {S. Rajopadhye and T. Risset and C. Tadonki},
   BOOKTITLE    = {5th International Euro-Par Conference},
   TITLE        = {The Algebraic Path Problem Revisited},
   YEAR         = {1999},
   ADDRESS      = {Toulouse, France},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {698-707},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/europar99.ps}
}

@INPROCEEDINGS{Grobner,
   AUTHOR       = {T. Risset and Y. Saouter},
   BOOKTITLE    = {5ème Symposium en architecture nouvelles de machines (Sympa'5)},
   TITLE        = {Synthèse de haut niveau d'un co-processeur pour le 
      calcul des bases de Gröbner},
   YEAR         = {1999},
   ADDRESS      = {Rennes},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {June},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/SYMPA5.ps}
}

@INPROCEEDINGS{c24,
   AUTHOR       = {Georges-André Silber and Alain Darte},
   BOOKTITLE    = {High Performance Computing and Networking (HPCN'99)},
   TITLE        = {The Nestor Library: A Tool for Implementing Fortran 
      Source to Source Transformations},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {April},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {653--662},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   VOLUME       = {1593}
}

@INPROCEEDINGS{BQRR,
   AUTHOR       = {S. Balev and P. Quinton and S. V. Rajopadhye and 
      T. Risset},
   BOOKTITLE    = {10th ACM Symposium on Parallel Algorithms and Architectures (SPAA)},
   TITLE        = {Linear Programming Models for Scheduling Systems of 
      Affine Recurrence Equations -- a Comparative Study --},
   YEAR         = {1998},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1998/1161/1161.html}
}

@INPROCEEDINGS{cfab4,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {ICPADS'98, Taiwan},
   TITLE        = {Alignment and Distribution is NOT (Always) NP-hard},
   YEAR         = {1998},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Chyi-Nan Chen and Lionel M. Ni},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {648-657},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris26,
   AUTHOR       = {A. Mozipo and D. Massicotte and P. Quinton and T. Risset},
   BOOKTITLE    = {International Conference on Parallel Computing in Electrical Engineering (PARELEC 98)},
   TITLE        = {Automatic Synthesis of a Parallel Architecture for 
      Kalman Filtering using MMAlpha},
   YEAR         = {1998},
   ADDRESS      = {Bialystok, Poland},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {September},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {201-206},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/parelec-98.ps}
}

@INPROCEEDINGS{cfab2,
   AUTHOR       = {Fabrice Rastello and Amit Rao and Santosh Pande},
   BOOKTITLE    = {International Conference on Parallel Processing (ICPP'98)},
   TITLE        = {Optimal Task Scheduling to Minimize Inter-Tile Latencies},
   YEAR         = {1998},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {172-179},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab3,
   AUTHOR       = {Fabrice Rastello and Yves Robert},
   BOOKTITLE    = {International Conference on Parallel and distributed Computing and Systems, PDCS'98, Las Vegas},
   TITLE        = {Loop Partitioning versus Tiling for Cache-Based 
      Multiprocessors},
   YEAR         = {1998},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {477-483},
   PUBLISHER    = {IASTED Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Cari98,
   AUTHOR       = {Tayou Djamegni, C. and P. Quinton and S. Rajopadhye and 
      T. Risset},
   BOOKTITLE    = {4ème Colloque Africain sur la Recherche Informatique},
   TITLE        = {Derivation of Systolic Algorithms for The Algebraic Path 
      Problem by Recurrence Transformations},
   YEAR         = {1998},
   ADDRESS      = {Dakar, Sénégal},
   OPTCROSSREF  = {},
   EDITOR       = {M. Tchuente},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {551,564},
   PUBLISHER    = {Presse Universitaire de Dakar},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{cfab1,
   AUTHOR       = {Frédéric Desprez and Jack Dongarra and Fabrice Rastello and 
      Yves Robert},
   BOOKTITLE    = {Parallel Architectures and Compilation Techniques PACT'97},
   TITLE        = {Determining the Idle Time of a Tiling: New Results},
   YEAR         = {1997},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {307-317},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris21,
   AUTHOR       = {Dupont de Dinechin, F. and T. Risset and S. Robert},
   BOOKTITLE    = {Internationnal Conference on Parallel Computing (PARCO)},
   TITLE        = {Hierarchical Static Analysis for Improving the 
      Complexity of Linear Algebra Algorithms},
   YEAR         = {1997},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {North Holland},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/parco.ps}
}

@INPROCEEDINGS{Darte_c22,
   AUTHOR       = {T. Brandes and S. Chaumette and M.-C. Counilh and 
      A. Darte and F. Desprez and J.C Mignot and J. Roman},
   BOOKTITLE    = {3rd Workshop on Environments and Tools for Parallel Scientific Computing},
   TITLE        = {HPFIT and the TransTool Environment},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. J. Dongarra and B. Tourancheau},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {SIAM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c18,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert},
   BOOKTITLE    = {1996 International Conference on Supercomputing (ICS'96)},
   TITLE        = {A New Guaranteed Heuristic for the Software Pipelining 
      Problem},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {261-269},
   PUBLISHER    = {ACM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c19,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert and 
      Frédéric Vivien},
   BOOKTITLE    = {Application Specific Systems, Architectures and Processors (ASAP'96)},
   TITLE        = {On the Removal of Anti and Output Dependences},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. Fortes and C. Mongenet and K. Parhi and V. Taylor},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {353-364},
   PUBLISHER    = {IEEE Computer Science Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c23,
   AUTHOR       = {P.-Y. Calland and A. Darte and Y. Robert and F. Vivien},
   BOOKTITLE    = {3rd Workshop on Environments and Tools for Parallel Scientific Computing},
   TITLE        = {Plugging Anti and Output Dependence Removal Techniques 
      into Loop Parallelization Algorithms},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. J. Dongarra and B. Tourancheau},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   PUBLISHER    = {SIAM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c20,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   BOOKTITLE    = {Europar'96},
   TITLE        = {On the Optimality of Allen and Kennedy's Algorithm for 
      Parallelism Detection in Nested Loops},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {August},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {379-388},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   VOLUME       = {1123}
}

@INPROCEEDINGS{Darte_c21,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   BOOKTITLE    = {Parallel and Architectures and Compilation Techniques (PACT'96)},
   TITLE        = {Optimal Fine and Medium Grain Parallelism Detection in 
      Polyhedral Reduced Dependence Graphs},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {October},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {281-291},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Patricia96,
   AUTHOR       = {Le Moenner, P. and L. Perraudeau and S. Rajopadhye and 
      T. Risset and P. Quinton},
   BOOKTITLE    = {Massively Parallel Computing Systems (MPCS'96)},
   TITLE        = {Generating Regular Arithmetic Circuits with AlpHard},
   YEAR         = {1996},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   MONTH        = {May},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1996/1001/1001.html}
}

@INPROCEEDINGS{QuRaRi96a,
   AUTHOR       = {P. Quinton and S. V. Rajopadhye and T. Risset},
   BOOKTITLE    = {International Conference on Application Specific Array Processors (ASAP)},
   TITLE        = {Extension of the Alpha Language to Recurrences on Sparse 
      Periodic Domains},
   YEAR         = {1996},
   ADDRESS      = {Chicago, Illinois},
   OPTCROSSREF  = {},
   EDITOR       = {et al., J. Fortes},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {391-401},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1996/1017/1017.html}
}

@INPROCEEDINGS{Darte_c16,
   AUTHOR       = {Vincent Bouchitté and Pierre Boulet and Alain Darte and 
      Yves Robert},
   BOOKTITLE    = {Algorithms and Parallel VLSI Architectures III},
   TITLE        = {Heuristics for the Evaluation of Array Expressions on 
      State-of-the-Art Massively Parallel Machines},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {M. Moonen and F. Catthoor},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {319-330},
   PUBLISHER    = {North Holland},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris14,
   AUTHOR       = {P.Y. Calland and T. Risset},
   BOOKTITLE    = {Application Specific Array Processors},
   TITLE        = {Precise Tiling for Uniform Loop Nests},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {et al., C. Mongenet},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {330-337},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1994/RR1994-29.ps.Z}
}

@INPROCEEDINGS{Darte_c15,
   AUTHOR       = {Alain Darte and Michèle Dion and Yves Robert},
   BOOKTITLE    = {7th IEEE Symposium on Parallel and Distributed Processing (SPDP'95)},
   TITLE        = {A Characterization of One-to-One Modular Mappings},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {382-389},
   PUBLISHER    = {IEEE Computer Science Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c17,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   BOOKTITLE    = {INRIA-IEEE Symposium on Emerging Technologies and Factory Automation (ETFA'95)},
   TITLE        = {A Classification of Nested Loops Parallelization 
      Algorithms},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {217-224},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c14,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   BOOKTITLE    = {Application Specific Array Processors (ASAP'95)},
   TITLE        = {Revisiting the Decomposition of Karp, Miller and 
      Winograd},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {13-25},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{c60,
   AUTHOR       = {M. Dion and T. Risset and Y. Robert},
   BOOKTITLE    = {EuroMicro Workshop on Parallel and Distributed Processing},
   TITLE        = {Resource-Constrained Scheduling of Partitioned 
      Algorithms on Processor Arrays},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {571-580},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{DupontQuRi95,
   AUTHOR       = {Dupont De Dinechin, F and P. Quinton and T. Risset},
   BOOKTITLE    = {Massively Parallel Programming Models},
   TITLE        = {Structuration of the Alpha Language},
   YEAR         = {1995},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {W.K. Giloi and S. Jahnichen and B.D. Shriver},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {18-24},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {http://perso.ens-lyon.fr/tanguy.risset/papers/mppm95.ps}
}

@INPROCEEDINGS{Darte_c12,
   AUTHOR       = {Vincent Bouchitté and Pierre Boulet and Alain Darte and 
      Yves Robert},
   BOOKTITLE    = {Parallel Processing: CONPAR 94-VAPP VI},
   TITLE        = {Evaluating Array Expressions on Massively Parallel 
      Machines with Communication/Computation Overlap},
   YEAR         = {1994},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {B. Buchberger and J. Volkert},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {713-724},
   PUBLISHER    = {Springer Verlag},
   SERIES       = {Lecture Notes in Computer Science},
   VOLUME       = {854}
}

@INPROCEEDINGS{Ris11,
   AUTHOR       = {Pierre Boulet and Alain Darte and Tanguy Risset and 
      Yves Robert},
   BOOKTITLE    = {Scalable High Performance Computing Conference (SHPCC'94)},
   TITLE        = {(Pen)-Ultimate Tiling?},
   YEAR         = {1994},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {568-576},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c10,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {Parallel Computing: Trends and Applications},
   TITLE        = {Mapping Uniform Loop Nests onto Distributed Memory 
      Architectures},
   YEAR         = {1994},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {G. R. Joubert and D. Trystram and F. J. Peters and 
      D. J. Evans},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {287-294},
   PUBLISHER    = {Elsevier Science B.V.},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c13,
   AUTHOR       = {Alain Darte and Yves Robert},
   BOOKTITLE    = {2nd Workshop on Environments and Tools for Parallel Scientific Computing},
   TITLE        = {The Alignment Problem for Perfect Uniform Loop Nest: 
      NP-Completeness and Heuristics},
   YEAR         = {1994},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. J. Dongarra and B. Tourancheau},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {33-42},
   PUBLISHER    = {SIAM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris10,
   AUTHOR       = {T. Risset},
   BOOKTITLE    = {Applications in Parallel and Distributed Computing (IFIP Transactions)},
   TITLE        = {Applying Semi-Systolic Techniques to SIMD Programming},
   YEAR         = {1994},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {C. Girault},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {103-112},
   PUBLISHER    = {North-Holland},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   URL          = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1993/RR1993-17.ps.Z}
}

@INPROCEEDINGS{DRR93,
   AUTHOR       = {A. Darte and T. Risset and Y. Robert},
   BOOKTITLE    = {Environments and Tools for Parallel Scientific Computing},
   TITLE        = {Loop Nest Scheduling and Transformations},
   YEAR         = {1993},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {et al., J.J. Dongarra},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {309-332},
   PUBLISHER    = {North-Holland},
   SERIES       = {Advances in Parallel Computing},
   VOLUME       = {6}
}

@INPROCEEDINGS{Darte_c08,
   AUTHOR       = {Alain Darte and Yves Robert},
   BOOKTITLE    = {Application Specific Array Processors (ASAP'93)},
   TITLE        = {Communication-Minimal Mapping of Uniform Loop Nests onto 
      Distributed Memory Architectures},
   YEAR         = {1993},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {L. Dadda and B. Wah},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {1-14},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris8,
   AUTHOR       = {T. Risset and S. Song},
   BOOKTITLE    = {Application Specific Array Processors},
   TITLE        = {A Real Time Systolic Algorithm for On-the-fly Hidden 
      Surface Removal},
   YEAR         = {1993},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {L. Dadda and B. Wah.},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {238-249},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c03,
   AUTHOR       = {Alain Darte},
   BOOKTITLE    = {Algorithms and Parallel VLSI Architectures},
   TITLE        = {Two Heuristics for Task Scheduling},
   YEAR         = {1992},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Patrice Quinton and Yves Robert},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {383-388},
   PUBLISHER    = {Elsevier Science Publishers B.V.},
   OPTSERIES    = {},
   VOLUME       = {2}
}

@INPROCEEDINGS{Darte_c05,
   AUTHOR       = {Alain Darte and Leonid Khachiyan and Yves Robert},
   BOOKTITLE    = {Application Specific Array Processors (ASAP'92)},
   TITLE        = {Linear Scheduling is Close to Optimality},
   YEAR         = {1992},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {J. A. B. Fortes and E. Lee and T. Meng},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {37-46},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c06,
   AUTHOR       = {Alain Darte and Yves Robert},
   BOOKTITLE    = {ISMM Conference on Parallel and Distributed Systems},
   TITLE        = {Scheduling Uniform Loop Nests},
   YEAR         = {1992},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {R. Melhem},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {75-82},
   PUBLISHER    = {ISMM Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Darte_c04,
   AUTHOR       = {Alain Darte and Yves Robert},
   BOOKTITLE    = {Algorithmique Parallèle},
   TITLE        = {Séquencement des nids de boucles},
   YEAR         = {1992},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Michel Cosnard and Maurice Nivat and Yves Robert},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {343-368},
   PUBLISHER    = {Masson},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris6,
   AUTHOR       = {T. Risset},
   BOOKTITLE    = {Application Specific Array Processors},
   TITLE        = {A Method to Synthesize Modular Systolic Arrays with 
      Local Broadcast Facility},
   YEAR         = {1992},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {et al., J. Fortes},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {415-428},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris5,
   AUTHOR       = {A. Darte and T. Risset and Y Robert},
   BOOKTITLE    = {Application Specific Array Processors},
   TITLE        = {Synthesizing Systolic Arrays: Some Recent Developments},
   YEAR         = {1991},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {et al., M. Valero},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {372-386},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{c43,
   AUTHOR       = {A. Darte and Y. Robert and T. Risset},
   BOOKTITLE    = {2nd IEE International Specialist Seminar on Parallel Digital Processors},
   TITLE        = {Systolic Systems},
   YEAR         = {1991},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {P.J. Hargraven},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {6-10},
   PUBLISHER    = {IEEE Press},
   SERIES       = {IEEE Conference Publication},
   VOLUME       = {334}
}

@INPROCEEDINGS{Ris2,
   AUTHOR       = {T. Risset},
   BOOKTITLE    = {Proc. 2nd Workshop on Algorithms and VLSI parallel architecture},
   TITLE        = {Linear Systolic Arrays for Matrix Multiplication: 
      Comparisons of Existing Methods and New Results},
   YEAR         = {1991},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   OPTEDITOR    = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   OPTPAGES     = {},
   OPTPUBLISHER = {},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@INPROCEEDINGS{Ris3,
   AUTHOR       = {T. Risset and Y. Robert},
   BOOKTITLE    = {Application Specific Array Processors},
   TITLE        = {Uniform but Non-Local DAGs: A Trade-off between Pure 
      Systolic and SIMD Solutions},
   YEAR         = {1991},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {et al., M. Valero},
   OPTMONTH     = {},
   OPTNOTE      = {},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {296-308},
   PUBLISHER    = {IEEE Computer Society Press},
   OPTSERIES    = {},
   OPTVOLUME    = {}
}

@TECHREPORT{alias_rr_7697_11,
   AUTHOR       = {Christophe Alias and Alain Darte and Alexandru Plesco},
   INSTITUTION  = {INRIA},
   TITLE        = {Kernel Offloading with Optimized Remote Accesses},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR-7697},
   TYPE         = {Research Report},
   PAGES        = {29},
   URL          = {http://hal.inria.fr/inria-00611179/en}
}

@TECHREPORT{alias_rr7648_11,
   AUTHOR       = {Christophe Alias and Alain Darte and Alexandru Plesco},
   INSTITUTION  = {INRIA},
   TITLE        = {Program Analysis and Source-Level Communication 
      Optimizations for High-Level Synthesis},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {RR-7648},
   TYPE         = {Research Report},
   PAGES        = {16},
   URL          = {http://hal.inria.fr/inria-00601822/en}
}

@TECHREPORT{alias_rr7674_11,
   AUTHOR       = {Christophe Alias and Bogdan Pasca and Alexandru Plesco},
   INSTITUTION  = {INRIA},
   TITLE        = {FPGA-Specific Synthesis of Loop-Nests with Pipelined 
      Computational Cores},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR-7674},
   TYPE         = {Research Report},
   PAGES        = {33},
   URL          = {http://hal.inria.fr/inria-00606977/en}
}

@TECHREPORT{brandner:2011:inria-00558509:2,
   AUTHOR       = {Florian Brandner and Benoit Boissinot and Alain Darte and 
      Dupont de Dinechin, Benoît and Fabrice Rastello},
   INSTITUTION  = {INRIA},
   TITLE        = {Computing Liveness Sets for SSA-Form Programs},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR-7503},
   TYPE         = {Research Report},
   PAGES        = {25},
   URL          = {http://hal.inria.fr/inria-00558509/en}
}

@TECHREPORT{brandner:2011:inria-00625131:1,
   AUTHOR       = {Florian Brandner and Quentin Colombet},
   INSTITUTION  = {INRIA},
   TITLE        = {Parallel Copy Elimination on Data Dependence Graphs},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR-7735},
   TYPE         = {Research Report},
   PAGES        = {29},
   URL          = {http://hal.inria.fr/inria-00625131/en}
}

@TECHREPORT{Feau:2011a,
   AUTHOR       = {Paul Feautrier},
   INSTITUTION  = {INRIA},
   TITLE        = {Simplification of Boolean Affine Formulas},
   YEAR         = {2011},
   OPTADDRESS   = {},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR-7689},
   OPTTYPE      = {},
   KEYWORDS     = {simplification, affine inequalities, 
      boolean expressions, binary decision diagrams, non convex polyhedra},
   PDF          = {http://hal.inria.fr/inria-00609519/PDF/RR-7689.pdf}
}

@TECHREPORT{RR2009-24,
   AUTHOR       = {Benoit Boissinot and Philip Brisk and Alain Darte and 
      Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {SSI Revisited},
   YEAR         = {2009},
   OPTADDRESS   = {},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR2009-24},
   OPTTYPE      = {},
   URL          = {http://hal.inria.fr/inria-00404236/en/}
}

@TECHREPORT{AliasBarayDarte:2007,
   AUTHOR       = {Christophe Alias and Fabrice Baray and Alain Darte},
   INSTITUTION  = {INRIA},
   TITLE        = {Lattice-Based Array Contraction: from Theory to Practice},
   YEAR         = {2007},
   OPTADDRESS   = {},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {2007-44},
   TYPE         = {Research Report},
   PAGES        = {24 p.}
}

@TECHREPORT{RR-2007-45,
   AUTHOR       = {Benoit Boissinot and Sebastion Hack and Daniel Grund and 
      Dupont de Dinechin, Benoît and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Fast Liveness Checking for SSA-Form Programs},
   YEAR         = {2007},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR2007-45},
   OPTTYPE      = {},
   URL          = {http://hal.inria.fr/inria-00192219/fr/}
}

@TECHREPORT{RR-2007-41,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Improvements to Conservative and Optimistic Register 
      Coalescing},
   YEAR         = {2007},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {RR2007-41},
   OPTTYPE      = {},
   URL          = {http://prunel.ccsd.cnrs.fr/ensl-00179685/fr/}
}

@TECHREPORT{RR-2007-42,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {On the Complexity of Spill Everywhere under SSA Form},
   YEAR         = {2007},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {RR2007-42},
   OPTTYPE      = {},
   URL          = {http://www.citebase.org/abstract?id=oai:arXiv.org:0710.3642}
}

@TECHREPORT{Feau:2007,
   AUTHOR       = {Paul Feautrier},
   INSTITUTION  = {INRIA},
   TITLE        = {Elementary Transformation Analysis for Array-OL},
   YEAR         = {2007},
   OPTADDRESS   = {},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {6193},
   TYPE         = {Research Report},
   PAGES        = {12 p.},
   URL          = {https://hal.inria.fr/inria-00146323}
}

@TECHREPORT{RR2006-15,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {On the Complexity of Register Coalescing},
   YEAR         = {2006},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {RR2006-15},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/rr2006.php}
}

@TECHREPORT{RR2006-13,
   AUTHOR       = {Florent Bouchez and Alain Darte and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Register Allocation: What does Chaitin's NP-Completeness 
      Proof Really Prove?},
   YEAR         = {2006},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {RR2006-13},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/rr2006.php}
}

@TECHREPORT{Four:2006,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and Paul Feautrier},
   INSTITUTION  = {ENSL/LIP},
   TITLE        = {Booting and Porting Linux and uClinux on a New Platform},
   YEAR         = {2006},
   OPTADDRESS   = {},
   MONTH        = {February},
   NOTE         = {38 pages},
   NUMBER       = {RR2006-08},
   OPTTYPE      = {}
}

@TECHREPORT{RR-energy,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and Paul Feautrier},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Embedded Systems Energy Characterization using 
      non-Intrusive Instrumentation},
   YEAR         = {2006},
   OPTADDRESS   = {},
   MONTH        = {November},
   NOTE         = {34 pages},
   NUMBER       = {2006-37},
   TYPE         = {Research Report}
}

@TECHREPORT{RR-porting-mutek,
   AUTHOR       = {Nicolas Fournel and Antoine Fraboulet and Paul Feautrier},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Porting the Mutek Operating System to ARM Platforms},
   YEAR         = {2006},
   OPTADDRESS   = {},
   MONTH        = {February},
   NOTE         = {34 pages},
   NUMBER       = {2006-12},
   TYPE         = {Research Report}
}

@TECHREPORT{RR2005-33,
   AUTHOR       = {Florent Bouchez and Alain Darte and Christophe Guillon and 
      Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Register Allocation and Spill Complexity under SSA},
   YEAR         = {2005},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {August},
   OPTNOTE      = {},
   NUMBER       = {RR2005-33},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/rr2005.php}
}

@TECHREPORT{RR2005-40,
   AUTHOR       = {Hadda Cherroun and Alain Darte and Paul Feautrier},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Scheduling with Resource Constraints using Dis-Equations},
   YEAR         = {2005},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {2005-40},
   OPTTYPE      = {}
}

@TECHREPORT{RR2005-15,
   AUTHOR       = {Alain Darte and Steven Derrien and Tanguy Risset},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Hardware/Software Interface for Multi-Dimensional 
      Processor Arrays},
   YEAR         = {2005},
   OPTADDRESS   = {},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {2005-15},
   OPTTYPE      = {}
}

@TECHREPORT{RR2005-34,
   AUTHOR       = {Fabrice Rastello and de Ferrière, Francois and 
      Christophe Guillon},
   INSTITUTION  = {LIP},
   TITLE        = {Optimizing the Translation Out-of-SSA with Renaming 
      Constraints},
   YEAR         = {2005},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {August},
   OPTNOTE      = {},
   NUMBER       = {RR2005-34},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/rr2005.php}
}

@TECHREPORT{RR2005-53,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet and Tanguy Risset},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Analysis and Synthesis of Cycle-Accurate On-Chip Traffic 
      with Long-Range Dependence},
   YEAR         = {2005},
   OPTADDRESS   = {},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {2005-53},
   OPTTYPE      = {}
}

@TECHREPORT{RR2005-35,
   AUTHOR       = {Antoine Scherrer and Nicolas Larrieu and 
      Philippe Owezarski and Patrice Abry},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Non Gaussian and Long Memory Statistical 
      Characterisations for Internet Traffic with Anomalies},
   YEAR         = {2005},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {2005-35},
   OPTTYPE      = {}
}

@TECHREPORT{RR-04-16,
   AUTHOR       = {Thierry Bidault and Christophe Guillon and 
      Florent Bouchez and Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Procedure Placement using Temporal-Ordering Information: 
      Dealing with Code Size Expansion},
   YEAR         = {2004},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR-04-16},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{RR2004-57,
   AUTHOR       = {Alain Darte and Rob Schreiber},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Nested Circular Arc Families: A Model for Barrier 
      Placement in Single-Program, Multiple-Data Codes with Nested Loops},
   YEAR         = {2004},
   OPTADDRESS   = {},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {RR2004-57},
   OPTTYPE      = {}
}

@TECHREPORT{RR2004-23,
   AUTHOR       = {Alain Darte and Rob Schreiber and Gilles Villard},
   INSTITUTION  = {LIP, ENS-Lyon},
   TITLE        = {Lattice-Based Memory Allocation},
   YEAR         = {2004},
   OPTADDRESS   = {},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR2004-23},
   OPTTYPE      = {}
}

@TECHREPORT{RRfab16,
   AUTHOR       = {Fabrice Rastello and de Ferrière, Francois and 
      Christophe Guillon},
   INSTITUTION  = {LIP},
   TITLE        = {Optimizing the Translation Out-of-SSA with Renaming 
      Constraints},
   YEAR         = {2003},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {RR2003-35},
   OPTTYPE      = {}
}

@TECHREPORT{DarteH02bis,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   INSTITUTION  = {LIP},
   TITLE        = {New Complexity Results on Array Contraction and Related 
      Problems},
   YEAR         = {2002},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {October},
   OPTNOTE      = {},
   NUMBER       = {RR2002-41},
   OPTTYPE      = {}
}

@TECHREPORT{DarteH02,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   INSTITUTION  = {LIP},
   TITLE        = {New Results on Array Contraction},
   YEAR         = {2002},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR2002-17},
   OPTTYPE      = {}
}

@TECHREPORT{Amir:2001,
   AUTHOR       = {Pierre Amiranoff and Albert Cohen and Paul Feautrier},
   INSTITUTION  = {INRIA},
   TITLE        = {Variables d'induction généralisées pour l'analyse par 
      instance de programmes récursifs},
   YEAR         = {2001},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {4252},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRice01,
   AUTHOR       = {Daniel Chavarría-Miranda and Alain Darte and 
      Robert Fowler and John Mellor-Crummey},
   INSTITUTION  = {LIP},
   TITLE        = {Efficient Parallelization of Line-Sweep Computations},
   YEAR         = {2001},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {RR2001-45},
   OPTTYPE      = {}
}

@TECHREPORT{rfab14,
   AUTHOR       = {Dupont de Dinechin, Benoît and Christophe MONAT and 
      Fabrice Rastello},
   INSTITUTION  = {LIP},
   TITLE        = {Parallel Execution of the Saturated Reductions},
   YEAR         = {2001},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR-01-28},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{RR:lignes,
   AUTHOR       = {Fabien Feschet and Antoine Fraboulet and 
      Stéphane Bonnevay},
   INSTITUTION  = {Université Lyon 1},
   TITLE        = {Regularity of Digital Lines},
   YEAR         = {2001},
   OPTADDRESS   = {},
   OPTMONTH     = {},
   NOTE         = {10 pages.},
   OPTNUMBER    = {},
   OPTTYPE      = {},
   PDF          = {http://citi.insa-lyon.fr/~afraboul/bib/pdf/RR01-01.pdf}
}

@TECHREPORT{rfab15,
   AUTHOR       = {Fabrice Rastello and Thierry Dauxois},
   INSTITUTION  = {LIP},
   TITLE        = {Parallelization of the Numerical Lyapunov Calculation 
      for the Fermi-Pasta-Ulam Chain.},
   YEAR         = {2001},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {RR-01-42},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab11,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Arnaud Legrand and 
      Fabrice Rastello and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Heterogeneity Considered Harmful to Algorithm Designers},
   YEAR         = {2000},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {RR-00-24},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab9,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Matrix-Matrix Multiplication on Heterogeneous Platforms},
   YEAR         = {2000},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {January},
   OPTNOTE      = {},
   NUMBER       = {RR-00-02},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab10,
   AUTHOR       = {Olivier Beaumont and Vincent Boudet and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Partitioning a Square into Rectangles: NP-completeness 
      and Approximation Algorithms},
   YEAR         = {2000},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR-00-10},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab13,
   AUTHOR       = {Olivier Beaumont and Arnaud Legrand and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Dense Linear Algebra Kernels on Heterogeneous Platforms: 
      Redistribution Issues},
   YEAR         = {2000},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {RR-00-45},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab12,
   AUTHOR       = {Olivier Beaumont and Arnaud Legrand and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Static LU Decomposition on Heterogeneous Platforms},
   YEAR         = {2000},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {December},
   OPTNOTE      = {},
   NUMBER       = {RR-00-44},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{Claude2000,
   AUTHOR       = {D. Cachera and S. Rajopadhye and T. Risset and 
      C. Tadonki},
   INSTITUTION  = {Irisa},
   TITLE        = {Parallelization of the Algebraic Path Problem on Linear 
      SIMD/SPMD Arrays},
   YEAR         = {2000},
   OPTADDRESS   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1346},
   OPTTYPE      = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2001/1409/1409.html}
}

@TECHREPORT{DarteH00,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   INSTITUTION  = {LIP},
   TITLE        = {Loop Shifting for Loop Parallelization},
   YEAR         = {2000},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {RR2000-22},
   OPTTYPE      = {}
}

@TECHREPORT{Feau:2000,
   AUTHOR       = {Paul Feautrier},
   INSTITUTION  = {PRiSM},
   TITLE        = {Automatic Distribution of Data and Computations},
   YEAR         = {2000},
   OPTADDRESS   = {},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {2000/3},
   OPTTYPE      = {}
}

@TECHREPORT{Sunder2000,
   AUTHOR       = {S.P.K. Nookala and T. Risset},
   INSTITUTION  = {Irisa},
   TITLE        = {A Library for Z-polyhedral Operations},
   YEAR         = {2000},
   OPTADDRESS   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1330},
   OPTTYPE      = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2000/1330/1330.html}
}

@TECHREPORT{quinton-1999,
   AUTHOR       = {F. Bardoult and P. Quinton and S. Rajopadhye and 
      T. Risset},
   INSTITUTION  = {Irisa},
   TITLE        = {Synthesis of Data-Flow Interfaces for Regular Parallel 
      Programs},
   YEAR         = {1999},
   OPTADDRESS   = {},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {1260},
   OPTTYPE      = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1999/1260/1260.html}
}

@TECHREPORT{rfab8,
   AUTHOR       = {Vincent Boudet and Antoine Petitet and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Data Allocation Strategies for Dense Linear Algebra 
      Kernels on Heterogeneous Two-dimensional Grids},
   YEAR         = {1999},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-99-31},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab6,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {A Proposal for an Heterogeneous Cluster ScaLAPACK (Dense 
      Linear Solvers)},
   YEAR         = {1999},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-99-17},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab7,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Algorithmic Issues for (Distributed) Heterogeneous 
      Computing Platforms},
   YEAR         = {1999},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-99-19},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{DarteH99,
   AUTHOR       = {Alain Darte and Guillaume Huard},
   INSTITUTION  = {LIP},
   TITLE        = {Loop Shifting for Loop Compaction},
   YEAR         = {1999},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {RR1999-29},
   OPTTYPE      = {}
}

@TECHREPORT{DarteS99,
   AUTHOR       = {Alain Darte and Rob Schreiber},
   INSTITUTION  = {LIP},
   TITLE        = {A Constructive Solution to the Juggling Problem in 
      Systolic Array Synthesis},
   YEAR         = {1999},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR1999-15},
   OPTTYPE      = {}
}

@TECHREPORT{tutorial99-alpha,
   AUTHOR       = {Dupont de Dinechin, F. and P. Quinton and S. Rajopadhye and 
      T. Risset},
   INSTITUTION  = {Irisa},
   TITLE        = {First Steps in Alpha},
   YEAR         = {1999},
   OPTADDRESS   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1244},
   OPTTYPE      = {},
   URL          = {http://www.irisa.fr/cosi/ALPHA/DOC/tutorial.ps}
}

@TECHREPORT{rfab5,
   AUTHOR       = {Vincent Boudet and Fabrice Rastello and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Alignment and distribution is NOT(always) NP-hard},
   YEAR         = {1998},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-98-30},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab4,
   AUTHOR       = {Pierre Boulet and Jack Dongarra and Fabrice Rastello and 
      Yves Robert and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Algorithmic Issues for Heterogeneous Computing Platforms},
   YEAR         = {1998},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-98-49},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{Darte98,
   AUTHOR       = {Alain Darte},
   INSTITUTION  = {LIP},
   TITLE        = {On the Complexity of Loop Fusion},
   YEAR         = {1998},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {October},
   OPTNOTE      = {},
   NUMBER       = {RR1998-50},
   OPTTYPE      = {}
}

@TECHREPORT{DarteSil98,
   AUTHOR       = {Alain Darte and Georges-André Silber},
   INSTITUTION  = {LIP},
   TITLE        = {The Nestor Library: A Tool for Implementing Fortran 
      Source to Source Transformations},
   YEAR         = {1998},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR1998-42},
   OPTTYPE      = {}
}

@TECHREPORT{rfab2,
   AUTHOR       = {Fabrice Rastello and Amit Rao and Santosh Pande},
   INSTITUTION  = {LIP},
   TITLE        = {Task Ordering in Linear Tiles},
   YEAR         = {1998},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-98-11},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{rfab3,
   AUTHOR       = {Fabrice Rastello and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Loop Partitioning versus Tiling for Cache-Based 
      Multiprocessors},
   YEAR         = {1998},
   ADDRESS      = {ENS Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR-98-13},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{BouletDarSilViv97,
   AUTHOR       = {Pierre Boulet and Alain Darte and Georges-André Silber and 
      Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Loop Parallelization Algorithms: From Parallelism 
      Extraction to Code Generation},
   YEAR         = {1997},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {RR97-17},
   OPTTYPE      = {}
}

@TECHREPORT{Darte97,
   AUTHOR       = {Alain Darte},
   INSTITUTION  = {LIP},
   TITLE        = {Mathematical Tools for Loop Transformations: From 
      Systems of Uniform Recurrence Equations to the Polytope Model},
   YEAR         = {1997},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR97-26},
   OPTTYPE      = {}
}

@TECHREPORT{rfab1,
   AUTHOR       = {Frédéric Desprez and Jack Dongarra and Fabrice Rastello and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Determining the Idle Time of a Tiling},
   YEAR         = {1997},
   ADDRESS      = {ENS Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR-97-35},
   OPTTYPE      = {},
   URL          = {http://www.ens-lyon.fr/LIP/Pub/publis.html}
}

@TECHREPORT{Ris23,
   AUTHOR       = {T. Risset and Dupont de Dinechin, F. and S. Robert},
   INSTITUTION  = {IRISA},
   TITLE        = {Structured Scheduling of Recurrence Equations},
   YEAR         = {1997},
   OPTADDRESS   = {},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {1140},
   OPTTYPE      = {},
   URL          = {http://www.irisa.fr/bibli/publi/pi/1997/1140/1140.html}
}

@TECHREPORT{CallandDarRobViv96a,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert and 
      Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {On the Removal of Anti and Output Dependences},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR96-04},
   OPTTYPE      = {}
}

@TECHREPORT{CallandDarRobViv96b,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert and 
      Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Plugging Anti and Output Dependence Removal Techniques 
      into Loop Parallelization Algorithms},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {June},
   OPTNOTE      = {},
   NUMBER       = {RR96-13},
   OPTTYPE      = {}
}

@TECHREPORT{Transtool96,
   AUTHOR       = {A. Darte and F. Desprez and J.-C. Mignot and T. Brandes and 
      S. Chaumette and M.-C. Counilh and J. Roman},
   INSTITUTION  = {LIP},
   TITLE        = {A Set of Integrated Tools for the Parallelization of 
      Applications Using High Performance Fortran},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR96-28},
   OPTTYPE      = {}
}

@TECHREPORT{DarteSilViv96,
   AUTHOR       = {Alain Darte and Georges-André Silber and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Combining Retiming and Scheduling Techniques for Loop 
      Parallelization and Loop Tiling},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {RR96-34},
   OPTTYPE      = {}
}

@TECHREPORT{DarteVi96a,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {On the Optimality of Allen and Kennedy's Algorithm for 
      Parallelism Detection in Nested Loops},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR96-05},
   OPTTYPE      = {}
}

@TECHREPORT{DarteVi96b,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Optimal Fine and Medium-Grain Parallelism Detection in 
      Polyhedral Reduced Dependence Graphs},
   YEAR         = {1996},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR96-06},
   OPTTYPE      = {}
}

@TECHREPORT{CallandDarRob95-42,
   AUTHOR       = {Pierre-Yves Calland and Alain Darte and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {A New Guaranteed Heuristic for the Software Pipelining 
      Problem},
   YEAR         = {1995},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {RR95-42},
   OPTTYPE      = {}
}

@TECHREPORT{DarteDioRob95-09,
   AUTHOR       = {Alain Darte and Michèle Dion and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {A Characterization of One-to-One Modular Mappings},
   YEAR         = {1995},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR95-09},
   OPTTYPE      = {}
}

@TECHREPORT{DarteViv95-11,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {A Comparison of Nested Loops Parallelization Algorithms},
   YEAR         = {1995},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {RR95-11},
   OPTTYPE      = {}
}

@TECHREPORT{BouchitteBouDarRob94-10,
   AUTHOR       = {Vincent Bouchitté and Pierre Boulet and Alain Darte and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Evaluating Array Expressions on Massively Parallel 
      Machines with Communication/Computation Overlap},
   YEAR         = {1994},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {March},
   OPTNOTE      = {},
   NUMBER       = {RR94-10},
   OPTTYPE      = {}
}

@TECHREPORT{DarteViv94-24,
   AUTHOR       = {Alain Darte and Frédéric Vivien},
   INSTITUTION  = {LIP},
   TITLE        = {Automatic Parallelization Based on Multi-Dimensional 
      Scheduling},
   YEAR         = {1994},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {September},
   OPTNOTE      = {},
   NUMBER       = {RR94-24},
   OPTTYPE      = {}
}

@TECHREPORT{BouletDarRisRob93-36,
   AUTHOR       = {Pierre Boulet and Alain Darte and Tanguy Risset and 
      Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {(Pen)-Ultimate Tiling?},
   YEAR         = {1993},
   ADDRESS      = {ENS-Lyon},
   MONTH        = {November},
   OPTNOTE      = {},
   NUMBER       = {RR93-36},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRob93-20,
   AUTHOR       = {Alain Darte and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {A Graph-Theoretic Approach to the Alignment Problem},
   YEAR         = {1993},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {July},
   OPTNOTE      = {},
   NUMBER       = {RR93-20},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRob93-03,
   AUTHOR       = {Alain Darte and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Mapping Uniform Loop Nests onto Distributed Memory 
      Architectures},
   YEAR         = {1993},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {January},
   OPTNOTE      = {},
   NUMBER       = {RR93-03},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRT92-03,
   AUTHOR       = {Alain Darte},
   INSTITUTION  = {LIP},
   TITLE        = {Affine-by-Statement Scheduling: Extensions for Affine 
      Dependences and Several Parameters},
   YEAR         = {1992},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {May},
   OPTNOTE      = {},
   NUMBER       = {RT92-03},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRob92-16,
   AUTHOR       = {Alain Darte and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Affine-by-Statement Scheduling of Uniform Loop Nests 
      over Parametric Domains},
   YEAR         = {1992},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {April},
   OPTNOTE      = {},
   NUMBER       = {RR92-16},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRob92-10,
   AUTHOR       = {Alain Darte and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Scheduling Uniform Loop Nests},
   YEAR         = {1992},
   ADDRESS      = {ENS-Lyon, France},
   MONTH        = {February},
   OPTNOTE      = {},
   NUMBER       = {RR92-10},
   OPTTYPE      = {}
}

@TECHREPORT{Darte91-10,
   AUTHOR       = {Alain Darte},
   INSTITUTION  = {LIP},
   TITLE        = {Regular Partitioning for Synthesizing Fixed-Size 
      Systolic Arrays},
   YEAR         = {1991},
   ADDRESS      = {ENS-Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR91-10},
   OPTTYPE      = {}
}

@TECHREPORT{Darte91-30,
   AUTHOR       = {Alain Darte},
   INSTITUTION  = {LIP},
   TITLE        = {Two Heuristics for Task Scheduling},
   YEAR         = {1991},
   ADDRESS      = {ENS-Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR91-30},
   OPTTYPE      = {}
}

@TECHREPORT{DarteKhaRob91-35,
   AUTHOR       = {Alain Darte and Leonid Khachiyan and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Linear Scheduling is Nearly Optimal},
   YEAR         = {1991},
   ADDRESS      = {ENS-Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR91-35},
   OPTTYPE      = {}
}

@TECHREPORT{DarteRisRob91-09,
   AUTHOR       = {Alain Darte and Tanguy Risset and Yves Robert},
   INSTITUTION  = {LIP},
   TITLE        = {Synthesizing Systolic Arrays: Some Recent Developments},
   YEAR         = {1991},
   ADDRESS      = {ENS-Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR91-09},
   OPTTYPE      = {}
}

@TECHREPORT{DarteDel90-23,
   AUTHOR       = {Alain Darte and Jean-Marc Delosme},
   INSTITUTION  = {LIP},
   TITLE        = {Partitioning for Array Processors},
   YEAR         = {1990},
   ADDRESS      = {ENS-Lyon, France},
   OPTMONTH     = {},
   OPTNOTE      = {},
   NUMBER       = {RR90-23},
   OPTTYPE      = {}
}

@MISC{brevet03,
   AUTHOR       = {Alain Darte and Rob Schreiber},
   HOWPUBLISHED = {US patent number 7363459},
   MONTH        = {April},
   OPTNOTE      = {},
   TITLE        = {System and Method of Optimizing Memory Usage with Data 
      Lifetimes},
   YEAR         = {2008}
}

@MISC{Hack:2007:DatePhd,
   AUTHOR       = {Sebastian Hack},
   HOWPUBLISHED = {Date 2007 PhD Forum Poster},
   MONTH        = {April},
   OPTNOTE      = {},
   TITLE        = {Register Allocation for Programs in SSA Form},
   YEAR         = {2007}
}

@MISC{WSNet,
   AUTHOR       = {Guillaume Chelius and Antoine Fraboulet and Eric Fleury},
   OPTHOWPUBLISHED = {},
   OPTMONTH     = {},
   NOTE         = {IDDN 06-370013-000},
   TITLE        = {WSNet: A Modular Event-Driven Wireless Network Simulator},
   YEAR         = {2006},
   URL          = {http://www.worldsens.net}
}

@MISC{arm-mutek,
   AUTHOR       = {Nicolas Fournel},
   HOWPUBLISHED = {available online},
   MONTH        = {March},
   OPTNOTE      = {},
   TITLE        = {ARM Linux support for ARM Integrator CM922T-XA10 in 
      Standalone mode},
   YEAR         = {2006},
   URL          = {http://perso.ens-lyon.fr/nicolas.fournel/projects/ARM/linux.html}
}

@MISC{arm-linux,
   AUTHOR       = {Nicolas Fournel},
   HOWPUBLISHED = {available online},
   MONTH        = {April},
   OPTNOTE      = {},
   TITLE        = {Mutek OS Support for ARM Integrator CM922T-XA10 in 
      Standalone mode},
   YEAR         = {2006},
   URL          = {http://perso.ens-lyon.fr/nicolas.fournel/projects/ARM/mutek.html}
}

@MISC{WSim,
   AUTHOR       = {Antoine Fraboulet and Guillaume Chelius and Eric Fleury},
   OPTHOWPUBLISHED = {},
   OPTMONTH     = {},
   NOTE         = {IDDN 06-370012-000},
   TITLE        = {WSim: A Hardware Platform Simulator},
   YEAR         = {2006},
   URL          = {http://www.worldsens.net}
}

@MISC{date04,
   AUTHOR       = {Antoine Scherrer and Antoine Fraboulet and Tanguy Risset},
   HOWPUBLISHED = {Design, Automation and Test in Europe (DATE'04), University Booth Demonstration},
   MONTH        = {February},
   OPTNOTE      = {},
   TITLE        = {Hardware-Software Fast and Accurate Prototyping with 
      Soclib & MMAlpha},
   YEAR         = {2004}
}

@MISC{brevet02,
   AUTHOR       = {Alain Darte and Bantwal Ramakrishna Rau and Rob Scheiber},
   HOWPUBLISHED = {US patent number 6438747},
   MONTH        = {August},
   OPTNOTE      = {},
   TITLE        = {Programmatic Iteration Scheduling for Parallel 
      Processors},
   YEAR         = {2002}
}

@MISC{brevet01,
   AUTHOR       = {Alain Darte and Rob Schreiber},
   HOWPUBLISHED = {US patent number 6374403},
   MONTH        = {April},
   OPTNOTE      = {},
   TITLE        = {Programmatic Method For Reducing Cost of Control In 
      Parallel Processes},
   YEAR         = {2002}
}

@MISC{DATE2001,
   AUTHOR       = {A.C. Guillou and P Quinton and T. Risset and C. Wagner and 
      D Massicotte},
   HOWPUBLISHED = {DATE Design Contest 2001},
   MONTH        = {March},
   NOTE         = {Second place},
   TITLE        = {High Level Design of Digital Filters in Mobile 
      Communications},
   YEAR         = {2001},
   URL          = {http://www.irisa.fr/bibli/publi/pi/2001/1405/1405.html}
}

@MISC{DATE2000,
   AUTHOR       = {P. Quinton and T. Risset},
   HOWPUBLISHED = {University Booth Demonstration},
   MONTH        = {March},
   NOTE         = {University booth stand},
   TITLE        = {MMAlpha: A Toolbox for Silicon Compilation},
   YEAR         = {2000},
   BOOKTITLE    = {Design, Automation and Test in Europe (DATE)}
}