Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... Работа операционной системы лежит в основе функционирования любой компьютерной системы. Сбои и ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... современных микропроцессорных системах существует множество контроллеров, работающих с собственными типами ..."
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... трансляций. Рассмотрены особенности реализации эталонной модели. Описаны эталонная модель и тестовая система ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... верификации ядра операционной системы на основе формальных спецификаций. ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... моделей, связанного с изученным классом моделей программ без процедур, строится полная система ..."
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... : информационная система проведения научных конференций, используемая многократно при проведении конференции ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... тестирования ПС, ОС и их семейств. Ключевые слова: модель вариабельности; программная система; семейство систем ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... Последовательные реагирующие системы - это программы, которые взаимодействуют с окружением, получая ..."
 
Том 27, № 6 (2015) Модель проблемно-ориентированной облачной вычислительной среды Аннотация  PDF (Rus)  похожие документы
Г. И. Радченко
"... модели предметной области и проблемно-ориентированной облачной вычислительной среды, ориентированные на ..."
 
Том 27, № 6 (2015) Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Аннотация  PDF (Rus)  похожие документы
Ю. Н. Матвеев, Н. А. Стукалова
"... изменения концентрации опасной примеси в произвольной точке пространства и приведены математические модели ..."
 
Том 23 (2012) Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных Аннотация  PDF (Rus)  похожие документы
А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников
"... данных дистанционного зондирования в интересах наук о Земле. . Информационная система ориентирована на ..."
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... В статье представлено описание модели управления доступом на языке темпоральной логики действий ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... Современные микропроцессорные системы обычно включают сложную иерархию кэш-памяти. Протоколы ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... В статье представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... применения различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model ..."
 
Том 32, № 3 (2020) Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Аннотация  PDF (Rus)  похожие документы
Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР
"... основе современных компьютерных моделей, шаблонов и архитектур. Популяризация систем для поддержки ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... распределенных системах. Дается характеристика широко распространенных и внедренных в практику систем со спектром ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... свойства, специфичные для кэш-памятей, и метод поддержки согласованности состояния памяти в системе на ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... и итеративной разработки. При верификации программ или их моделей наличие нескольких уровней ..."
 
Том 30, № 5 (2018) Формализация метамодели системы управления требованиями Аннотация  PDF (Rus)  похожие документы
Д. С. Кильдишев, А. В. Хорошилов
"... В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями ..."
 
Том 27, № 6 (2015) Распределенные системы хранения данных: анализ, классификация и варианты выбора Аннотация  PDF (Rus)  похожие документы
Александр Тормасов, Анатолий Лысов, Эмиль Мазур
"... классифицировать системы на основе разных параметров, в частности, при наличии или отсутствии специфических функций ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... и отсутствие единого стандарта как в области теории (исчисление объектов, концепции моделей данных ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... информационных системах. Модели используются для представления связей между объектами или событиями в рамках ..."
 
Том 29, № 6 (2017) Моделирование смешанной конвекции над горизонтальной пластиной Аннотация  похожие документы
М. Н. Никитин
"... четырех численных моделей на базе рейнольдсовых, вихревых и вязкостных моделей турбулентности. Основным ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Большие программные системы всегда создаются достаточно долго, в несколько этапов, это приводит к ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... этой проблемы является „обещающая“ модель памяти. Для того, чтобы некоторая модель могла быть ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..."
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... операционным системам» в работе анализируются пути выполнения требований функциональной компоненты ADV_SPM.1 ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... Современные операционные системы реального времени являются сложным продуктом, разрабатываемым ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... Выявляется взаимное влияние характеристик на показатели системы, части, устройства посредством ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... генерации используется инфраструктура GRAPHITE компилятора GCC, использующая полиэдральную модель для ..."
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... моделей в задачах вычислительной метеорологии. К таким задачам относится, в частности, задача обоснования ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..."
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... Система команд – это стержень, вокруг которого строится весь остальной процессор. Ошибки или ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... .0 (объектная модель ODMG) и SQL:2003 (модель данных SQL) и убедительно (как мне тогда казалось) доказывал, что ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... , включающие недостаточные выразительные возможности моделей, используемых для реализации редакторов визуальных ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... обработки текста на естественном языке в диалоговых системах. Применение в препроцессоре ассоциаций ..."
 
1 - 44 из 230 результатов 1 2 3 4 5 6 > >> 

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

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