Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
GUESMIA, Salah
Directeur de thèse
Abdelouahab, Moussaoui (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Transposition automatique des algorithmes sur des systèmes distribués et dynamiques
Mots clés
Algorithmes distribués, communication, systèmes distribués, systèmes dynamiques,réseaux.
Résumé
Le concepts d’auto-stabilisation a été introduit en 1974 par E.G. Dijkstra. Un système reparti est défini comme auto-stabilisant s’il se comporte selon sa spécification au bout d’un temps fini quelque soit sa configuration initiale. Par cette propriété, les algorithmes auto-stabilisants tolérant tout nombre fini de défaillances transitoires. Puisque la conception et la preuve d’algorithmes auto-stabilisation, certains modelés d’auto-stabilisation automatique(transformateurs) ont été proposés dans la littérature afin d’ajouter la propriété d’auto-stabilisation aux algorithmes répartis. Dans ce travail, nous avons propose aussi un algorithme reparti aoto-stabilisant pour le maintien de la topologie dans les systèmes dynamiques. Cet algorithme est utilisé pour concevoir un transformateur qui transpose une classe d’algorithmes séquentiels en algorithmes repartis auto-stabilisants et dynamiques.
Date de soutenance
12-07-2007
Cote
004M/61
Pagination
63 f
Illusatration
tabl., fig
Format
30 cm
Notes
bibliogr. f.61-64
Statut
Soutenue
Tags & Categories
etablissement
université
systèmes
bejaia
informatique
abderrahmane
distribués
algorithmes
dynamiques
stabilisation
universitÉ
Établissement
univérsité
memoires
établissement
établissement
departement
établissement
universite
abderrahmane
affiliation
d’informatique
département
directeur
etablissement
mémoires
université