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

Grace Hopper: Pionnière de la programmation informatique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (33)

Altruisme efficace : sécurité et gouvernance de l’IA Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'altruisme efficace en matière de sécurité de l'IA, en se concentrant sur la sémantique de la programmation et la gestion de la mémoire.

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.

Compilateurs : défis avec les processeurs de signaux numériques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les défis de la compilation pour les processeurs de signaux numériques en raison de leurs caractéristiques architecturales uniques et des irrégularités.

Compilation et C++ Basics Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la compilation et de la programmation C ++, y compris les variables, les fonctions, les boucles et le débogage.

Introduction à la programmation : premières étapes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.

Représentations intermédiaires : CPS/L3 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

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.

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.

Optimisation et modèles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation dans le code C ++, les idées algorithmiques, le profilage de code et la méta-programmation de modèles.

Optimisation : Attribution des registres Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les sujets de construction avancés du compilateur sur les techniques d'optimisation telles que l'élimination du code mort, le pliage constant et l'allocation des registres.

Introduction à la programmation dans le cours ICC (SV)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les aspects théoriques et pratiques de la programmation dans le cours ICC.

Gestion dynamique de la mémoire : utiliser Realloc en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'allocation dynamique de la mémoire en C, en se concentrant sur la fonction realloc et ses implications pour la gestion efficace de la mémoire.

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.

Page 2 sur 2