Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 4. Параллельные и распределенные программы
Лекция из курса:
Формальная семантика и верификация программного обеспечения
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 4. Параллельные и распределенные программы
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через 01:10
Введение
01:10
Следующая секция начнется через 01:10
Процессная нотация (другое определение программы)
07:05
Следующая секция начнется через 01:10
Параллельные программы. Гонки
16:55
Следующая секция начнется через 01:10
Задача о вычислении k! с помощью двух процессов
23:52
Следующая секция начнется через 01:10
Проверка корректности
43:01
Следующая секция начнется через 01:10
Верификация параллельной программы методом Флойда
47:44
Следующая секция начнется через 01:10
Программа сортировки массива длины n на n процессорах
56:58
Следующая секция начнется через 01:10
Распределенные программы. MPI
1:01:08
Следующая секция начнется через 01:10
Перемножение матриц (упражнение)
1:11:26
Следующая секция начнется через 01:10
Посылка и прием сообщений со значениями в MPI
1:14:20
Следующая секция начнется через 01:10
Избрание лидера (упражнение)
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 4. Параллельные и распределенные программы

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