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

Architectures et logiciels fiables

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

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.

Conception de systèmes en réseau performants Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes en réseau pour des performances robustes, en mettant l'accent sur les applications en temps réel et la vérification formelle.

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.

Ingénierie des logiciels: Meilleures pratiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les outils et les meilleures pratiques pour l'écriture, le débogage, les tests et la gestion du code.

Évaluation de la fiabilité dans l'automatisation industrielle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évaluation de la fiabilité, la maintenance préventive, la fiabilité, les modèles Markov, FMEA, FTA et l'intégrité de la sécurité logicielle dans l'automatisation industrielle.

Codage des canaux et BICM (LLR)Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le codage de canal, le BICM et les LLR dans les systèmes de communication sans fil, en soulignant l'importance de la détection et de la correction des erreurs.

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Conception des protéines : Enzyme et génie biosenseur Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la nouvelle conception des enzymes et des biocapteurs pour la catalyse et la détection des ligands.

Bases de données parallèles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les bases de données parallèles et distribuées, couvrant les architectures, l'optimisation des requêtes, le stockage des données et les transactions distribuées.

Systèmes de contrôle en temps réel : Déterminisme et automatisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les systèmes de contrôle en temps réel, le déterminisme et l'automatisation dans les systèmes critiques, en soulignant l'importance de respecter les contraintes de temps pour la sécurité et l'efficacité.

Page 2 sur 2