TY - THES DP - http://www.theses.fr/2013GRENM012 TI - Rigorous Design Flow for Programming Manycore Platforms AU - Bourgos, Paraskevas A3 - Bensalem, Saddek PY - 2013 N1 - Thèse de doctorat Informatique Grenoble 2013 N1 - 2013GRENM012 UR - http://www.theses.fr/2013GRENM012/document ER -