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

Conception de systèmes en réseau performants

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

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.

Synchronisation : Serrures et barrières Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes de synchronisation à l'aide de verrous et de barrières, en mettant l'accent sur des implémentations matérielles efficaces et des mécanismes de coordination tels qu'OpenMP.

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.

Audit UX & Voix du Marché: Benchmark UX Connectez-vous à Mediaspace pour regarder cette vidéo

Examine les aspects théoriques de l'audit UX, de l'évaluation par des experts et de l'analyse comparative, en soulignant l'importance de détecter les problèmes de conception qui ont une incidence sur la facilité d'utilisation et l'expérience des utilisateurs.

Demande de priorité purement fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les files d'attente prioritaires purement fonctionnelles, l'implémentation Scala, l'intégration Inoxydable, les propriétés d'exploitation et les files d'attente binomiales.

Introduction à la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Présente la programmation LabVIEW, couvrant la gestion de la mémoire, les types de données et les concepts de programmation parallèle, avec des démonstrations pratiques.

Exécution de requêtes spéculatives: goulots d'étranglement et dépendances Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exécution de requêtes spéculatives pour les requêtes complexes, s'attaquant aux goulets d'étranglement, aux dépendances et aux prévisions de performance.

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.

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