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