Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 5 (2020) Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM Аннотация  PDF (Rus)  похожие документы
Александр Викторович ШМИД
 
Том 32, № 5 (2020) Применение метода неинвазивного оценивания нарушений углеводного обмена при скрининге населения Аннотация  похожие документы
Андрей Александрович БЕРЕЗИН, Роман Сергеевич НОВИКОВ, Максим Александрович НОВОПАШИН, Борис Аронович ПОЗИН, Александр Викторович ШМИД
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
 
Том 32, № 6 (2020) О разработке Оберон-системы с заданными свойствами эргодичности Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ДАГАЕВ
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
 
Том 26, № 6 (2014) К минимизации автоматов с таймаутами Аннотация  PDF (Rus)  похожие документы
Александр Твардовский
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
 
Том 32, № 3 (2020) Рекомендательная система на основе действий пользователей в социальной сети Аннотация  похожие документы
Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ
 
Том 32, № 3 (2020) Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Аннотация  PDF (Rus)  похожие документы
Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР
 
Том 24 (2013) Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB Аннотация  PDF (Rus)  похожие документы
Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
 
Том 32, № 5 (2020) Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера Аннотация  PDF (Rus)  похожие документы
Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ
 
Том 28, № 2 (2016) Refinement типы для языка Jolie Аннотация  похожие документы
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
 
Том 32, № 2 (2020) О минимизации инициальных автоматов с таймаутами Аннотация  похожие документы
Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
 
Том 27, № 6 (2015) Распределенные системы хранения данных: анализ, классификация и варианты выбора Аннотация  PDF (Rus)  похожие документы
Александр Тормасов, Анатолий Лысов, Эмиль Мазур
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
 
Том 31, № 1 (2019) Определение ограничений облачной платформы на миграцию ресурсов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Чадин, Григорий Андреевич Бизюкин
 
Том 31, № 4 (2019) Средства трассировки ОС РВ семейства «Багет» Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Годунов, Федор Николаевич Чемерев
 
Том 31, № 4 (2019) Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Аннотация  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
 
Том 32, № 4 (2020) Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений Аннотация  PDF (Rus)  похожие документы
Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ
 
Том 32, № 6 (2020) Обзор методов классификации сетевого трафика с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
 
Том 27, № 3 (2015) Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» Аннотация  PDF (Rus)  похожие документы
Лариса Зеленко, Дмитрий Конопелькин, Виталий Иванов, Александр Григорьев, Александр Семенов, Михаил Савачаев, Ефим Поберёзкин
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
 
Том 31, № 6 (2019) Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
 
1 - 42 из 55 результатов 1 2 > >> 

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

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