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: 25
Authors: David M. Nicol
Categories: Computer science
Type: BOOK - Published: 1997 - Publisher:

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
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
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