Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... Анализ помеченных данных неоднократно пытались применять для исследования безопасности бинарного ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... динамического анализа Avalanche, для направленной генерации входных данных программы с целью достижения заранее ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... , доступную только во время выполнения запроса. В данной работе рассматривается метод динамической компиляции ..."
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
 
Том 19 (2010) Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора Аннотация  PDF (Rus)  похожие документы
И. И. Каретин, В. А. Макаров
"... предлагается метод автоматизированного восстановления формата данных, базирующийся на динамическом анализе ..."
 
Том 19 (2010) Восстановление формата данных Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин
"... предлагается метод автоматизированного восстановления формата данных, базирующийся на динамическом анализе ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... проверок. Одно из решений — динамическая компиляция запросов, которая оправдана только в том случае, когда ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... динамической и адаптивной оптимизации. Исследование таких методов удобно проводить в компиляторной ..."
 
Том 32, № 1 (2020) Большие данные: аналитические решения, исследовательские задачи и тенденции Аннотация  похожие документы
Ноаман Мухаммед Али, Борис Асенович Новиков
"... Термин «большие данные» относится к объемным коллекциям цифровых данных, генерируемых каждую ..."
 
Том 21 (2011) Эвристическое моделирование данных в информационных системах Аннотация  PDF (Rus)  похожие документы
Мартин Давтян
"... данные и используют эвристические методы для формирования гипотез относительно возможной структуры ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... динамическом анализе. Для каждого пути выполнения программы предлагаемый метод проверяет корректность операций ..."
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
"... потребность в автоматических инструментах выявления ошибок в разработанных программах. В рамках данной статьи ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
"... В статье представлен новый подход для генерации эффективных входных данных для фазз тестирования ..."
 
Том 24 (2013) Распределенные горизонтально масштабируемые решения для управления данными Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. В. Посконин
"... В современном мире всё острее встает проблема работы с огромными объемами данных и большими ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... теории баз данных, наряду с дедуктивными и темпоральными СУБД. Тем не менее, серьёзным препятствием к ..."
 
Том 31, № 4 (2019) Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Аннотация  PDF (Rus)  похожие документы
Денис Владимирович Силаков
"... инструментарий для администрирования и использования распределенного хранилища данных. Возникновение ошибок ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... основном используется многоуровневая динамическая компиляция. В данной работе описываются разработанные ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... невозможность доступа к динамическим данным в ходе выполнения программы и некоторым методам системных классов ..."
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... анализа. В данной статье мы предлагаем комбинированный подход, заключающийся в применении динамического ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... является плагин. Существующие подходы (RTKDSM, DECAF) получают данные из операционной системы с помощью ..."
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... В данной статье рассматривается задача автоматического поиска ошибок синхронизации при проведении ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... Использование динамического анализа для понимания поведения программы является распространенной ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
"... QEMU - эмулятор аппаратного обеспечения, использующий динамическую двоичную трансляцию в своей ..."
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... Данная статья посвящена вопросам проведения анализа программ интерпретируемых языков ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... при помощи динамического анализа. Преимущества динамического анализа заключаются в отсутствии ложных ..."
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... производится во время выполнения программы, то она называется динамической двоичной трансляцией. В данной ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... . Для задач моделирования комбинированных динамических систем (КДС) типичен значительный ресурс ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..."
 
Том 32, № 3 (2020) Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 Аннотация  похожие документы
Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ
"... генерации огромного количества данных, которые сейчас обычно называют «большими данными». При таком сценарии ..."
 
Том 20 (2011) Нацеленная генерация данных для тестирования приложений над базами данных Аннотация  PDF (Rus)  похожие документы
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов
"... Приложения, обрабатывающие большие массивы данных, являются широко распространенным типом ..."
 
Том 29, № 2 (2017) Управление данными: 25 лет прогнозов Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... В октябре 2013 г. состоялась восьмая встреча исследователей в области баз данных. Первая подобная ..."
 
1 - 39 из 136 результатов 1 2 3 4 > >> 

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

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