Публикации в базе данных Math-Net.Ru
-
Оценка фактора блокирования задач в системах реального времени на многоядерных процессорах
Тр. СПИИРАН, 27 (2013), 93–106
-
Оценка времени отклика цепочек задач в распределенных системах реального времени
Тр. СПИИРАН, 23 (2012), 134–156
-
Проверка корректности логической структуры многозадачных программных приложений
Известия Кабардино-Балкарского научного центра РАН, 2011, № 1, 213–216
-
Маршрутные сети – графический формализм представления структуры программных приложений реального времени
Тр. СПИИРАН, 14 (2010), 7–28
-
Спецификация средствами языка XML системы интерфейсов в приложениях реального времени
Тр. СПИИРАН, 11 (2009), 159–175
-
Метод интеграции внешних компонент в инструментальную систему в условиях ограниченных возможностей модификации исходного кода
Тр. СПИИРАН, 8 (2009), 285–291
© , 2024