Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
4 résultats
section 1 sur 1
résultats 1 à 4
Canal-u.fr
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie  Droits d'accès : non autorisé
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 num ...
Date : 18-01-2012
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Accéder aux documents
Canal-u.fr
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie  Droits d'accès : non autorisé
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 num ...
Date : 18-01-2012
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Accéder aux documents
Canal-u.fr
Architectures multi-coeurs, fiabilité et optimisation  Droits d'accès : non autorisé
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 multi-cr ...
Date : 10-02-2016
 Description complète
Architectures multi-coeurs, fiabilité et optimisation
Accéder aux documents
Canal-u.fr
Quelques algorithmes de calcul d'enveloppe convexe en 2D  Droits d'accès : non autorisé
Description : 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 collisions, planification de trajectoires, ... Nous présentons deux algorithmes pour résoudre ce problème, c ...
Date : 11-03-2020
 Description complète
Quelques algorithmes de calcul d'enveloppe convexe en 2D
Accéder aux documents