Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

المؤلف
غير متاح
الناشر
Engineering Science Reference
تاريخ النشر
20200823
ISBN
9781522593843
منطقة تسجيل ISBN
منطقة ناطقة بالإنجليزية (ISBN 978-1)

الوصف

Solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further improve research on design, synthesis, and optimization of sequential and parallel algorithms and programs.