Detection Of Global Predicates In Dynamic Systems: Algorithms and Protocols - Tapa blanda

Wang, Xinli

 
9783639094589: Detection Of Global Predicates In Dynamic Systems: Algorithms and Protocols
Tapa blanda
ISBN 10: 3639094581 ISBN 13: 9783639094589
Editorial: VDM Verlag Dr. Müller, 2008

Sinopsis

An architectural framework for detecting global predicates in dynamic systems has been formulated that consists of two basic components. One copes with the information collection and predicate evaluation over consistent global states. The other manages the changing memberships of the processes by establishing and dynamically maintaining a virtual network topology. A virtual network topology of a logical ring combined with multiple computation trees has been proposed and the protocols for maintaining this topology have been developed. An efficient implementation of vector clocks in dynamic systems has been developed based on the differential technique. A decentralized algorithm for detecting weak conjunctive predicates in dynamic systems has been developed in this work. A distributed algorithm has been proposed for detecting general conjunctive stable predicates in dynamic systems. A distributed protocol has been developed for termination detection in dynamic systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

An architectural framework for detecting global predicates in dynamic systems has been formulated that consists of two basic components. One copes with the information collection and predicate evaluation over consistent global states. The other manages the changing memberships of the processes by establishing and dynamically maintaining a virtual network topology. A virtual network topology of a logical ring combined with multiple computation trees has been proposed and the protocols for maintaining this topology have been developed. An efficient implementation of vector clocks in dynamic systems has been developed based on the differential technique. A decentralized algorithm for detecting weak conjunctive predicates in dynamic systems has been developed in this work. A distributed algorithm has been proposed for detecting general conjunctive stable predicates in dynamic systems. A distributed protocol has been developed for termination detection in dynamic systems.

Biografía del autor

Xinli Wang received his PhD in Computer Science from Michigan Technological University in 2005. He is now an assistant professor at Michigan Technological University in the area of computer and network security and system administration. His current research interests include distributed systems, system and network security, encryption algorithm.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
VDM Verlag Dr. Müller
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3639094581
ISBN 13 
9783639094589
Encuadernación
Tapa blanda
Número de páginas
200
Contacto del fabricante
no disponible
Persona responsable
no disponible