Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint) - Tapa blanda
Sinopsis
Excerpt from Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets
In 3 a similar approach was applied to analyse a parallel program, however the reachability set was developed only for 2 pes.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Excerpt from Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets
In 3 a similar approach was applied to analyse a parallel program, however the reachability set was developed only for 2 pes.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Reseña del editor
Excerpt from Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets
Abstract - A method for verifying parallel programs is applied to several examples (PV-semaphore, "busy-wait" synchronization, "cessation of activity" synchronization, "readers-writers" ). The graph of all program states and state transitions is represented in a special compact form independent of the number N of processing elements. This representation aids in verifying certain correctness properties that can not be easily expressed in the form "predicate(state)". In each of the above mentioned examples a special "reachability tree" is developed whose nodes are some subsets of the set of all reachable states. The root is the initial state and moving down the tree corresponds to some processors advancing their execution. In the presented examples the size of this tree is independent of N. The notion of compact program is introduced: roughly speaking a parallel program is compact if there exists a boundary, independent of N, on time required to reach any state. Examples of non-compact programs are represented.
Index Terms- correctness proof, program verification, concurrent processes, synchronization, semaphore, liveness property, mutual exclusion, deadlock.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Verification of Several Parallel, Vol. 36: Coordination...
Imagen del vendedor
Verification of Several Parallel, Vol. 36 (Classic Reprint)
Impresión bajo demandaLibrería: Forgotten Books, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Print on Demand. This book introduces a new method to verify parallel programs for any fixed number of processors. The method uses a special compact representation to describe all execution states of programs, which aids in verifying the properties that cannot be easily expressed as 'predicate(state)'. The method is demonstrated by verifying correctness properties of several parallel programming examples, especially those that deal with synchronization. It shows that the method can detect subtle race conditions and other timing-based bugs which traditional verification methods (such as those based on finite state machines) cannot detect. Altogether, this book broadens the range of parallel programs that can be verified. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Nº de ref. del artículo: 9781332209255_0
Comprar nuevo
EUR 15,28
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332209255
Comprar nuevo
EUR 22,05
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332209255
Comprar nuevo
EUR 20,68
Envío por EUR 3,77
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles