Label UNT Vidéocours
le (10m23s)
Résultats de recherche
Trier par :
Nombre de programmes trouvés : 126
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... 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... Voir la vidéo
Conférences
le (58m26s)
Safety Verification of Deep Neural Networks
... misclassify it. With potential applications including perception modules and end-to-end controllers for self-driving cars, this raises concerns about their safety. This lecture will describe progress with developing a novel automated verification... Voir la vidéo
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... 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... 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... 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... Voir la vidéo
Label UNT Conférences
le (34m33s)
Test et vérification automatique pour systèmes musicaux interactifs
... exhaustif, ce qui demande un traitement automatique. Nous verrons comment des méthodes formelles pour la vérification ou le test de systèmes embarqués peuvent être appliquées dans ce cadre, se basant sur des modèles formels de partitions augmentées.... Voir la vidéo
Documentaires
le (10m29s)
