Hybrid Parallel Execution Model for Logic-Based Specification Languages

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.

Product details

• Authors: Chicago Bing Li (University of Illinois, Bing Li, Jeffrey J P Tsai, Jeffrey J. P. Tsai, Jeffrey J.P. Tsai
• Assisted by: Bing Li (Editor)
• Publisher: World Scientific Publishing Company
• Languages: English
• Product format: Hardback
• Released: 05.07.2001
• EAN: 9789810240967
• ISBN: 978-981-02-4096-7
• No. of pages: 228
• Dimensions: 153 mm x 218 mm x 34 mm
• Weight: 472 g
• Series: Series on Software Engineering; Software Engineering and Knowl; Series On Software Engineering And Knowledge Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Social sciences, law, business > Sociology > Labour, economic and industrial sociology