Girault, Alain (19..-.... ; chercheur en informatique)
Auteur(e) d'une thèse de doctorat en informatique (Grenoble INPG, 1994)
Alain Girault est chercheur à Inria Grenoble - Rhône-Alpes, après avoir fait son doctorat au laboratoire Verimag et fait un an de postdoc à Inria, à Nice puis un an à l'Université de Berkeley (USA). Il est spécialiste en méthodes formelles pour la conception de systèmes embarqués.
Vidéos
Quelques algorithmes de calcul d'enveloppe convexe en 2D
Le calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de
Architectures multi-coeurs, fiabilité et optimisation
Présentation des principes généraux de l'optimisation multi-critères et de l'ordonnancement pour les systèmes temps-réel embarqués. En particulier les notions d'optimum de Pareto et les techniques
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse