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

Recherche sur les systèmes dignes de confiance

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

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.

La mémoire virtuelle : principes et mécanismes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les principes et les mécanismes de la mémoire virtuelle dans les systèmes informatiques, en se concentrant sur l'isolement, l'efficacité et le rôle de l'unité de gestion de la mémoire.

Algorithmes de contrôle de congestion : améliorer les performances du réseau Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis de contrôle de la congestion, en mettant l'accent sur la nécessité de systèmes de réseau robustes et de vérification des performances pour améliorer les performances Internet et résoudre des problèmes tels que la famine et la faible utilisation.

Rôles du système d'exploitation : Arbitre et gestionnaire de ressources Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le rôle du système d'exploitation en tant qu'arbitre dans la gestion des ressources et la sécurité grâce à l'isolement des pannes, au partage des ressources et à la communication.

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.

Circuits analogiques pour Biochip: Puissance sans fil et transmission de données Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la puissance sans fil et la transmission de données aux systèmes implantés, en mettant l'accent sur l'architecture du système et les modules fonctionnels.

Mémoire virtuelle : Organisation de la mémoire et virtualisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'organisation de la mémoire, la virtualisation, l'attribution dynamique de la mémoire, la pile, le tas et les techniques de virtualisation de la mémoire comme le registre de base et la segmentation.

Calcul & Algorithmes II : Algorithmes de tri et récursifs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les algorithmes de tri et de récursif, y compris l'analyse de complexité, la valeur maximale et la recherche binaire.

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.

Le rôle des systèmes d'exploitation : fondements et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le rôle essentiel des systèmes d'exploitation dans la gestion du matériel et l'activation des applications sur divers appareils.

MIPS Assemblage: Fonction Appels & Gestion de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.

Types avancés en C: Unions et champs de bits Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des types avancés en C, en se concentrant sur les syndicats, les champs de bits et leurs modificateurs et opérateurs associés.

Page 2 sur 2