ИКНК
  • Распределенные алгоритмы Шошмина Ирина Владимировна
    0%
  • Previous
  • Course data
    Общая информация
    Форум
    Вебинар в системе 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
    Topic 20
  • Next
  ИКНК
  • English ‎(en)‎
    Русский ‎(ru)‎ English ‎(en)‎
    • Log in
    Site Navigation
    Распределенные алгоритмы Шошмина Ирина Владимировна
    Home
    Skip to main content

    Course info

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

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

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

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

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

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

    Контакты:

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

    +7 (812) 906-15-19

    support@spbstu.ru

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

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

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