Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
 
Том 31, № 5 (2019) Методы кросс-языкового поиска похожих документов Аннотация  похожие документы
Денис Владимирович Зубарев, Илья Владимирович Соченков
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
 
Том 32, № 4 (2020) Использование синтетических данных для тонкой настройки моделей сегментации документов Аннотация  PDF (Rus)  похожие документы
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ
 
Том 32, № 4 (2020) Извлечение логической структуры из сканированных документов Аннотация  PDF (Rus)  похожие документы
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
 
Том 26, № 1 (2014) Анализ социальных сетей: методы и приложения Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
 
Том 32, № 3 (2020) Рекомендательная система на основе действий пользователей в социальной сети Аннотация  похожие документы
Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ
 
Том 32, № 3 (2020) Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Аннотация  PDF (Rus)  похожие документы
Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР
 
Том 24 (2013) Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB Аннотация  PDF (Rus)  похожие документы
Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
 
Том 32, № 1 (2020) Система визуализации для авиационной ОС реального времени JetOS Аннотация  PDF (Rus)  похожие документы
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский
 
1 - 16 из 16 результатов

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

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