La ROADEF
La R.O.A.D
Evénements
Prix
Publications
Plus
Forums
Connexion
Livre blanc

Th

Forum 'Emplois' - Sujet créé le 2011-05-24

Bonjour,

Nous recherchons pour la rentrée 2011 un candidat pour une thèse en informatique en collaboration
entre le laboratoire LIP6 (département SOC, UPMC) et l'IBISC (Université d'Evry).
La thèse est financée sur un projet Digiteo avec un financement de
l'ordre de 1684,93 € brut (2024,70 € brut en cas de monitorat).

Le sujet de cette thèse est à la frontière entre "Recherche Opérationnelle" et "Architecture".
Le candidat devra possèder de solides connaissances en mathématiques (Algèbre,
Optimisation Combinatoire). Des connaissances en conception de systèmes embarqués
seront appréciées, mais non indispensables.

Pour plus d'information, vous pouvez nous contacter par mail ( Alix.Munier@lip6.fr, delosme@ibisc.univ-evry.fr ).
Pour postuler, envoyez nous rapidement par mail
-- Un CV détaillé,
-- Vos notes de Master M1/Master 2 ou équivalent,
-- Une lettre de motivation,
-- Si possible, une lettre de recommandation de votre encadrant de stage de Master M2.

Bien cordialement
Alix Munier Kordon
Jean-Marc Delosme.

--------------------------------------------------------------------------------------------
Sujet de la thèse : Optimisation de la taille des mémoires Tampons pour
des applications modélisées par un système Dataflow à fonctionnement
irrégulier

*** Projet
La conception de systèmes embarqués est un processus industriel
central qui pose de nombreux problèmes d'optimisation. Dans ce
contexte, le formalisme des Synchronous Data Flow (en abrégé SDF),
introduit en 1987 par Lee et Messerschmitt pour modéliser une
application concurrente à exécuter sur une architecture parallèle,
est devenu un standard utilisé à la fois dans l'industrie et dans la
recherche pour étudier et simuler ces applications.

Une des principales limitations de ce modèle est que le comportement
des applications considérées est statique. Pour pallier à ce
problème, de nombreux auteurs ont étendu ce formalisme de sorte à
modéliser des applications avec un comportement dynamique. Le
principal inconvénient est que ces extensions ne permettent plus une
étude prédictive des systèmes et ne sont généralement utilisées que
pour accélérer leur simulation.

Le but de cette thèse est de développer un ensemble d'outils
algorithmiques pour évaluer la vivacité et le débit dans le pire des
cas pour deux extensions dynamiques des SDF qui permettent une
extension significative de leur pouvoir de modélisation. Ces outils
seront utilisés pour le développement d'algorithmes originaux pour le
problème du dimensionnement des mémoires tampons sous contrainte de
débit. Ils seront validés à la fois d'une manière théorique (par la
démonstration d'un ratio d'approximation à chaque fois que cela sera
possible) et sur un ensemble de jeux d'essais académiques ou
industriels.

*** Enjeux
Le défi de cette thèse est de trouver des certificats pertinents
associés aux classes de réseaux non statiques étudiées. Ces
certificats sont indispensables pour tester efficacement les
solutions obtenues lors de l'optimisation des mémoires tampons, mais
également pour toute stratégie de placement ou de routage sur une
architecture multi-coeur. Les enjeux sont donc liés directement à la
définition d'algorithme efficaces pour l'exécution de ces
applications sur ces architectures.

*** Ouverture à l'international
Plusieurs équipes académiques ont une activité de recherche basée sur
les SDF et sont susceptibles d'accueillir le candidat pour un séjour
de quelques semaines (par exemple à Berkeley au sein du projet «
Ptolemy » ou àl'Université d'Eindhoven au sein de l' »Electronic
System group »).

*** Remarques additionnelles
Cette thèse revêt un aspect clairement multidisciplinaire se situant à l'intersection
entre « recherche opérationnelle » et « architecture ». Le candidat devra possèder
de bonnes connaissances en Algèbre et en Optimisation Combinatoire. Des
connaissances en architectures seront appréciées, mais non indispensables.