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.

Détails du produit

• Auteurs: 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
• Collaboration: Bing Li (Editeur)
• Edition: Ingram Publishers Services
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 05.07.2001
• EAN: 9789810240967
• ISBN: 978-981-02-4096-7
• Thèmes: Series on Software Engineering; Software Engineering and Knowl; Series On Software Engineering And Knowledge Engineering
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Langages de programmation; Sciences sociales, droit, économie > Sociologie > Sociologie du travail, de l'économie et de l'industrie; Software Engineering, COMPUTERS / Software Development & Engineering / General, Parallel processing, COMPUTERS / Parallel Processing