Hybrid Parallel Execution Model for Logic-Based Specification Languages

Tsai Jeffrey J-P Li Bing Tsai Jeffrey J.P.

ISBN 10: 9810240961 / ISBN 13: 9789810240967

Verlag: World Scientific Publishing Company, Incorporated, 2001

Beschreibung

pp. xii + 214 Illus. Bestandsnummer des Verkäufers 5844788

Bibliografische Details

Titel: Hybrid Parallel Execution Model for ...

Verlag: World Scientific Publishing Company, Incorporated

Erscheinungsdatum: 2001

Einband: Hardcover

Zustand: New

Über diesen Titel

Inhaltsangabe:

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.