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
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
Formal Methods at the Crossroads. From Panacea to Foundational Support
Language: en
Pages: 468
Authors: Bernhard K. Aichernig
Categories: Computers
Type: BOOK - Published: 2003-11-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as
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