Синтез и анализ параллельных процессов в адаптивных времяпараметризованных вычислительных системах
Монография посвящена изложению результатов обоснования принципов построения, разработки математического аппарата и методов формального синтеза и анализа время параметризованных параллельных программно-аппаратных процессов для перспективных параллельных вычислительных средств ХХI века – Адаптивных Самоорганизующихся Вычислительных Систем и Распределенных Вычислительных Сетей. Рассматриваются концепции построения систем; методы параллельной обработки данных; аппарат пространственно-временной дискретной математики; методы синтеза, верификации и оценки эффективности времяпараметризованных параллельных моделей алгоритмов, временных параллельных программ и процессов. Излагаемые результаты поддерживают также решение проблемы повышения эффективности параллельного аппаратно-программного обеспечения известных многопроцессорных ЭВМ, супер-ЭВМ и Сетей. Все права защищены. Никакая часть книги не может быть воспроизведена ни в каком виде и никакими средствами, электронными или механическими, в том числе посредством фотокопирования или записи на магнитные носители, без письменного разрешения авторов.