Выдающимся свойством алгоритмов является возможность представле́ния их в виде гра́фов. Представив алгоритм графом, мы получаем мощнейший инструмент анализа в виде теории графов, позволяющий манипулировать графами практически неограниченно. Пожалуй, ни одного практически зна́чимого вывода мы не смогли бы сделать без использования графов (и ро́дственной теории)..! Давайте построим граф, соответствующий алгоритму решения полного квадратного уравнения (впервые это решение дано великим индийским астрономом и математиком БРАХМАГУПТА (7-й век н...

До сих пор исследования проводились для случая размера гранул параллелизма, равных одной машинной инструкции (fine-grained parallelism, микропараллелизм), причины этого приведены ранее. Там же показаны преимущества (но и трудности) формального обнаружения гранул параллелизма максимально большого размера (макропараллелизм). В данной главе покажем возможности использования исследовательского инструмента SPF при анализе программ со значительным размером гранул параллелизма (собственно декомпозиция исходного алгоритма производится на основе ясно видимых особенностей его выполнения)...