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

Évaluation paresseuse

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (47)

Flux de données: Modèles d'exécution pour l'informatique distribuée Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le modèle de flux de données pour le calcul distribué à l'aide des DDR dans Spark.

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.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

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.

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.

Évaluation paresseuse: introduction et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'évaluation paresseuse, la mémorisation, la mise en œuvre d'interprètes, les défis de génération de code et les extensions potentielles.

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.

Écosystème Spark: Choix architecturaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les choix architecturaux de l'écosystème Spark, y compris les RDD et la tolérance aux pannes.

Projet solarboat: étude ergonomique Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur l'optimisation de la disposition et de la conception du poste de pilotage pour un bateau à énergie solaire.

Algorithmes de contrôle de congestion : améliorer les performances du réseau Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis de contrôle de la congestion, en mettant l'accent sur la nécessité de systèmes de réseau robustes et de vérification des performances pour améliorer les performances Internet et résoudre des problèmes tels que la famine et la faible utilisation.

Évaluation des données avec programmation multi-étapes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évaluation des données, l'intégration DSL, la sémantique, les algorithmes de points fixes et la programmation en plusieurs étapes.

Principes de Localité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'impact de la localité sur la conception du système, en discutant des stratégies pour optimiser l'efficacité et la performance grâce à la mise en page des données, la conception des serrures et la minimisation des mouvements de données.

Développement d'éléments finis : fonctions de base d'ordre supérieur Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fonctions de base d'ordre supérieur dans le développement d'éléments finis et la précision des modèles.

Demande de priorité purement fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

S'oriente vers l'optimisation des files d'attente prioritaires purement fonctionnelles, l'exploration des files d'attente binomiales et biaisées, des racines mondiales et des implémentations pratiques.

Diffusion fiable: Ordre causal Connectez-vous à Mediaspace pour regarder cette vidéo

Explore des algorithmes de diffusion fiables, en se concentrant sur l'ordre causal et la fiabilité uniforme, avec des exercices sur les propriétés des détecteurs de défaillance et l'optimisation de la mémoire.

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.

HW/SW Co-design: Accélérer l'efficacité du calcul Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évolution de la co-conception matériel / logiciel, en soulignant l'importance de la spécialisation et les défis de l'optimisation des performances et de l'efficacité énergétique.

Solveur WS1S: Structure du projet Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la structure du projet pour résoudre les formules WS1S et les ajouts prévus.

Voilier Keel Design Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de la quille de voilier et son impact sur les performances, soulignant l'importance de réduire la traînée induite.

Programmation dynamique : prise de décision optimale Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la programmation dynamique pour optimiser les processus de prise de décision au fil du temps, en utilisant des exemples concrets tels que l'extraction de pétrole et la négociation d'actions.

Page 2 sur 3