Категория:Виталий Чепцов
Материал из 0x1.tv
Версия от 07:54, 21 декабря 2018; StasFomin (обсуждение | вклад) (Новая страница: «{{dokl}} * mailto:cheptsov@ispras.ru»)
- Можно подписаться на новые доклады в категории RSS/Atom
Страницы в категории «Виталий Чепцов»
Показаны 4 страницы из 4, находящихся в данной категории.
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- Метод надёжной временной изоляции для ARINC 653 ОСРВ (Виталий Чепцов, OSDAY-2024)
- Обеспечение надёжной пространственной изоляции процессов посредством системы статического распределения памяти (OSDAY-2025)
- Проектирование бортовой ОСРВ с жёстким реальным временем для космического применения (Виталий Чепцов, OSDAY-2023)