@phdthesis{Bou13b,
title = { {Rigorous Design Flow for Programming Manycore Platforms} },
author = {Bourgos, Paraskevas},
month = {Apr},
year = {2013},
type = {Theses},
number = {2013},
school = {{Universit{\'e} de Grenoble}},
team = {DCS, RSD},
keywords = {Formal model ; Performance analysis ; Code generation ; Mixed hardware/software system ; Correct-by-construction ; G{\'e}n{\'e}ration de code ; Analyse de performance ; Mod{\`e}le formel ; Manycore ; Syst{\`e}mes mixtes materiel/logiciel},
pdf = {https://tel.archives-ouvertes.fr/tel-01135186/file/30276_BOURGOS_2013_archivage.pdf},
}
