BOUCHEMAL, YassmineMOUMEN ,WisalBOULAICHE, MehdiLAYADI ,Said2024-04-142024-04-142023http://dspace.univ-skikda.dz:4000/handle/123456789/836Ce mémoire de master propose une étude approfondie sur l’application de la coloration de graphe dans le contexte d’un systèmes de cache distribué . Les systèmes de cache distribué sont largement utilisés pour améliorer les performances des systèmes informatiques en stockant les données fré quemment utilisé es dans des caches répartis. Cependant, le placement optimal des données dans les caches reste un défi majeur. Dans ce mémoire, nous explorons l’utilisation de la coloration de graphe comme approche pour résoudre ce problème de placement des données dans un systèmes de cache distribué . Nous comment¸cons par une revue approfondie des travaux existants sur les systèmes de cache distribué et la coloration de graphe. Ensuite, nous proposons une méthodologie détaillée pour modéliser et résoudre le problème de placement des données a` l’aide de la coloration de graphe. Nous étudions également différentes stratégies d’algorithme de coloration pour optimiser les performances du systèmes de cache distribué . En conclusion, ce mémoire de master présente une approche novatrice en utilisant la colora- tion de graphe pour résoudre le problème de temps de réponse et la redondance des données dans un systèmes de cache distribué . Les résultats obtenus indiquent que l’algorithme utilisé est adaptable a` des´ échelles différentes, mais il ne garantit pas systèmatiquement la solution optimale. La vérification formelle dans un systèmes de cache distribué assure la cohérence des données,et la validité des opérations de mise en cache et d’éviction , grace `a l’utilisation de méthodes et d’outils formelsfrMémoire de Master