Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Processus concurrents et systèmes parallèles- Aspects Pratiques
Univ Europeenne - EAN : 9783841672469
Édition papier
EAN : 9783841672469
Paru le : 11 sept. 2015
35,90 €
34,03 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783841672469
- Réf. fournisseur : 7066446
- Editeur : Univ Europeenne
- Date Parution : 11 sept. 2015
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 72
- Format : H:229 mm L:152 mm E:4 mm
- Poids : 120gr
- Interdit de retour : Retour interdit
- Résumé : L'exigence d'avoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) d'adopter une démarche rigoureuse de la première étape de conception jusqu'à sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis. Ainsi ces aspects ont nécessité l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associé à savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique. Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes d'élection. De plus, un intérêt a été porté à l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d'authentification.
- Biographie : Benarous Leila étudiante en Master Informatique, option: Réseaux, Systèmes et Applications Réparties, université Amar Telidji, Laghouat, Algérie.
