Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Analyse dynamique de programmes

Séances de cours associées (28)

OLTP accéléré GPU : Efficacité de la mémoire et débit de requêtes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les moteurs OLTP accélérés GPU, mettant l'accent sur l'efficacité de la mémoire et le débit de requêtes dans les applications à forte intensité de données.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.

Arbres de recherche binaires optimaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explique Optimal Binary Search Trees en utilisant la programmation dynamique et couvre un examen de mi-parcours à partir de 2016.

Bellman Ford : les chemins les plus courts Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit l'algorithme de Bellman-Ford pour trouver les chemins les plus courts dans les graphes dirigés avec des poids de bord.

Algorithmes : examen final Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un examen détaillé de l'examen final 2016, couvrant divers problèmes algorithmiques.

Techniques de programmation linéaire dans l'apprentissage par renforcement Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'approche de programmation linéaire de l'apprentissage par renforcement, en se concentrant sur ses applications et ses avantages dans la résolution des processus décisionnels de Markov.

Analyse dynamique des erreurs Connectez-vous à Mediaspace pour regarder cette vidéo

Analyse les erreurs dynamiques dans les mécanismes de précision, en se concentrant sur les mouvements théoriques par rapport aux mouvements réels, les sources d'erreurs et les réponses harmoniques.

Architectures et logiciels fiables Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les architectures fiables, la détection des erreurs, les structures tolérantes aux pannes et la fiabilité des logiciels à travers des exemples tels que la défaillance du missile Patriot et le double contrôleur ABB.