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

Concept

Type system

Séances de cours associées (32)

Compiler Extension Lab

Couvre le Compiler Extension Lab, en se concentrant sur l'ajout de nouvelles fonctionnalités à un compilateur de langage fonctionnel simple.

Le polymorphisme dans la programmation orientée objet : mécanisme d’inclusion

Couvre le polymorphisme dans la programmation orientée objet, en se concentrant sur le polymorphisme d'inclusion et sa mise en œuvre à travers des hiérarchies de classes et des méthodes virtuelles.

Concevoir des expériences d'apprentissage: projet de classe CS411

Présente le projet de classe CS411, où les élèves conçoivent et testent une leçon en utilisant des théories d'apprentissage.

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.

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Concevoir des systèmes d'intervalles officiellement corrects Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.

Types avancés en C : Enums, Typedefs et Structs Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des types avancés en C, y compris les types énumérés, les typesdefs et les structures, avec des exemples pratiques pour illustrer leur utilisation.

VHDL pour Synthesis Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les constructions VHDL de base pour la conception RTL, y compris l'arithmétique, les multiplexeurs, les registres et l'instanciation.

Mécanique des fractures: croissance des fissures et lien le plus faible Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mécanique des fractures, la croissance des fissures et la théorie des maillons les plus faibles, en mettant l'accent sur la distribution statistique des tailles de fissures et l'importance de la plus grande fissure dans la défaillance matérielle.

Weibull Modèle: Random Data Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'application du modèle Weibull aux données aléatoires et son importance dans l'analyse de la force matérielle et de la probabilité de défaillance.

Mécanique des fractures : analyse énergétique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse de l'énergie en mécanique des fractures, en mettant l'accent sur la croissance instable des fissures et l'importance de la conformité dans le comportement structurel.

Analyse des fractures : énergie et mécanique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse macroscopique de l'énergie des fractures, en se concentrant sur la croissance instable des fissures et la mécanique de l'énergie.