Перейти к содержимому страницы.

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

Ученое звание:
Профессор
Ученая степень:
Доктор физико-математических наук

Публикации

Никифоров В.В., Baranov S.

Cтатическая проверка корректности разделения ресурсов в системах реального времени [Static verification of task access to shared resources in real-time systems]//Труды СПИИРАН [SPIIRAS Proceedings], IET - 2017, No. 3(52), pp. 137-156 Подробнее

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), IET - 2016, Vol. 9719, pp. 185-195 Подробнее

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, IET - 2016, pp. 15-20 Подробнее

Baranov S.N.

Real-time multi-task simulation in Forth//Proceedings of the 18th Conference of Open Innovations Association FRUCT, IET - 2016, pp. 21-26 Подробнее

Nikiforov V., Baranov S.N.

Multi-partite graphs and verification of software applications for real-time systems//Cybernetics And Information Technologies, IET - 2016, Vol. 16, No. 2, pp. 85-96 Подробнее

Baranov S.N., Nikiforov V.

Density of multi-task real-time applications//Proceedings of the 17th Conference of Open Innovations Association FRUCT, IET - 2015, pp. 9-15 Подробнее

Баранов С.Н., Никифоров В.В.

Транзитивное наследование приоритетов в многозадачных приложениях реального времени // Труды СПИИРАН [SPIIRAS Proceedings] -2015. - № 6(43). - С. 114-134 Подробнее

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, IET - 2014, pp. 107-109 Подробнее