Bee+Cl@k: An implementation of latticebased array contraction in the source-to-source translator Rose, egw gonfF on vnE gugesD gompilersD nd ools for imedded ystems @vgi9HUA, 2007. ,
Optimizing remote accesses for ofoaded kernels: Application to high-level synthesis for fpga, egw sqhe sntlF gonferE ene on hesignD eutomtion nd est in iurope @heiA, 2013. ,
Fpga-specic synthesis of loopnests with pipelined computational cores. wiroproessors nd wirosystems E imedded rrdwre hesign, p.606619, 2012. ,
Scanning polyhedra with DO loops, roeedings of the hird egw sqvex ymposium on riniples 8 rtie of rllel rogrmming @yAD illimsurgD irginiD
eD epril PIEPRD IWWI, p.3950, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-00752774
Ecient code generation for automatic parallelization and optimization, Pnd snterntionl ymposium on rllel nd histriuted gomputing @shg PHHQAD IQEIR ytoer PHHQD vjuljnD loveni, p.2330, 2003. ,
A practical automatic polyhedral parallelizer and locality optimizer, roeedings of the egw sqvex PHHV gonferene on rogrmming vnguge hesign nd smplementtionD usonD eD eD tune UEIQD PHHV, p.101113, 2008. ,
Scanning polyhedra without Do-loops, Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192), p.49, 1998. ,
DOI : 10.1109/PACT.1998.727127
URL : https://hal.archives-ouvertes.fr/inria-00564990
Counting solutions to linear and nonlinear constraints through ehrhart polynomials: Applications to analyze and transform scientic programs, roeedings of the IHth interntionl onferene on uperomputingD sg IWWTD hildelphiD eD eD wy PSEPVD IWWT, p.278285, 1996. ,
Designing custom arithmetic data paths with FloPoCo. siii hesign 8 est of gomputers, p.1827, 2011. ,
Dataow analysis of array and scalar references. snterntionl tournl of rllel rogrmming, p.2353, 1991. ,
Polyhedron model, inylopedi of rllel gomputing, p.15811592, 2011. ,
Software pipelining: An eective scheduling technique for vliw machines, roeedings of the egw sqvex IWVV gonferene on rogrmming vnguge hesign nd smplementtion, PLDI '88, p.318328, 1988. ,
Polybench: The polyhedral benchmark suite. vX httpXGGwwwF sF ulF eduG£ pouhetGsoftwreGpolyenhGited tulyD, 2012. ,
Automatic synthesis of systolic arrays from uniform recurrent equations ,
Bidwidth analysis with application to silicon compilation, egw sqvex xoties, p.108120, 2000. ,
Derivation of ecient FSM from loop nests, PHIQ snterntionl gonferene on pieldErogrmmle ehnologyD p PHIQD uyotoD tpnD heemer WEIID PHIQ, p.286293, 2013. ,
Improving polyhedral code generation for high-level synthesis, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2013. ,
DOI : 10.1109/CODES-ISSS.2013.6659002