Миронов А.М. - Формальная семантика и верификация ПО - 4. Параллельные и распределенные программы

00:00:15 Введение 00:01:10 Процессная нотация (другое определение программы) 00:07:05 Параллельные программы. Гонки 00:16:55 Задача о вычислении k! с помощью двух процессов 00:23:52 Проверка корректности 00:43:01 Верифицкация параллельной программы методом Флойда 00:47:44 Программа сортировки массива длины n на n процессорах 00:56:58 Распределенные программы. MPI 01:01:08 Перемножение матриц (упражнение) 01:11:26 Посылка и прием сообщений со значениями в MPI 01:14:20 Избрание лидера (упражнение) Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо