3 résultats : GIRAULT ALAIN

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3 résultats
page 1 sur 1
résultats 1 à 3
Canal-U
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Description : 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 statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
 En savoir plus
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
 Ajouter à mon panier
Accéder aux documents
Canal-U
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Description : 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 statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
 En savoir plus
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
 Ajouter à mon panier
Accéder aux documents
Canal-U
Architectures multi-coeurs, fiabilité et optimisation
Description : 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 d'ordonnancement de liste. Ensuite sera présenté en détail un cas particulier d'ordonnancement mult ...
Mots clés : systèmes embarqués, ordonnancement multi-critères, ordonnancement de liste, optimum de Pareto
Date : 10-02-2016
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
 En savoir plus
 Description complète
Architectures multi-coeurs, fiabilité et optimisation
 Ajouter à mon panier
Accéder aux documents