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.

Dettagli sul prodotto

• Autori: Chicago Bing Li (University of Illinois, Jeffrey J P Tsai, Bing Li, Li Bing, Jeffrey J P Tsai, Jeffrey J. P. Tsai, Jeffrey J.P. Tsai
• Con la collaborazione di: Bing Li (Editore)
• Editore: Ingram Publishers Services
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 05.07.2001
• EAN: 9789810240967
• ISBN: 978-981-02-4096-7
• Serie: Series on Software Engineering; Software Engineering and Knowl; Series On Software Engineering And Knowledge Engineering
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione; Scienze sociali, diritto, economia > Sociologia > Sociologia del lavoro, dell'economia e dell'industria; Software Engineering, COMPUTERS / Software Development & Engineering / General, Parallel processing, COMPUTERS / Parallel Processing