Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..."
 
Том 31, № 5 (2019) Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Аннотация  PDF (Rus)  похожие документы
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко
"... прогнозирования времени завершения вычислительного эксперимента в Desktop Grid. Мы предлагаем статистический ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... команд, включая спекулятивное и условное выполнение. Компонент использования параллелизма заключается в ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... Условное выполнение - аппаратная возможность, реализованная в некоторых процессорах, позволяющая ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... В статье рассматривается задача оценки объема трудозатрат на проектирование функциональных ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..."
 
Том 28, № 5 (2016) Формализация определения ошибок при статическом символьном выполнении Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев
"... кода, основанном на символьном выполнении. При использовании методов символьного выполнения для ..."
 
Том 25 (2013) Оценка эффективности минимизации ограничений запросов к СУБД Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович, С. Д. Кузнецов
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... В статье рассматривается метод оценки эксплуатируемости программных дефектов. Применение данного ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... переполнения буфера на стеке и его применение к задаче оценки критичности ошибок в программном обеспечении ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... интерпретация последовательности машинных инструкций, выполненных за время работы программы. Рассматриваются ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... которых основывается на атрибуте времени совершения операции. В завершении статьи приведено краткое ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... динамического анализа и символьного выполнения. Метод применяется к бинарным файлам программ без дополнительной ..."
 
Том 28, № 1 (2016) Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Аннотация  PDF (Rus)  похожие документы
А. В. Дергачёв, А. В. Сидорин
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... . Предлагаемый метод использует символьное выполнение и применяется к бинарным файлам программ, не требуя какой ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... время запуска приложений за счет выполнения оптимизаций на этапе предварительной компиляции ..."
 
Том 32, № 2 (2020) Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Аннотация  похожие документы
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР
"... выполнение проекта. Изложены подходы и показан процесс решения задачи бинарной классификации проектов с ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... выполнения для создания машинного кода. При компиляции во время выполнения нецелесообразно выполнение сложных ..."
 
Том 23 (2012) О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью Аннотация  PDF (Rus)  похожие документы
С. Н. Жук
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... работы процессора при конкретной и абстрактной интерпретации и символьном выполнении. ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... создания контролируемой среды выполнения до подготовки высокоуровневого описания интересующего алгоритма ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... реляционных СУБД используется различные модели выполнения, которые отличаются характеристиками, но так или ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... уступающую традиционным декодерам, с учетом времени разбора спецификации и формирования служебных структур ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..."
 
Том 32, № 2 (2020) О минимизации инициальных автоматов с таймаутами Аннотация  похожие документы
Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО
"... . Поскольку поведение современного программного и аппаратного обеспечения зачастую зависит от временных ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... выполнены независимо и параллельно. Масштабирование оптимизаций времени связывания - непростая задача, так ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... . Для описания поведения систем реального времени модель конечного автомата может быть расширена ..."
 
Том 31, № 4 (2019) Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Аннотация  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... зависит от времени, классическая модель конечного автомата расширяется введением временных переменных ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... времени JetOS, созданной для гражданских авиационных систем. Она предназначена для работы в рамках ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для ..."
 
Том 30, № 1 (2018) О возможностях автоматного описания параллельной композиции временных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, А. В. Лапутенко
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..."
 
Том 28, № 6 (2016) Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин
"... Одним из главных вопросов при решении задачи классификации временных рядов является выбор меры ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... подходов для оценки ключевого параметра качества обслуживания - времени отклика приложения. ..."
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... Повторяемость во временных данных это важное свойство, которое может быть использовано во многих ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... Одним из важнейших аспектов функционирования систем реального времени является планирование задач ..."
 
1 - 39 из 67 результатов 1 2 > >> 

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

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