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

Concept

Analyse statique de programmes

Séances de cours associées (30)

Analyse I : Théorème de la valeur intermédiaire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de la valeur intermédiaire, les propriétés des fonctions, la continuité, la recherche des racines et les concepts de différenciation.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Présentation de MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de MATLAB et comprend une séance d'exercices sur la modélisation métabolique.

Mécanique vibratoire : Bouée cylindrique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul des caractéristiques en mécanique vibratoire à l'aide d'un exemple de bouée cylindrique.

Analyse flexible des orientations : exercices Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse des systèmes de guidage flexibles à travers divers exercices et configurations.

Introduction à l'analyse II Connectez-vous à Mediaspace pour regarder cette vidéo

Présente le cours Analysis 2, couvrant la structure du cours, le soutien linguistique et les séances d'exercices.

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

Explore les défis dans le volume de code, la complexité et la métaprogrammation des requêtes par rapport au code.

HLS programmé dynamiquement : Analyse du programme et flux de contrôle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore HLS programmé dynamiquement et compilation de langage impératif pour les machines de flux de données.

Structures et mécanismes: Structures statiques (Rigides)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse des structures statiques (rigides), y compris les diagrammes d'équilibre et de corps libre.

Sous-graphe le plus sparsest: Sous-graphe le plus Densest Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le sous-graphe le plus sparsest et le sous-graphe le plus Densest, en mettant l'accent sur les algorithmes de regroupement et d'approximation de corrélation.