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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Compiler Extension Lab

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (58)

Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.

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.

Modèles de programmation : aperçu et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de programmation pour le traitement des mégadonnées, y compris les RDD de Spark et les optimisations.

Programmation Python: Compréhensions de liste et fonctions d'ordre supérieur Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les concepts avancés de programmation Python, en se concentrant sur les compréhensions de liste et les fonctions d'ordre supérieur.

Programmation pour ingénieurs : Techniques MATLAB avancées Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les techniques avancées de MATLAB, en mettant l'accent sur la vectorisation, la fonction «trouver» et la manipulation de tracés.

Architectures VLIW: Compilateurs et parallélisme de niveau d'instruction Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les architectures et les compilateurs VLIW, en se concentrant sur le parallélisme de niveau d'instruction et les techniques d'optimisation.

Introduction au cours: Compilation de langues de haut niveau Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le cours sur la compilation de langages de haut niveau et l'optimisation du code.

Types de données C avancés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Débogage et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types d'erreurs dans la programmation et souligne l'importance des techniques de débogage et d'optimisation.

Attribution de mémoire dynamique en C++Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'allocation dynamique de la mémoire en C, couvrant les fonctions malloc, calloc et realloc, en mettant l'accent sur la gestion appropriée de la mémoire et les tableaux dynamiques.

Pointeurs: Chaînes, Fonctions, Casting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.

Machine virtuelle WASM : Groupe 13 Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.

Gestion de fichiers et gestion des exceptions en Python Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la gestion de fichiers et la gestion des exceptions dans la programmation Python.

Algorithmes : Analyse de l'efficacité Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse de l'efficacité de l'algorithme et l'optimisation du code pour une exécution plus rapide.

Optimisation des interactions entre les bibliothèques : fonctionnalité et modularité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des interactions de bibliothèque, les défis de fonctionnalité et la modularité dans les charges de travail modernes, en mettant l'accent sur les fortes frontières entre les systèmes et les optimisations de niveau d'instruction.

Gestion des périphériques dans les systèmes d'exploitation: Chaperons et persistance Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.

Questions et optimisations du OLAP Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les requêtes OLAP, des exemples de comparaisons, de classement et d'optimisations pour la performance de la requête.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

Numériques pour Fluides, Structures et Electromagnétiques: Règles de projets Connectez-vous à Mediaspace pour regarder cette vidéo

Les étudiants en 'Numerics for Fluids, Structures and Electromagnétiques' doivent compléter les projets individuellement ou par paires, en suivant des règles spécifiques et des critères d'évaluation.

Page 2 sur 3