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

Calendrier et analyse des performances : vérification du modèle

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Mécanismes de planification: changement de contexte et politiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les mécanismes et les politiques de planification du système d'exploitation, en se concentrant sur la commutation de contexte et la préemption.

Architectures et logiciels fiables Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les architectures fiables, la détection des erreurs, les structures tolérantes aux pannes et la fiabilité des logiciels à travers des exemples tels que la défaillance du missile Patriot et le double contrôleur ABB.

Le sauvetage des processeurs de centres de données Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis et les solutions pour les processeurs de datacenter, en mettant l'accent sur l'efficacité, les problèmes de cache, la prévision des branches et les optimisations architecturales.

Comprendre le multithreading simultané dans les processeurs modernes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le multithreading simultané, sa mise en œuvre et son impact sur les performances du processeur.

Coordination et calendrier Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la coordination et la programmation dans les systèmes d'exploitation, couvrant les problèmes de réveil perdus, les algorithmes de planification et les primitives de coordination comme le sommeil et le réveil.

Machines à états finis (FSM)Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Sélection des concepts et exploration de l'espace commercial Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse de décision, les méthodes de sélection de concept, la non-dominance et l'optimisation dans la conception du système.

Performances : Optimisation du matériel et des logiciels Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évolution des mesures de performance dans l'informatique, en mettant l'accent sur l'impact de l'optimisation du matériel et des logiciels.

Tuyauterie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la pipeline dans les processeurs, couvrant les étapes, les dangers et les solutions pour une exécution efficace.

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Page 2 sur 2