Andere Kunden interessierten sich auch für
![Preuves par récurrence avec ensembles couvrants contextuels]( "Preuves par récurrence avec ensembles couvrants contextuels")
Preuves par récurrence avec ensembles couvrants contextuels44,99 €![Couplage à hautes performances de codes parallèles et distribués]( "Couplage à hautes performances de codes parallèles et distribués")
Couplage à hautes performances de codes parallèles et distribués31,99 €![Méthode des Eléments Finis et Carte auto-organisatrice de Kohonen (SOM)]( "Méthode des Eléments Finis et Carte auto-organisatrice de Kohonen (SOM)")
Méthode des Eléments Finis et Carte auto-organisatrice de Kohonen (SOM)25,99 €![Gestion Du Temps Par Le Raffinement]( "Gestion Du Temps Par Le Raffinement")
Gestion Du Temps Par Le Raffinement25,99 €![Raffinement et Refactoring de spécifications UML]( "Raffinement et Refactoring de spécifications UML")
Raffinement et Refactoring de spécifications UML38,99 €![Des systèmes d'aide à la décision temps réel et distribués]( "Des systèmes d'aide à la décision temps réel et distribués")
Des systèmes d'aide à la décision temps réel et distribués38,99 €![Les thérapies d'exposition par la Réalité virtuelle]( "Les thérapies d'exposition par la Réalité virtuelle")
Les thérapies d'exposition par la Réalité virtuelle61,99 €
Un système distribué est défini par une collection d¿entités de calcul autonomes, qui communiquent ensemble pour accomplir une tâche commune. Chaque entité exécute localement son calcul et ne peut interagir qüavec ses voisins. Le développement et la preuve du calcul distribué est un défi qui nécessite l¿utilisation de méthodes et outils avancés. Dans nos travaux de thèse, nous étudions quelques problèmes fondamentaux du calcul distribué. Nous utilisons Event-B, et nous proposons des schémas de preuve basés sur une approche ¿correct-par-construction¿. Nous considérons un système distribué défini par réseau fiable, de processus anonymes et avec un modèle de communication basé sur l¿échange de messages. Dans certains cas, nous faisons abstraction du modèle de communications en utilisant le modèle des calculs locaux.