Hybrid Parallel Execution Model For Logic-based Specification Languages
Author | : Bing Li |
Publisher | : World Scientific |
Total Pages | : 228 |
Release | : 2001-07-02 |
ISBN-10 | : 9789814494199 |
ISBN-13 | : 9814494194 |
Rating | : 4/5 (194 Downloads) |
Download or read book Hybrid Parallel Execution Model For Logic-based Specification Languages written by Bing Li and published by World Scientific. This book was released on 2001-07-02 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.