Automated Parallelization of Discrete State-space Generation

Automated Parallelization of Discrete State-space Generation
Author :
Publisher : DIANE Publishing
Total Pages : 20
Release :
ISBN-10 : 9781428961869
ISBN-13 : 1428961860
Rating : 4/5 (69 Downloads)

Book Synopsis Automated Parallelization of Discrete State-space Generation by :

Download or read book Automated Parallelization of Discrete State-space Generation written by and published by DIANE Publishing. This book was released on with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Automated Parallelization of Discrete State-space Generation Related Books

Automated Parallelization of Discrete State-space Generation
Language: en
Pages: 20
Authors:
Categories:
Type: BOOK - Published: - Publisher: DIANE Publishing

DOWNLOAD EBOOK

Automated Parallelization of Discrete State-space Generation
Language: en
Pages: 26
Authors: David M. Nicol
Categories: Parallel processing (Electronic computers)
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Abstract: "We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of re
Reachability Problems
Language: en
Pages: 232
Authors: Parosh Aziz Abdulla
Categories: Computers
Type: BOOK - Published: 2013-09-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Model Checking Software
Language: en
Pages: 252
Authors: Thomas Ball
Categories: Computers
Type: BOOK - Published: 2003-04-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in Ma
Correct Hardware Design and Verification Methods
Language: en
Pages: 423
Authors: Dominique Borrione
Categories: Computers
Type: BOOK - Published: 2005-09-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods