Carte Processus Concurrents Et Systemes Paralleles- Aspects Pratiques Benarous Leila

Processus Concurrents Et Systemes Paralleles- Aspects Pratiques

Limbă: franceză
Legare: Carte broșată
Editura: Omniscriptum
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
172.54 lei
L'exigence d'avoir des systčmes concurrents fiables impose ŕ tout concepteur (de tels systčmes) d'ad...

Informații despre carte

Limbă
franceză
Legare
Carte - Carte broșată
Publicat
2018
Pagini
72
EAN
9783841672469
ISBN
9783841672469
Enbook ID
10900425
Editura
Greutate
118
Dimensiuni
152 x 229 x 4

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Na saga dos anos 60

Carlos Olavo da Cunha Pereira
134.78 lei
59.79 lei
127.84 lei
68.95 lei

Natan Mudryi

Gotthold Ephraim Lessing
187.43 lei

What I Saw in America

G. K. Chesterton
43.18 lei

Other World and This

Augusta W Fletcher
178.37 lei
41.47 lei
52.84 lei

Trafficked

Sophie Hayes
58.28 lei