Recherche en cours

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

format unimarc