Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Система визуализации для авиационной ОС реального времени JetOS Аннотация  PDF (Rus)  похожие документы
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский
 
Том 29, № 3 (2017) Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Аннотация  PDF (Rus)  похожие документы
Ю. А. Солоделов, Н. К. Горелиц
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
 
Том 31, № 4 (2019) Симуляция сетей Петри с ингибиторными дугами и дугами сброса Аннотация  похожие документы
Павел Алексеевич Перцухов, Алексей Александрович Мицюк
 
Том 31, № 5 (2019) Проактивная разметка примеров для адаптации к домену Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Рындин, Денис Юрьевич Турдаков
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
 
Том 31, № 1 (2019) Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев
 
Том 32, № 4 (2020) Использование доменно-состязательного обучения для распознавания текстовых капч Аннотация  PDF (Rus)  похожие документы
Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
 
Том 32, № 4 (2020) Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети Аннотация  PDF (Rus)  похожие документы
Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ
 
Том 32, № 4 (2020) Модели процессов, сопровождающих кристаллизацию переохлажденных капель Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
 
1 - 17 из 17 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)