This book studies hardware and software specifications at algorithmic level from the point of measuring and extracting the potential parallelism hidden in them. It investigates the possibilities of using this parallelism for the synthesis and optimization of highperformance software and hardware implementations. The basic single-block flow model is a result of the algorithm ...