Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... Вполне структурированные системы переходов являются хорошо известным инструментом для ..."
 
Том 28, № 6 (2016) Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок ..."
 
Том 27, № 5 (2015) Метод легковесного статического анализа для поиска состояний гонок Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... В этой статье представлен подход легковесного статического анализа к поиску состояний гонок ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
"... было сделано с использованием теории адаптивного статического анализа. Это позволило сформулировать ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... используются процессоры с большим числом ядер. Эффективная программная реализация на подобных вычислительных ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... моделей, связанного с изученным классом моделей программ без процедур, строится полная система ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... Нечеткие числа используются в задачах моделирования для учета лингвистической неопределенности ..."
 
Том 24 (2013) Роль предыстории при оценке сложного объекта в управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Построение системы управления для нестационарных объектов - это дальнейшее развитие подхода к ..."
 
Том 30, № 1 (2018) Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Аннотация  PDF (Rus)  похожие документы
М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур
"... , реализующих принцип SIMD. Приведен пример реализации генератора LFSR113 с использованием расширения AVX512 ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... кодами с суммированием взвешенных переходов. Сформирован алгоритм синтеза системы функционального ..."
 
Том 29, № 3 (2017) Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Аннотация  PDF (Rus)  похожие документы
Ю. А. Солоделов, Н. К. Горелиц
"... JetOS - перспективная бортовая операционная система реального времени (ОСРВ), разработка которой в ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Системы поддержки принятия решений, в которых результаты вывода по правилам дополняют результаты ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... с международными и отечественными отраслевыми стандартами, нормативными документами, такими как КТ ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... с помощью получения и использования профильной информации об исполнении программы, такую работу ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... эксперименты с конечными автоматами, в то время как для идентификации начального состояния системы используются ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... В статье рассматривается подход к поиску состояний гонки в многопоточных программах на языке Java ..."
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... время повторного поиска дефектов для языков СС++. Для этого используется свойство малого отношения ..."
 
Том 30, № 3 (2018) Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Аннотация  PDF (Rus)  похожие документы
В. Ю. Трифанов
"... Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении ..."
 
Том 27, № 6 (2015) Распределенные системы хранения данных: анализ, классификация и варианты выбора Аннотация  PDF (Rus)  похожие документы
Александр Тормасов, Анатолий Лысов, Эмиль Мазур
"... классифицировать системы на основе разных параметров, в частности, при наличии или отсутствии специфических функций ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... Система команд – это стержень, вокруг которого строится весь остальной процессор. Ошибки или ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... Большая часть стандартных для программирования задач - например, соединение с базой данных ..."
 
Том 32, № 3 (2020) Генерация кодов для вещественной арифметики в архитектуре MIPS Аннотация  похожие документы
Иван Сергеевич АРХИПОВ
"... является частью проекта «RuC». В ней рассматривается только генерация кодов для операций с числами с ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... оборудования или обратной разработки. Реализация алгоритмов, связанных с конкретным устройством, сама по себе ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... отыскании оптимального множества маршрутов для транспортных средств с целью однократного обслуживания ..."
 
Том 31, № 4 (2019) Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Аннотация  PDF (Rus)  похожие документы
Антон Сергеевич Нужный
"... В статье рассматривается задача обучения с учителем: требуется восстановить зависимость ..."
 
Том 31, № 5 (2019) Примеры использования машинного обучения в кибербезопасности Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... обработки текста на естественном языке в диалоговых системах. Применение в препроцессоре ассоциаций ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для ..."
 
Том 27, № 5 (2015) Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... Разработанная в ИСП РАН программная система Unihub является облачной вычислительной системой типа ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... Встраиваемые системы с гетерогенной архитектурой, рассматриваемые в данной работе, состоят из ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... взаимодействия с оборудованием и реагирования на сигналы. Современные микропроцессорные системы прерываний ..."
 
Том 22 (2012) Системы рекомендаций: обзор современных подходов Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, А. В. Коршунов
"... Статья представляет собой обзор основных алгоритмов, использующихся в системах рекомендаций ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
 
Том 29, № 4 (2017) Использование модульного подхода во встраиваемых операционных системах Аннотация  похожие документы
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов
"... Современные операционные системы для встроенных систем могут использоваться для решения задач ..."
 
Том 30, № 1 (2018) Принципы построения системы обеспечения жизненного цикла ответственных систем Аннотация  похожие документы
Б. А. Позин
"... цикле ответственных систем. Этот комплекс получил название система обеспечения жизненного цикла (СОЖЦ ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..."
 
1 - 40 из 159 результатов 1 2 3 4 > >> 

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

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