Explore la coordination et la programmation dans les systèmes d'exploitation, couvrant les problèmes de réveil perdus, les algorithmes de planification et les primitives de coordination comme le sommeil et le réveil.
Couvre les tableaux NumPy et leurs représentations graphiques à l'aide de Matplotlib, en se concentrant sur les techniques de création, de manipulation et de visualisation des tableaux.
Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.
Les étudiants en 'Numerics for Fluids, Structures and Electromagnétiques' doivent compléter les projets individuellement ou par paires, en suivant des règles spécifiques et des critères d'évaluation.
Couvre des exemples liés à la programmation de course pour les ingénieurs, en se concentrant sur les valeurs des variables, le débogage et les registres à décalage.
Explore les structures de contrôle, le traitement des erreurs et les structures de données dans la programmation MATLAB, en mettant l'accent sur la lisibilité des codes et des exemples pratiques.
Explore le concours de robots de l'EPFL, où les étudiants construisent un robot pour nettoyer les salles et récupérer les bouteilles, acquérir une expérience pratique précieuse et se préparer à de futurs rôles d'ingénieur.
Couvre les principes et les mécanismes de la mémoire virtuelle dans les systèmes informatiques, en se concentrant sur l'isolement, l'efficacité et le rôle de l'unité de gestion de la mémoire.
Couvre les principes et les mécanismes de la virtualisation, y compris le multiplexage, l'agrégation et l'émulation, en mettant l'accent sur la mise en œuvre de la mémoire virtuelle.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.