An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint) - Couverture souple

Lubachevsky, B. D.

9781528015882: An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

Couverture souple

ISBN 10 : 1528015886 ISBN 13 : 9781528015882

Editeur : Forgotten Books, 2018

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

3 Neuf

De EUR 16,05

The digital edition of all books may be viewed on our website before purchase. Excerpt from An Approach to Automating the Verification of Compact Parallel Coordination Programs

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books.

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. This text has been digitally restored from a historical edition. Some errors may persist, however we consider it worth publishing due to the work's historical value.The digital edition of all books may be viewed on our website before purchase.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Forgotten Books
Date d'�dition: 2018
Langue: anglais
ISBN 10: 1528015886
ISBN 13: 9781528015882
Reliure: Broch�
Nombre de pages: 107
Coordonn�es du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com
gpsr@podww.com

9 Culley Court
Orton Southgate
Peterborough
Cambridgeshire
PE2 6WA
Royaume-Uni
Personne responsable: Easy Access System Europe O�, 16879218
+358405003575
gpsr.requests@easproject.com

Mustam�e tee 50
Tallinn
10621
Estonie

R�sultats de recherche pour An Approach to Automating the Verification of Compact...

Image fournie par le vendeur

An Approach to Automating the Verification of Compact Parallel Coordination

B. D. Lubachevsky

Edit� par Forgotten Books, 2018

ISBN 10 : 1528015886 ISBN 13 : 9781528015882

Neuf Paperback

impression � la demande

Vendeur : Forgotten Books, London, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. Print on Demand. This book explores the field of parallel coordination programming, elucidating the complex concepts involved in designing and verifying such programs. The author introduces a class of coordination programs and delves into their properties, examining notions such as serialization, livelock, and blocking. One crucial aspect of the book is the introduction of a reachability set description (RSD), a novel representation that facilitates the analysis of program behavior for any number of processing elements. The RSD enables the construction of compact invariants, providing a powerful tool for ensuring the correctness of parallel programs. Through a series of examples and case studies, the author demonstrates the application of these concepts. The insights presented in this book empower readers to develop and verify reliable and efficient parallel coordination programs, solidifying its significance as a valuable resource for researchers and practitioners in the field of parallel computing. 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 r�f. du vendeur 9781528015882_0

Contacter le vendeur