Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.
Explore l'impact de la communication réseau sur les acteurs et couvre la communication des acteurs distribués, la formation de grappes et le déploiement à distance.
Couvre les bases de la programmation parallèle, y compris la concurrence, les formes de parallélisme, la synchronisation et les modèles de programmation tels que PThreads et OpenMP.
Couvre les bases des propriétés de proximité, Executors, Objets runnables, ForkJoinPool, la gestion de l'exécution des tâches, les contextes d'exécution dans Scala, et la simplification de l'exécution des tâches.
Couvre le passage aux processeurs multicœurs, à l'architecture de mémoire de processeur, aux défis de concurrence et aux problèmes de synchronisation dans l'informatique moderne.
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.
