Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ce livre traite de la stabilisation instantanée, une nouvelle approche pour la tolérance aux pannes dans les systèmes distribués. Après avoir défini formellement la stabilisation instantanée, nous illustrons l'approche en étudiant plusieurs applications instantanément stabilisantes. Tout d'abord, deux parcours en profondeur pour des réseaux quelconques. Ces deux protocoles sont écrits dans le modèle à états et fonctionnent avec un démon distribué inéquitable. Le premier est basé sur des listes d'identités. Le second utilise un principe de question. Nous proposons ensuite deux applications instantanément stabilisantes obtenues à partir de nos deux parcours en profondeur. Enfin, nous adoptons une approche plus générale en proposant un transformateur de protocoles à vagues mono-initiateurs en protocoles instantanément stabilisants. Des protocoles de parcours en profonde ur et de construction d'arbre en largeur illustrent la puissance de notre méthode de transformation. Enfin, grâce à une propriété de comptage de notre transformateur, nous montrons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante. 208 pp. Französisch. Codice articolo 9786131511295
Descrizione libro Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Ce livre traite de la stabilisation instantanée, une nouvelle approche pour la tolérance aux pannes dans les systèmes distribués. Après avoir défini formellement la stabilisation instantanée, nous illustrons l'approche en étudiant plusieurs applications instantanément stabilisantes. Tout d'abord, deux parcours en profondeur pour des réseaux quelconques. Ces deux protocoles sont écrits dans le modèle à états et fonctionnent avec un démon distribué inéquitable. Le premier est basé sur des listes d'identités. Le second utilise un principe de question. Nous proposons ensuite deux applications instantanément stabilisantes obtenues à partir de nos deux parcours en profondeur. Enfin, nous adoptons une approche plus générale en proposant un transformateur de protocoles à vagues mono-initiateurs en protocoles instantanément stabilisants. Des protocoles de parcours en profonde ur et de construction d'arbre en largeur illustrent la puissance de notre méthode de transformation. Enfin, grâce à une propriété de comptage de notre transformateur, nous montrons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante. Codice articolo 9786131511295
Descrizione libro Condizione: New. Codice articolo 5793430