Формалізовано послідовні алгоритми Пріма та Крускала, для яких побудовано регулярні схеми. Запропоновано підхід до розпаралелювання та сформовано паралельні регулярні схеми алгоритмів для їх подальшої реалізації на кластерних ...

Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані ...