Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных ...

Исследованы общие концепции управления высокопроизводительной кластерной вычислительной системой без использования сети Ethernet, а также рассмотрена возможность практической реализации такого управления.