Визуальное моделирование в разработке параллельных алгоритмов

В монографии описывается метод представления вычислительных процессов, возникающих при решении задач численного моделирования с использованием параллельных и распределенных вычислительных систем, на основе оригинальной графической объектно-ориентированной модели. Приводится обзор современных приемов организации вычислений на высокопроизводительной технике. С использованием логики TLA Лампорта предлагается формальная спецификация вычислительной модели; описывается основанный на данной модели язык моделирования GraphPlus; с использованием языка GraphPlus рассматривается метод построения каркасных библиотек для распараллеливания задач численного моделирования. Описывается реализация программного комплекса и экспериментально обосновывается эффективность предлагаемых методов управления вычислениями. Монография предназначена для научных сотрудников, инженеров, преподавателей, аспирантов и студентов — специалистов в области программирования параллельных и распределенных вычислений.