Обоснованы принципы, математический аппарат и методы формального синтеза и анализа времяпараметризованных параллельных программно-аппаратных процессов для перспективных параллельных вычислительных средств XXI ст. - адаптивных самоорганизующихся вычислительных систем и адаптивных распределенных вычислительных сетей. Рассмотрены концепции построения вычислительных систем. Описаны методы параллельной обработки данных. Охарактеризован аппарат пространственно-временной дискретной математики. Предложены методы синтеза, верификации и оценки эффективности времяпараметризированных параллельных моделей алгоритмов, временных параллельных программ и процессов. Раскрыты возможности повышения эффективности параллельного аппаратно-программного обеспечения известных многопроцессорных ЭВМ, супер-ЭВМ и вычислительных сетей различных классов.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"