RUS  ENG
Полная версия
ЖУРНАЛЫ // Интеллектуальные системы. Теория и приложения // Архив
Интеллектуальные системы. Теория и приложения, 2022, том 26, выпуск 1, страницы 101–106 (Mi ista338)
Часть 2. Математика и компьютерные науки

Процессный подход к моделированию и верификации параллельных программ

А. М. Миронов

мех.-мат. ф-т МГУ

Аннотация: В докладе излагается новая математическая модель параллельных программ и приводится пример ее применения для верификации параллельной программы перемножения матриц.

Ключевые слова: параллельные программы, распределенные процессы, верификация.


© МИАН, 2024