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

Programmes de vérification avec l'inox: Partie 2

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (35)

Caches - Performance

Explore l'évaluation des performances de la mémoire cache, couvrant les points de repère, la loi d'Amdahl, les performances du processeur, la hiérarchie de la mémoire, les optimisations de cache et les caches multiniveaux.

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.

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.

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.

Les bases de la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les éléments essentiels de LabVIEW, résout les problèmes courants, gère le cache et les techniques de visualisation des données.

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.

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.

Gestion des périphériques dans les systèmes d'exploitation: Chaperons et persistance Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.

Introduction à la science des données Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases de la science des données, couvrant les arbres de décision, les progrès de l'apprentissage automatique et l'apprentissage par renforcement profond.

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.

Gestion de la mémoire et programmes d'accident Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la gestion de la mémoire pour les ingénieurs, en se concentrant sur les programmes d'accident liés aux erreurs d'accès à la mémoire.

Réactions hétérogènes : effets de transport Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les effets de transport dans la catalyse hétérogène, y compris la diffusion moléculaire et la diffusion Knudsen dans différents types de pores.

Modèles de cohérence mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de cohérence de la mémoire, la cohérence du cache et les facteurs de performance du processeur.

Formule d'inversion de Fourier Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.

Les bases de la conception de services Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases de la conception de services, y compris les modèles et les processus clés, le cadrage des problèmes, la co-création et la cartographie du parcours client.

Page 2 sur 2