Formal and Adaptive Methods for Automation of Parallel Programs Construction

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.

Rezolva problema dezvoltarii de modele, metode si instrumente eficiente pentru automatizarea programarii paralele bazate pe algebra algoritmilor, rescrierea termenului si paradigme de reglare automata. Rezultatele acestei carti vor contribui la imbunatatirea in continuare a cercetarilor privind proiectarea, sinteza si optimizarea algoritmilor si programelor secventiale si paralele.