Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Preuves d'algorithmes distribues par composition et raffinement

Librairie Eyrolles - Paris 5e
Indisponible

Preuves d'algorithmes distribues par composition et raffinement

Preuves d'algorithmes distribues par composition et raffinement

Collection Omn.univ.europ.

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 du livre "Preuves d'algorithmes distribues par composition et raffinement"

  PAPIER
Éditeur(s) Editions universitaires européennes
Collection Omn.univ.europ.
Parution 01/11/2018
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 de livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925