Preuves d'algorithmes distribues par composition et raffinement
Maha Bousabbah - Collection Omn.univ.europ.
184 pages, parution le 01/11/2018
Résumé
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 qu'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.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Maha Bousabbah |
| Collection | Omn.univ.europ. |
| Parution | 01/11/2018 |
| Nb. de pages | 184 |
| Format | 15.2 x 22.9 |
| Couverture | Broché |
| Poids | 279g |
| EAN13 | 9783841626929 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
