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

Exactitude des compilateurs: Partie 1

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

Systèmes hybrides stochastiques

Explore la vérification des modèles de détermination du temps, la planification U-Pool, l'analyse des pires temps d'exécution et la vérification statistique des modèles pour les systèmes cyber-physiques.

Compilation des expressions

Couvre la conversion des expressions, l'évaluation à l'aide de machines à piles et la génération de bytecode.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.

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.

Systèmes d'intervalles de correction formels Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.

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.

Concurrence et mémoire transactionnelle en Dafny Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.

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.

Page 2 sur 2