Explore la gestion des acteurs répartis en grappes, en mettant l'accent sur le consensus, la détection des défaillances et la surveillance du cycle de vie.
Explore les défis de la gestion et de l'optimisation de l'énergie, en mettant l'accent sur la nécessité de systèmes informatiques économes en énergie et de sources d'énergie durables.
Explore la motivation et les avantages de l'utilisation des GPU pour le calcul, en se concentrant sur leurs performances et leur programmation via CUDA.
Couvre l'évolution de l'informatique, du droit de Moore au multicores, la recherche sur la parallélisation du code Lisp, les expériences à UC Berkeley et Microsoft Research, et les idées sur l'informatique en nuage et la gestion du corps professoral.
Examine la conception d'un système d'exécution distribué à usage général, couvrant les défis, les cadres spécialisés, la logique de contrôle décentralisée et les remaniements de haute performance.
Couvre la mise en œuvre et l'évaluation d'un projet pratique dans les algorithmes distribués, en mettant l'accent sur la construction de liens parfaits, la diffusion FIFO et la diffusion causale localisée.
Présente le modèle de programmation MapReduce pour l'informatique distribuée, en mettant l'accent sur sa vision et ses mécanismes de sous-développement.
Explore l'algorithme FloodSet pour parvenir à un consensus dans les systèmes distribués grâce à des preuves guidées et à une analyse de la complexité de la communication.
Explore les complexités de la programmation dans les cadres informatiques distribués, en mettant l'accent sur l'optimisation de la localisation des données et les stratégies de multitenance.
Explore les algorithmes distribués en temps réel, couvrant les applications industrielles, les modèles de système, les protocoles de communication et la détection des défaillances.
Explore l'impact des variations de PVT, les incertitudes dans la conception des circuits intégrés, les paradigmes de conception dans le pire des cas et l'importance des simulations Monte-Carlo.