Explique les mécanismes et les politiques de planification du système d'exploitation, en se concentrant sur la commutation de contexte et la préemption.
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.
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.
Couvre les défis dans le raisonnement précis de bits, y compris les résultats SMT-COMP, AIG, bit-blasting, Tseitin transformation, et les classes de complexité.
Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.
Explore les défis et les solutions pour les processeurs de datacenter, en mettant l'accent sur l'efficacité, les problèmes de cache, la prévision des branches et les optimisations architecturales.
Explore l'équilibre et Pareto optimum dans la théorie des prix des actifs, en mettant l'accent sur les conditions d'équilibre du marché et les théorèmes de bien-être.
