Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Система визуализации для авиационной ОС реального времени JetOS Аннотация  PDF (Rus)  похожие документы
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 32, № 2 (2020) Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes Аннотация  похожие документы
Анастасия Сергеевна ШЕМЯКИНСКАЯ, Игорь Валерьевич НИКИФОРОВ
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
 
Том 31, № 6 (2019) Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах Аннотация  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) Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 Аннотация  похожие документы
Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
 
Том 32, № 3 (2020) Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» Аннотация  похожие документы
Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС
 
Том 32, № 4 (2020) Совершенные множества путей в полном графе коммутаторов SDN-сети Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
 
1 - 24 из 24 результатов

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

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