|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Труды Института системного программирования РАН (электронный журнал)журнал
Индексирование:
Список ВАК (1 января 1970 г.-),
Список РИНЦ (1 января 1970 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-)
Период активности журнала:
не указан
- Другие названия журнала: Труды ИСП РАН, Труды Института системного программирования (электронный журнал), Труды Института системного программирования РАН(электронный журнал)показать полностью...
- ISSN: 2220-6426 (Electronic), 2079-8156 (Print)
Редколлегия
- Кузнецов Сергей Дмитриевич, с 1 января 2010
- Гайсарян Сергей Суренович, с 1 января 2010
- Петренко Александр Константинович, с 1 января 2010
- Аветисян Арутюн Ишханович, с 1 января 2010
- Карпов Леонид Евгеньевич, с 1 января 2010
- Иванников Виктор Петрович, 1 января 2010 - 1 января 2017
Статьи, опубликованные в журнале
стиль:
обычный |
ГОСТ |
plain |
abbrv |
acm |
alpha |
amsalpha |
amsplain |
apalike |
ieeetr |
siam
-
- 2020 В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти
- Кузнецов С.Д.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 153-180 DOI
-
- 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
- Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
-
- 2020 Система визуализации для авиационной ОС реального времени JetOS
- Барладян Б.Х., Шапиро Л.З., Маллачиев К.А., Хорошилов А.В., Солоделов Ю.А., Волобой А.Г., Галактионов В.А., Ковернинский И.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 57-70 DOI
-
- 2019 Автоматизированное тестирование фронтенда транслятора TCG для Qemu
- Колтунов Д.С., Ефимов В.Ю., Падарян В.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 7-24 DOI
-
- 2019 Автоматизированное тестирование фронтенда транслятора TCG для Qemu
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 7-24
-
- 2019 Анализ характера изменений программ и поиск неисправленных фрагментов кода
- Арутюнян М.С., Иванов Г.С., Варданян В.Г., Асланян А.К., Аветисян А.И., Курмангалеев Ш.Ф.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 1, с. 49-58 DOI
-
- 2019 Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
- Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 65-88 DOI
-
-
- 2019 Методы идентификации человека по походке в видео
- Соколова А.И., Конушин А.С.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 1, с. 69-82 DOI
-
- 2019 Методы оценки популярности новостных материалов на ранних стадиях
- Аветисян А.А., Дробышевский М., Турдаков Д.Ю.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 137-144 DOI
-
-
- 2019 Поиск конфликтов доступа к данным в HDL-описаниях
- Камкин А.С., Лебедев М.С., Смолов С.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 3, с. 135-144
-
- 2019 Поиск уязвимостей при помощи статического анализа помеченных данных
- Шимчик Н.В., Игнатьев В.Н.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 3, с. 177-190 DOI
-
- 2019 Проактивная разметка примеров для адаптации к домену
- Рындин М.А., Турдаков Д.Ю.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 145-152 DOI
-
- 2019 Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
- Бугеря А.Б., Ефимов В.Ю., Кулагин И.И., Падарян В.А., Соловьев М.А., Тихонов А.Ю.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 33-64 DOI
-
- 2019 Проектирование интерфейсов классов графовой модели нейронной сети
- Карпов Ю.Л., Волкова И.А., Вылиток А.А., Карпов Л.Е., Сметанин Ю.Г.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 4, с. 97-112 DOI
-
- 2019 Управление требованиями к ответственным системам. Обзор решений
- Горелиц Н.К., Кильдишев Д.С., Хорошилов А.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 1, с. 25-48 DOI
-
-
-
- 2018 Автоматизированная генерация декодеров машинных команд
- Fokina N.Yu, Solovev M.A.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 2, с. 65-80 DOI
-
- 2018 Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
- Gilyazev R.A., Turdakov D.Y.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 2, с. 215-250
-
-
- 2018 Динамическая верификация контроллеров шин систем-на-кристалле
- Чупилко М.М., Дроздова Е.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 4, с. 129-138 DOI
-
-
- 2018 Исследовательский поиск научных статей
- Недумов Я.Р., Кузнецов С.Д.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 171-198 DOI