Анотація:
Предложен метод оценки вычислительной сложности алгоритмов на основе алгебраического подхода. Разработана методика применения системы переписывания правил для преобразования конструкций координации вычислений в многопоточных программах. Приведены примеры трансформаций параллельных программ и результаты их выполнения на многоядерной архитектуре.