La soutenance aura lieu le Vendredi 28 juin 2019 \u00e0 14h30 en salle Soutenance de Th\u00e8se (Salle 101), 1er \u00c9tage au B\u00e2timent S (Facult\u00e9 Des Sciences), Orl\u00e9ans.<\/p>\n\n\n\n
R\u00e9sum\u00e9 : <\/p>\n\n\n\n
Depuis la stagnation de la \nfr\u00e9quence d\u2019horloge des processeurs, l\u2019accroissement de la puissance de \ncalcul a d\u00e9pendu enti\u00e8rement de l\u2019accroissement du nombre d\u2019unit\u00e9s de \ncalcul.\n<\/p>\n\n\n\n
Plus que la difficult\u00e9 \nalgorithmique impliqu\u00e9e par l\u2019\u00e9criture de tout programme s\u00e9quentiel, la \nprogrammation parall\u00e8le demande au programmeur de g\u00e9rer de nombreuses \nunit\u00e9s de calcul, incluant leurs t\u00e2ches et leurs interactions.\n<\/p>\n\n\n\n
Pour all\u00e9ger le fardeau du \nprogrammeur, cette th\u00e8se propose deux approches diff\u00e9rentes de \ng\u00e9n\u00e9ration automatique de code parall\u00e8le.\n<\/p>\n\n\n\n
Le mod\u00e8le parall\u00e8le isochrone BSP \nposs\u00e8de des propri\u00e9t\u00e9s int\u00e9ressantes telles que son mod\u00e8le de co\u00fbt qui \nen font la cible de notre g\u00e9n\u00e9ration de code parall\u00e8le.\n<\/p>\n\n\n\n
Les automates et expressions \nr\u00e9guli\u00e8res sont souvent choisis pour mod\u00e9liser les calculs s\u00e9quentiels \net leurs parall\u00e9lisation devrait, \u00e0 long terme, aboutir \u00e0 de solide \nfondations pour la g\u00e9n\u00e9ration de code parall\u00e8le.\n<\/p>\n\n\n\n
Pour notre approche principale, nous d\u00e9veloppons la th\u00e9orie des automates BSP avec leur g\u00e9n\u00e9ration et d\u00e9terminisation.\n<\/p>\n\n\n\n
Cette th\u00e9orie est utilis\u00e9 dans une nouvelle m\u00e9thode pour la recherche de motif \u00e0 l\u2019aide d\u2019expressions r\u00e9guli\u00e8res.\n<\/p>\n\n\n\n
Notre autre approche propose un \nlangage sp\u00e9cifique au domaine des r\u00e9seaux de neurones o\u00f9 la composition \nfonctionnelle d\u2019un petit nombre de primitives facilite le d\u00e9veloppement,\n la maintenance et la d\u00e9finition formelle du\n langage par rapport aux approches existantes.<\/p>\n\n\n\n
Mots-cl\u00e9s : Programmation parall\u00e8le, BSP, G\u00e9n\u00e9ration de code, Automate, Expression r\u00e9guli\u00e8re, R\u00e9seaux de neurones.<\/p>\n","protected":false},"excerpt":{"rendered":"
La soutenance aura lieu le Vendredi 28 juin 2019 \u00e0 14h30 en salle Soutenance de Th\u00e8se (Salle 101), 1er \u00c9tage au B\u00e2timent S (Facult\u00e9 Des Sciences), Orl\u00e9ans. R\u00e9sum\u00e9 : Depuis la stagnation de la fr\u00e9quence d\u2019horloge des processeurs, l\u2019accroissement de la puissance de calcul a d\u00e9pendu enti\u00e8rement de l\u2019accroissement du nombre d\u2019unit\u00e9s de calcul. Plus … Continue reading “[Jun. 2019] Phd Defense : Thibaut Tachon, June 28th 2019”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-27","post","type-post","status-publish","format-standard","hentry","category-non-classe"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":5,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/27\/revisions"}],"predecessor-version":[{"id":286,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/27\/revisions\/286"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=27"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/categories?post=27"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/tags?post=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}