Coopération

Séminaires

Theme: L’outil MBAC et la synthèse de circuits vérificateurs d’assertions
Date: lundi 18 février 2008

Theme: Thématique de recherche de l’équipe Méthodes Formelles et Systèmes Embarqués et Temps-Réel
Date: le 06 février 2008

Theme: Physical Design Strategies
Date: en septembre 2007

Theme: Design of a robust cryptoprocessor
Date: en juillet 2007

Theme: Evaluation rapide et au plus tôt des performances du logiciel embarqué dans les systèmes sur puce
Date: jeudi 31 mai 2007, séminaire interne

Theme: Méthodes pour une exploration rapide de l’espace des configurations des MPSoC
Date: jeudi 3 mai 2007

Theme: Adaptive Mechanisms for Meeting Energy and Real-Time Constraints in MPSoC Platforms
Date: jeudi 26 avril 2007

Theme: Styles architecturaux pour les systèmes embarqués communicants
Date: jeudi 12 avril 2007

Theme: Fonctions à sens unique et de hachage : un problème de hardware ?
Date: lundi 02 avril 2007