| Titre : | Processus concurrents et systèmes parrallèlles-Aspects Pratiques |
| Auteurs : | Leila Benarous, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | Éditions Universitaires Européennes, 2015 |
| ISBN/ISSN/EAN : | 978-3-8416-7246-9 |
| Format : | 1 vol. (63 p.) / couv. ill. en coul. / 24 cm |
| Langues: | Français |
| Index. décimale : | 004.368 2 |
| Résumé : | L'exigence d'avoir des systèmes concurrents fiables impose a tout concepteur (de tels systèmes) d'adopter une démarche rigoureuse de la première étape de conception jus qu’a sa réalisation finale. Les travaux réalises dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et repartis. Ainsi ces aspects ont nécessite l'apprentissage du langage Brome la et l'utilisation de l'outil logiciel associe a savoir le simulateur SPIN. Les applications réalisées ont concerne plusieurs aspects étudies durant notre cursus mais de maniéré 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é porte a l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélise et valide le protocole KERBEROS lequel est un protocole d'authentification." |
| Type de document : | Livres |
Disponibilité (4)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/628 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/628 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/628 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/628 | Livre | bibliothèque sciences exactes | Consultable |
