Automated Parallelization of Discrete State-space Generation

Author	:
Publisher	: DIANE Publishing
Total Pages	: 20
Release	:
ISBN-10	: 9781428961869
ISBN-13	: 1428961860
Rating	: 4/5 (860 Downloads)

DOWNLOAD EBOOK

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

Language: en
Pages: 20

Automated Parallelization of Discrete State-space Generation

Authors:

Categories:

Type: BOOK - Published: - Publisher: DIANE Publishing

DOWNLOAD EBOOK

Language: en
Pages: 26

Automated Parallelization of Discrete State-space Generation

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

Language: en
Pages: 252

Model Checking Software

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

Language: en
Pages: 468

Formal Methods at the Crossroads. From Panacea to Foundational Support

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

Language: en
Pages: 232

Reachability Problems

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.