Formal and Adaptive Methods for Automation of Parallel Programs Construction

This book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. It features research on a range of topics, including auto-tuning methods, graphics processing, and algorithmic language.

Aceasta carte va ajuta la dezvoltarea si imbunatatirea in continuare a cercetarilor existente privind proiectarea, sinteza si optimizarea algoritmilor si programelor secventiale si paralele. Prezinta cercetari pe o serie de subiecte, inclusiv metode de reglare automata, procesare grafica si limbaj algoritmic.