An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint) - Couverture souple
Synopsis
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 II (Classic Reprint)
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.
Autres éditions populaires du même titre
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
impression à la demandeVendeur : Forgotten Books, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. Print on Demand. This text is an excerpt from a scientific book focusing on describing a computer algorithm that verifies parallel coordination programs. The algorithm's goal is to check if each of these programs reaches a compact state, a status where the desired result can be achieved within a finite time frame. The book introduces the concept of controlled vector addition systems (CVAS) as a mathematical model for parallel program analysis and provides an algorithm called DEVELOP to construct reachability set descriptions for a class of CVAS. The algorithm is proven to terminate if the program being tested is normal, and termination is equivalent to compactness in this context. Additionally, the book explores how DEVELOP can be applied to parametric CVAS, a concept that introduces a variable parameter to the algorithm. The author demonstrates that DEVELOP will still terminate for a parametric CVAS if the reachability set is finite for each value of the parameter. These insights provide new tools and techniques for analyzing and verifying the behavior of parallel coordination programs. 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 9781332087051_0
Acheter neuf
EUR 15,58
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
An Approach to Automating the Verification of Compact Parallel Coordination Programs II Classic Reprint
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332087051
Acheter neuf
EUR 21,86
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
An Approach to Automating the Verification of Compact Parallel Coordination Programs II Classic Reprint
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332087051
Acheter neuf
EUR 20,90
Expédition à EUR 3,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)
Edité par
Forgotten Books, 2015
ISBN 10 : 1332087051
ISBN 13 : 9781332087051
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 26050144/2
Acheter D'occasion
EUR 16,19
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)