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