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