Hybrid Parallel Execution Model for Logic-Based Specification Languages

Tsai, Jeffrey J. P., Li, Bing

ISBN 10: 9810240961 / ISBN 13: 9789810240967

Editore: World Scientific Pub Co Inc, 2001

Riguardo questo articolo

Like NewLIKE NEW. Codice articolo ERICA83598102409613

Dati bibliografici

Titolo: Hybrid Parallel Execution Model for ...

Casa editrice: World Scientific Pub Co Inc

Data di pubblicazione: 2001

Legatura: Hardcover

Condizione: Like New

Tipologia articolo: book

Descrizione articolo

Riassunto:

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.