001029504
100  $a20120307                 y50      
101  $afre
2001 $aTransposition automatique des algorithmes sur des systèmes distribués et dynamiques$bressource électronique
210  $aUniversité de Béjaia - Abderrahmane Mira  : Département d'Informatique$cUniversité de Béjaia - Abderrahmane Mira $d12-07-2007
215  $a63 f$ctabl., fig$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Béjaia - Abderrahmane Mira $d12-07-2007
330  $aLe 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.
337  $abibliogr. f.61-64
610  $aAlgorithmes distribués, communication, systèmes distribués, systèmes dynamiques,réseaux.
700  $aGUESMIA, salah
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004M/61