Баранов Сергей Николаевич

Должность: профессор

Кафедра: кафедра информационных систем

Уч. степень: доктор физико-математических наук

Звание: профессор

Стаж: 2 года

Условие работы: Внешний совместитель

Трудовой договор: с 09/16/2015 по 06/30/2016

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: математика; Квалификация: математик;

Список трудов:

  1. Никифоров В.В., Baranov S. Static verification of task access to shared resources in real-time systems. Труды СПИИРАН [SPIIRAS Proceedings]. 2017. Vol. 3. No. 52. pp. 137-156. [Тип: Статья, Год: 2017]
  2. Baranov S.N. Real-time multi-task simulation in Forth. Proceedings of the 18th Conference of Open Innovations Association FRUCT. 2016. pp. 21-26. [Тип: Статья, Год: 2016]
  3. Nikiforov V., Baranov S.N. Multi-partite graphs and verification of software applications for real-time systems. Cybernetics And Information Technologies. 2016. Vol. 16. No. 2. pp. 85-96. [Тип: Статья, Год: 2016]
  4. Baranov S. A practical simulator of associative intellectual machine. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2016. Vol. 9719. pp. 185-195. [Тип: Статья, Год: 2016]
  5. Baranov S.N., Nikiforov V. The impact of blocking factor on real-time applications feasibility. Proceedings of the 18th Conference of Open Innovations Association FRUCT. 2016. pp. 15-20. [Тип: Статья, Год: 2016]
  6. Baranov S.N., Nikiforov V. Density of multi-task real-time applications. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 9-15. [Тип: Статья, Год: 2015]
  7. Баранов С.Н., Никифоров В.В. Транзитивное наследование приоритетов в многозадачных приложениях реального времени. Труды СПИИРАН [SPIIRAS Proceedings]. 2015. № 6(43). С. 114-134. [Тип: Статья, Год: 2015]
  8. Baranov S. Formation of the discipline of programming in Russia. Proceedings - 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom 2014. 2014. pp. 107-109. [Тип: Статья, Год: 2014]