Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 725
Label UNT Vidéocours

le (13m31s)

Propos liminaire (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Première partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (9m26s)

Exécution symbolique (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Deuxième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (9m52s)

Raisonnement mathématique (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Quatrième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (10m9s)

Récursivité (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Troisième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (4m48s)

Conclusion (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Sixième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (8m3s)

Assistant de démonstration (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Cinquième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Conférences

le (59m3s)

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 statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un ...
Voir la vidéo
Label UNT Conférences

le (30m42s)

Ordonnancement pour systèmes temps réel : conception et vérification

Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage de l'utilisation des ressources (processeurs, bus, mémoires, etc.) entre les différentes opérations à effectuer en concurrence (calcul, communication, etc.). C'est l'objet de l'ordonnancement temps réel, et nous donnerons un aperçu des problèmes de recherche actuels en lien avec l'évolution des besoins dans l'industrie.
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte