Никифоров Виктор Викентьевич

Публикации в базе данных Math-Net.Ru

1. A flat chart technique for embedded OS testing
   
   Труды ИСП РАН, 29:5 (2017),  75–92
2. Статическая проверка корректности разделения ресурсов в системах реального времени
   
   Тр. СПИИРАН, 52 (2017),  137–156
3. Имитационное моделирование для анализа выполнимости приложений реального времени
   
   Модел. и анализ информ. систем, 23:6 (2016),  673–687
4. Транзитивное наследование приоритетов в многозадачных приложениях реального времени
   
   Тр. СПИИРАН, 43 (2015),  114–134
5. Оценка фактора блокирования задач в системах реального времени на многоядерных процессорах
   
   Тр. СПИИРАН, 27 (2013),  93–106
6. Оценка времени отклика цепочек задач в распределенных системах реального времени
   
   Тр. СПИИРАН, 23 (2012),  134–156
7. Проверка корректности логической структуры многозадачных программных приложений
   
   Известия Кабардино-Балкарского научного центра РАН, 2011, № 1,  213–216
8. Маршрутные сети – графический формализм представления структуры программных приложений реального времени
   
   Тр. СПИИРАН, 14 (2010),  7–28
9. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени
   
   Тр. СПИИРАН, 11 (2009),  159–175
10. Выполнимость приложений реального времени на многоядерных процессорах
    
    Тр. СПИИРАН, 8 (2009),  255–284
11. Модель ядра реального времени для встроенных систем
    
    ИТиВС, 2003, № 1-2,  62–78
12. Планирование заданий в синхронных системах реального времени
    
    Тр. СПИИРАН, 1:1 (2002),  129–144