-
Alain Darte,
Tanguy Risset,
and Yves Robert.
Formal methods for solving the algebraic path problem.
In F. Catthoor and L. Svensson, editors,
Application-driven architecture synthesis,
pages 47-69,
1993.
Kluwer.
@InProceedings{ InProceedingsDarte.DRR_93*1,
author = {Alain Darte and Tanguy Risset and Yves Robert},
booktitle = {Application-driven architecture synthesis},
editor = {F. Catthoor and L. Svensson},
pages = {47-69},
publisher = {Kluwer},
title = {Formal methods for solving the algebraic path problem},
year = {1993}
}
-
Alain Darte,
Tanguy Risset,
and Yves Robert.
Loop nest scheduling and transformations.
In J.J. Dongarra et B. Tourancheau, editor,
Environments and Tools for Parallel Scientific Computing,
volume 6 of Advances in Parallel Computing,
pages 309-332,
1993.
North Holland.
@InProceedings{ InProceedingsDarte.DRR_93,
author = {Alain Darte and Tanguy Risset and Yves Robert},
booktitle = {Environments and Tools for Parallel Scientific Computing},
editor = {J.J. Dongarra et B. Tourancheau},
pages = {309-332},
publisher = {North Holland},
series = {Advances in Parallel Computing},
title = {Loop nest scheduling and transformations},
volume = {6},
year = {1993}
}
-
Alain Darte and Yves Robert.
Communication-minimal mapping uniform loop nests onto distributed memory architectures.
In L. Dadda and B. Wah, editors,
Application Specific Array Processors 93,
pages 1-14,
1993.
IEEE Computer Society Press.
@InProceedings{ InProceedingsDarte.DR_93,
author = {Alain Darte and Yves Robert},
booktitle = {Application Specific Array Processors 93},
editor = {L. Dadda and B. Wah},
pages = {1-14},
publisher = {IEEE Computer Society Press},
title = {Communication-minimal mapping uniform loop nests onto distributed memory architectures},
year = {1993}
}