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.
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.
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.
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.
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.
Introduit la vérification formelle et ses avantages par rapport aux méthodes de test traditionnelles, en discutant de la démonstration automatique des théorèmes et en compilant les déclarations d'exactitude dans des conditions de vérification.
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.
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.
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.
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.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
