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.