ИКНК
  • Распределенные алгоритмы Шошмина Ирина Владимировна
    0%
  • Пред.
  • Данные курса
    Общая информация
    Форум
    Вебинар в системе Webinar.ru
    Ссылка на вебинарную комнату курса
    Ссылка на ресурсный курс (РАЗМЕЩАЕТ ПРЕПОДАВАТЕЛЬ)
    Учебник Бен-Ари
    Связаться с преподавателем
    Правила промежуточной аттестации
    Правила аттестации по дисциплине
    Оценочные средства (примеры оценочных средств)
    Тема 1. Формальные модели распределенных алгоритмов
    Остаток занятия
    ДЗ1
    05.02.24
    Тема 2. Формальное задание свойств поведения распределенных алгоритмов
    Задачи по составлению свойств в LTL
    ДЗ
    Присутствие 12.02.24
    Тема 3. Моделирование и верификация распределенных алгоритмов с помощью SPIN
    Презентация по SPIN
    SPIN
    Старая сборка SPIN
    Методичка по SPIN
    Задание по SPIN
    Тема 4. Типы свойств распределенных алгоритмов
    ДЗ к теме 4
    ДЗ к теме 4
    Проверка SPIN
    Тема 5. Условия справедливости
    ДЗ к теме 5
    Тема 6. Атомарные регистры чтения-записи
    Материалы к завершению лекции
    ДЗ
    Тема 7. Объекты замкового типа, реализованные с помощью атомарных регистров
    ДЗ
    Тема 8. Объекты замкового типа - семафоры
    ДЗ
    Тема 9. Разбор задач контрольной работы
    ДЗ
    Тема 10. Сплиттеры
    ДЗ. Барьеры (запись)
    ДЗ
    Тема 11. Беззамковые конкурирующие объекты. Линеаризуемость
    Доказательство алгоритма булочной для безопасных регистров
    ДЗ
    Тема 12. Мониторы
    Занятия пройдет дистанционно
    Лекция
    ДЗ
    Тема 13. Беззамковые конкурирующие объекты. Стеки и очереди
    ДЗ
    Тема 14. Задача консенсуса
    Лекция
    ДЗ
    Курсовые
    Название курсовой работы "Моделирование и верификация распределенных алгоритмов"
    Запись на сдачу курсовой
    Сборщик курсовых работ
    Промежуточная аттестация
    КР1
    Консультация 03.06.24
    Консультация
    Экзамен
    04.06.24
    Экзамен 23.09.24
    Тема 20
  • След.
  ИКНК
  • Русский ‎(ru)‎
    Русский ‎(ru)‎ English ‎(en)‎
    • Вход
    Навигация по сайту
    Распределенные алгоритмы Шошмина Ирина Владимировна
    В начало
    Перейти к основному содержанию

    Информация о курсе

    1. В начало
    2. Курсы
    3. Учебный год 2023/24, весенний семестр
    4. Бакалавриат
    5. Распределенные алгоритмы Шошмина Ирина Владимировна
    6. Описание

    Распределенные алгоритмы Шошмина Ирина Владимировна

    • Преподаватель: Шошмина Ирина Владимировна
    Skill Level: Beginner
    Skill Level: Beginner

    Портал дистанционных образовательных технологий СПБПУ Петра Великого
    Политика конфиденциальности
    Политика обработки cookie

    При использовании материалов портала активная ссылка на источник обязательна

    Санкт-Петербургский политехнический университет

    Контакты:

    195251, Санкт-Петербург, ул. Политехническая, дом 29, Научно-исследовательский корпус

    +7 (812) 906-15-19

    support@spbstu.ru

    sdo@spbstu.ru (проблемы с порталом)

    Мы в социальных ресурсах

    Мы используем cookies и рекомендательные технологии для улучшения работы сайта. Продолжая использовать этот сайт, Вы соглашаетесь на использование файлов cookie.