Rapports de recherches
1990
Avec Jean-Marc Delosme,
"Partitioning for Array Processors"
.
RR90-23
1991
Avec Tanguy Risset et Yves Robert,
"Synthesizing Systolic Arrays: Some Recent Developments"
. RR91-09
"Regular Partitioning for Synthesizing Fixed-Size Systolic Arrays"
.
RR91-10
Avec Leonid Khachiyan et Yves Robert,
"Linear Scheduling is Nearly Optimal"
.
RR91-35
1992
Avec Yves Robert,
"Scheduling Uniform Loop Nests"
.
RR92-10
Avec Yves Robert,
"Affine-by-Statement Scheduling of Uniform Loop Nests over Parametric Domains"
.
RR92-16
"Affine-by-Statement Scheduling: Extensions for Affine Dependences and Several Parameters"
.
RT92-03
1993
Avec Yves Robert,
"Mapping Uniform Loop Nests onto Distributed Memory Architectures"
.
RR93-03
Avec Yves Robert,
"A Graph-Theoretic Approach to the Alignment Problem"
.
RR93-20
Avec Pierre Boulet, Tanguy Risset et Yves Robert,
"(Pen)-ultimate Tiling?"
.
RR93-36
1994
Avec Vincent Bouchitté, Pierre Boulet et Yves Robert,
"Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap"
.
RR94-10
Avec Frédéric Vivien,
"Automatic Parallelization Based on Multi-Dimensional Scheduling"
.
RR94-24
1995
Avec Michčle Dion et Yves Robert,
"A Characterization of One-to-One Modular Mappings"
.
RR95-09
Avec Frédéric Vivien,
"A Comparison of Nested Loops Parallelization Algorithms"
.
RR95-11
Avec Pierre-Yves Calland et Yves Robert,
"A New Guaranteed Heuristic for the Software Pipelining Problem"
.
RR95-42
1996
Avec Pierre-Yves Calland, Yves Robert et Frédéric Vivien,
"On the Removal of Anti and Output Dependences"
.
RR96-04
Avec Frédéric Vivien,
"On the Optimality of Allen and Kennedy's Algorithm for Parallelism Detection in Nested Loops"
.
RR96-05
Avec Frédéric Vivien,
"Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs"
.
RR96-06
Avec Pierre-Yves Calland, Yves Robert et Frédéric Vivien,
"Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms"
.
RR96-13
Avec Georges-André Silber et Frédéric Vivien,
"Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling"
.
RR96-34
1997
Avec Pierre Boulet, Georges-André Silber et Frédéric Vivien,
"Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation"
.
RR97-17
"Mathematical Tools for Loop Transformations: From Systems of Uniform Recurrence Equations to the Polytope Model"
.
RR97-26
1998
Avec Guillaume Huard,
"Retiming et parallélisation automatique"
.
RR1998-33
Avec Georges-André Silber,
"The Nestor Library: a Tool for Implementing Fortran Source to Source Transformations"
.
RR1998-42
"On the Complexity of Loop Fusion"
.
RR1998-50
1999
Avec Rob Schreiber, Bob Rau et Frédéric Vivien,
"A Constructive Solution to the Juggling Problem in Systolic Array Synthesis"
.
RR1999-15
Avec Guillaume Huard,
"Loop Shifting for Loop Compaction"
.
RR1999-29
2000
Avec Guillaume Huard,
"Loop Shifting for Loop Parallelization"
.
RR2000-22
2001
Avec Daniel Chavarría-Miranda, Robert Fowler et John Mellor-Crummey
"Efficient Parallelization of Line-Sweep Computations"
.
RR2001-45
2002
Avec Guillaume Huard
"New Results on Array Contraction"
.
RR2002-17
Avec Guillaume Huard
"New Complexity Results on Array Contraction and Related Problems (Extension to Research Report 2002-17)"
.
RR2002-41
2004
Avec Rob Schreiber et Gilles Villard
"Lattice-Based Memory Allocation"
.
RR2004-23
Avec Rob Schreiber
"Nested Circular Intervals: A Model for Barrier Placement in Single-Program, Multiple-Data Codes with Nested Loops"
.
RR2004-57
2005
Avec Steven Derrien et Tanguy Risset
"Hardware/Software Interface for Multi-Dimensional Processor Arrays"
.
RR2005-15
Avec Florent Bouchez, Christophe Guillon et Fabrice Rastello
"Register Allocation and Spill Complexity under SSA"
.
RR2005-33
Avec Hadda Cherroun et Paul Feautrier
"Scheduling with Resource Constraints using Dis-Equations"
.
RR2005-40