Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
м (→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 37: | Строка 37: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar|02 декабря 2016 года |
| − | | | + | | '''Задача обеспечения отказоустойчивости распределенных вычислительных систем'''. |
| − | + | Продолжение доклада по статье "The Byzantine Generals Problem", L. Lamport, R. Shostak, M. Pease. ACM Transactions on Programming Languages and Systems. 1982, 4 (3), p. 382–401. | |
| − | + | На этот раз рассматриваем модель взаимодействующих процессов, в которой участники располагают средствами контроля целостности отправляемых сообщений. Насколько быстрее им удастся прийти к консенсусу? | |
| + | | Н.С. Словеснов | ||
<!-- | <!-- | ||
Версия 13:52, 2 декабря 2016
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||||
| Дискретные функции и сложность алгоритмов | ||||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. | ||
| Дискретный анализ | ||||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. | ||
| Теория управляющих систем и математические модели СБИС | ||||
| 2 декабря 2016 г. | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. | ||
| Некоторые вопросы теории управляющих систем | ||||
| 2 декабря 2016 г. | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. | ||
| Сложность решения дискретных задач | ||||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. | ||
| Теоретические проблемы программирования
{{announce Seminar|02 декабря 2016 года |
Задача обеспечения отказоустойчивости распределенных вычислительных систем.
Продолжение доклада по статье "The Byzantine Generals Problem", L. Lamport, R. Shostak, M. Pease. ACM Transactions on Programming Languages and Systems. 1982, 4 (3), p. 382–401. На этот раз рассматриваем модель взаимодействующих процессов, в которой участники располагают средствами контроля целостности отправляемых сообщений. Насколько быстрее им удастся прийти к консенсусу? |
Н.С. Словеснов | ||
