• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
“Statistical and Combinatorial Analysis of the TOR Routing Protocol - Structural Weaknesses Identified in the Tor Network”

Filiol E. A., Delong M., Job N.

FORSe 2018 & 2019 Special Issue, Antonella Santone Guest editor, Journal of computer Virology and Hacking Techniques. 2020. Vol. 16. No. 1. P. 3-18.

Глава в книге
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

Zelenov S. V., Zelenova S. A.

In bk.: Lecture Notes in Computer Science. Vol. 11964: Perspectives of System Informatics. Springer, 2019. P. 214-222.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Научная деятельность

Научно-исследовательский семинар "Системное программирование"

Руководитель семинара

Аннотация

НИС "Системное программирование" - это возможность получать образование в группе, которая ежегодно отбирается Институтом Системного Программирования РАН (ИСП РАН), начиная с 3-курса и до получения диплома бакалавра (с возможность дальнейшего обучения в магистратуре), и курируется новой базовой кафедрой ИСП РАН, организованной при департаменте ПИ  ФКН с 2015-2016 учебного года.
Системное программирование - это наука о средствах производства и выполнения программ, включающая в себя несколько основных разделов, которые будут преподаваться в ИСП РАН нашим студентам (наравне со студентами МФТИ и ВМК МГУ, где тоже есть базовые кафедры ИСП РАН). Эти разделы (посвященные операционным системам, компиляторным технологиям, обработке текстов и верификации ПО) следует понимать как составные части НИС "Системное программирование". Специалисты в области системного программирования являются элитой программистского сообщества, а специалисты ИСП РАН - признанные лидеры этого научного направления в нашей стране.