Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... Запутывание потока управления является одним из наиболее распространенных способов защиты бинарного ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... инструментарий для исследования концепции магнитогидродинамического управления потоком и его возможных применений ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... обработка; 2) построение графа потока управления; 3) трансформация графа потока управления в решающую ..."
 
Том 31, № 2 (2019) Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках Аннотация  PDF (Rus)  похожие документы
Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал
"... как потоки научных работ. Потоки научных работ являются приложениями, интенсивно использующими данные ..."
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... В работе создана модель схода лавинного потока в пакете OpenFOAM, где лавина смоделирована как ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
"... В статье рассматривается коммутатор, функционирующий под управлением протокола OpenFlow 1 ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... других анализов. Формально поставлены три задачи анализа потока данных: анализ интервалов значений ..."
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... ++, разработанного в ИСП РАН для поиска критических ошибок и уязвимостей. Применение межпроцедурного анализа потока ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
"... статического анализа. Основной идеей подхода является абстракция от точного взаимодействия потоков и анализ ..."
 
Том 30, № 5 (2018) Формализация метамодели системы управления требованиями Аннотация  PDF (Rus)  похожие документы
Д. С. Кильдишев, А. В. Хорошилов
"... В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями ..."
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... обычно предоставляют языки, основанные на модели потока управления, и сложными индустриальными средами ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... поддерживается восстановление потоков данных, а также проведение их дальнейшего разбора. Тем самым обеспечивается ..."
 
Том 26, № 3 (2014) Статический поиск ошибок повторной блокировки семафора Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин
"... терминах анализа потока данных. При анализе элементы домена используются в качестве свойств потока данных ..."
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..."
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... . Предложенное представление основано на гиперграфе и позволяет реализовать ручной анализ потока данных на ..."
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
"... выделенного набора типовых задач формируется методика рассмотрения и оценки инструментов управления ..."
 
Том 31, № 1 (2019) Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев
"... математическую модель взаимодействия потоков воздуха с подвижными частями прибора для недавно созданного ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... валидации и обеспечения возможности управления данными в соответствии с принципами ACID. ..."
 
Том 26, № 6 (2014) Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга Аннотация  PDF (Rus)  похожие документы
Х. Лопез, С. Мааг, Ж. Моралес
"... сетевого он-лайн мониторинга. Предложенная оценка предоставляет системам управления, основанным на «мягком ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..."
 
Том 31, № 2 (2019) Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» Аннотация  похожие документы
Андрей Николаевич Черных, Аллел Хаджали
"... данные планирование, потоки научных работ, облачные вычисления, эволюционные алгоритмы, сети ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... разработки иерархической интегрированной модели управления доступом и информационных потоков (hierarchical ..."
 
Том 26, № 5 (2014) Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде Аннотация  PDF (Rus)  похожие документы
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин
"... , обеспечивающие эффективное управление комбинированными потоками заданий масштабируемых сервис-ориентированных ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... : основанным на теории очередей и основанным на теории управления. В центре внимания находятся возможности этих ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... В данной статье представлен подход к автономной верификации блока управления памятью ввода / вывода ..."
 
Том 26, № 2 (2014) Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... управления сложными объектами на основе прецедентов. В ситуации, когда трудно или невозможно получить точную ..."
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
"... Многие специалисты в области управления данными считают, что появление доступной для практического ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... в частности. Приведено обоснование важности и актуальности использования дисциплины управления ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... вариабельности существующих, новых ПС и их семейств. Определена новая концепция управления вариабельностью с ..."
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
"... Эффективное управление проектами предполагает использование развитых методов календарно-сетевого ..."
 
Том 32, № 3 (2020) Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Аннотация  PDF (Rus)  похожие документы
Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР
"... трафика главной дорожной сети города Хамедан на основе данных о скорости, собранных системой управления ..."
 
Том 32, № 2 (2020) Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Аннотация  похожие документы
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... В статье представлено описание модели управления доступом на языке темпоральной логики действий ..."
 
1 - 40 из 49 результатов 1 2 > >> 

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

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