Verimag

bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 861757