West Home

West Team & Dart Project--- Positions

Sujets de thèse, septembre 2009

• Étude de modèles d'exécution pour la validation de systèmes embarqués intensifs

Sujets de stage de master, janvier 2009

• Génération de code répétitif dans Gaspard2
• Automatisation de l'enchaînement des tâches exécutés sur des modèles
• Simulation et estimation de performances des systèmes mobiles embarqués multiprocesseurs (MPSoC)
• Introducing parallel reduction in Gaspard2 (INRIA Internship)

Sujets de master professionnel, mars 2008

• Compilation pour architectures à mémoire distribuée dans Gaspard

Sujets de master, janvier 2008

• Cohérence et complétude des modèles de placement de Gaspard2

Copyright © 2000-2008 LIFL.

Apr 24 2009, 16:27.