Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 7. Верификация распределенных систем. Задача вычисления произведения матриц
Лекция из курса:
Формальная семантика и верификация программного обеспечения
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 7. Верификация распределенных систем. Задача вычисления произведения матриц
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через 04:50
Вступление. Комплексы взаимодействующих последовательных программ
04:50
Следующая секция начнется через 04:50
Элементарные действия. Передача сообщений с помощью каналов и общих переменных
26:12
Следующая секция начнется через 04:50
Задача вычисления произведения матриц
29:34
Следующая секция начнется через 04:50
Процесс-менеджер
48:16
Следующая секция начнется через 04:50
Процесс-работник
52:15
Следующая секция начнется через 04:50
Возможные дополнительные условия
55:44
Следующая секция начнется через 04:50
Верификация программы. Введение дополнительных переменных
1:11:46
Следующая секция начнется через 04:50
Теорема
Свернуть таймкоды
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

Лекция 7. Верификация распределенных систем. Задача вычисления произведения матриц

00:15
Следующая секция начнется через 04:50
Вступление. Комплексы взаимодействующих последовательных программ
04:50
Следующая секция начнется через 04:50
Элементарные действия. Передача сообщений с помощью каналов и общих переменных
26:12
Следующая секция начнется через 04:50
Задача вычисления произведения матриц
29:34
Следующая секция начнется через 04:50
Процесс-менеджер
48:16
Следующая секция начнется через 04:50
Процесс-работник
52:15
Следующая секция начнется через 04:50
Возможные дополнительные условия
55:44
Следующая секция начнется через 04:50
Верификация программы. Введение дополнительных переменных
1:11:46
Следующая секция начнется через 04:50
Теорема
Свернуть таймкоды
Конспект лекции
Лекция 7. Верификация распределенных систем. Задача вычисления произведения матриц
1 / 9