Axe : SciLex 2 Coordinateur / Coordinator : Mathieu Jan (CEA LIST), Florian Brandner (Telecom ParisTech), Laurent Pautet (Telecom ParisTech) Mots clés : ordonnancement temps réel, architectures matérielles prédictibles ,…
Axe:SciLex 2Coordinateur :Vincent Pilaud, CNRS & LIX, École PolytechniqueObjectif : exposés scientifiques sur des thèmes de combinatoire énumérative, géométrique et algébrique.Productions Scientifiques :Financement Labex en : 2015 et 2017 Documents…
Méthodes FormellesAxe: SciLex Coordinateur : Hubert Comon Lundh, LSV, ENS Cachan Objectif : Productions Scientifiques : Financement Labex en : 2014/2015 Documents : lien vers rapport 2014 lien vers rapport 2015…
Programmes d’éléments finis formellement vérifié Axe:SciLex 2&3Coordinatrice :Sylvie Boldo, InriaObjectif : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées…
Axe :SciLexAction commune avec iCodeCoordinateurs : Alexandre Chapoutot / Catherine Bonnet / Paolo MasonObjet du groupe de travail : Sessions d'échanges sur les diverses approches des systèmes dynamiques et hybridesProductions…