Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Concept

Cohérence (logique)

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Connectez-vous pour filtrer par séance de cours

Transactions distribuées: Spectre de cohérence Connectez-vous à Mediaspace pour regarder cette vidéo

Examine le spectre de l'uniformité dans les transactions distribuées, de l'uniformité forte à l'uniformité éventuelle, et les compromis en cause.

Mesh Size Selection : Analyse structurelle en Cedrus Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la sélection du maillage pour l'analyse structurelle à l'aide du logiciel Cedrus, en mettant l'accent sur la précision et l'impact des types de support sur les résultats.

Cohérence de la mémoire : l'amener au compilateur Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la cohérence de la mémoire, la faible cohérence et les garanties de niveau de langue dans l'ordre de mémoire, soulignant l'importance de la programmation libre de course de données.

Transactions : concepts et implémentations Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'élégance et les défis des transactions, y compris les propriétés ACID et les avantages de la mémoire transactionnelle dans la programmation simultanée.

Introduction à l'analyse numérique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de l'analyse numérique, y compris le calcul adaptatif des caractéristiques, l'analyse résiduelle et l'importance des problèmes bien posés.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Cohérence de la mémoire I Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'ordonnancement de la mémoire dans les systèmes multiprocesseurs, en discutant de la sémantique de chargement / stockage, de l'ordonnancement total et de différents modèles de cohérence.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Cohérence de la mémoire: langages de programmation et compilateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la cohérence de la mémoire, les courses de données et les variables de synchronisation dans les langages de programmation et les compilateurs.

Équations de Maxwell et courant de déplacement Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les équations de Maxwell, le courant de déplacement et les équations constituantes dans la résolution de problèmes de l'électromagnétisme.

Page 2 sur 2