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

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (33)

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é.

Théorie de la langue dans la pratique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'application pratique de la théorie du langage, y compris le tri rapide, le typage progressif et la gestion efficace de la mémoire, ainsi que les défis de la synthèse des programmes de réduction.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

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

Couvre les bases de Dafny, la concurrence de modélisation et la mise en œuvre de la mémoire transactionnelle avec des preuves de sécurité et de vivacité.

Gestion des transactions et contrôle de la concurrence Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des transactions, le contrôle de la concurrence, les propriétés ACID, les anomalies et la sérialisation des conflits dans les systèmes de base de données.

Contrôle et récupération des devises dans les bases de données Connectez-vous à Mediaspace pour regarder cette vidéo

Se consacre à la gestion des transactions, au contrôle de la concordance et à la récupération dans les bases de données afin d'assurer l'intégrité des données et la résilience des systèmes.

Bloc tiré par un ressort Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la dynamique d'un bloc tiré par un ressort dans diverses conditions.

Mécanismes de synchronisation évolutive pour les systèmes d'exploitation de nombreux cœurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les mécanismes de synchronisation évolutive pour de nombreux systèmes d'exploitation de base, en mettant l'accent sur les défis de la gestion de la croissance des données et des régressions dans le système d'exploitation.

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.

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.

Applications et systèmes intensifs en matière de données : aperçu HTAP Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu des systèmes HTAP, couvrant le contrôle de la concordance, la mise en page des données, les compromis de consolidation et l'efficacité des instantanés en fonction de la charge de travail.

Contrôle optimal des devises: commande d'une minuterie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore un contrôle optimiste de la concurrence grâce à l'ordonnancement de l'horodatage et à des tests de validation continus.

Stockage fiable: Regular Register Algorithm Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la spécification d'un registre, l'exécution séquentielle et concurrente, et les propriétés d'exactitude.

Page 2 sur 2