Formal And Adaptive Methods For Automation Of Parallel Programs Construction
Emerging Research And Opportunities
Sobre o livro
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.