Methodes formelles pour les systèmes répartis et coopératifs traité ic2
Systèmes répartis en action - De l'embarqué aux systèmes à large échelle
Publié par Hermes Science Publications, le 14 novembre 2008
284 pages
Résumé
Depuis l'invention d'Internet, les systèmes répartis, dont l'exécution se déroule simultanément sur plusieurs machines, ont connu un essor considérable. Actuellement, bien des aspects de notre vie quotidienne sont gérés par de tels systèmes. L'objectif de cet ouvrage est de présenter les principaux problèmes posés par la conception de tels systèmes dans différents domaines clés : les systèmes embarqués répartis (par exemple dans le domaine spatial), les nouveaux problèmes posés par la sécurité dans ces systèmes, et enfin, les nouveaux algorithmes que l'on doit construire lorsque le nombre de machines supportant leur exécution est important (on parle alors de "large échelle"). Nous avons délibérément choisi de présenter les systèmes répartis "en action", c'est-à-dire par l'exemple. Ainsi, cet ouvrage expose différents aspects de leur mode de fonctionnement en nous appuyant intensivement sur des applications concrètes. Les auteurs des différents chapitres mettent donc en situation les problèmes, les techniques et les algorithmes du domaine. Le présent ouvrage s'adresse à des ingénieurs ou des étudiants en Master-2, déjà familiarisés avec la programmation et l'algorithmique, désireux d'acquérir une vision d'ensemble sur les systèmes répartis.
Plus de livres de Fabrice Kordon
Voir plusSystèmes répartis en action - De l'embarqué aux systèmes à large échelle
Systèmes répartis en action - De l'embarqué aux systèmes à large échelle
Modélisation et analyse de systèmes embarqués
Modélisation et analyse de systèmes embarqués
Critiques
Ce livre n'a pas encore de critiques
Vous avez lu ce livre ? Dites à la communauté Lenndi ce que vous en avez pensé 😎