Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... исследований и разработок в ИСП РАН - технологии анализа, моделирования и трансформации программ. Все эти ..."
 
Том 28, № 6 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... , моделирования и трансформации программ, технологии распределенных систем, анализу текстов на естественных языках ..."
 
Том 26, № 5 (2014) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... российской академии наук. В 2014 г. конференция была посвящена различным аспектам технологий параллельных и ..."
 
Том 22 (2012) Восстановление структуры бинарных данных по трассам программ Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, А. И. Гетьман
"... к решению данной задачи, а также описывается реализация этих подходов в рамках системы ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... возможностей. Традиционно для этих целей используются дизассемблеры и средства статического анализа потоков ..."
 
Том 22 (2012) Перспективы виртуализации высокопроизводительных систем архитектуры x64 Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян
"... и Palacios, в качестве тестовых пакетов используются HPC Challenge и NAS Parallel Benchmarks ..."
 
Том 20 (2011) Развитие taint-анализа для решения задачи поиска программных закладок Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... свойств исследуемого ПО. Это могут быть и описания реализуемых алгоритмов, и информация о структурах ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... особенности целевой аппаратуры и наиболее вероятный сценарий использования, необходимо применять методы ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..."
 
Том 27, № 5 (2015) Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Аннотация  PDF (Rus)  похожие документы
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... пользователя и особенностей его целевой машины, а также организовывать развертывание программ в облачном ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... В статье предлагается метод планирования команд и конвейеризации циклов, основанный на расширяемой ..."
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
"... мы можем наблюдать публикацию различной информации и ее дальнейшее распространение через новостные ..."
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... на облачной платформе OpenStack и системе виртуализации KVM/QEMU. Компоненты системы ВСК доработаны ..."
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..."
 
Том 27, № 6 (2015) Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Аннотация  PDF (Rus)  похожие документы
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов
"... В этой статье мы описываем энергосберегающие онлайн-расписания вычислительных задач и механизмы ..."
 
Том 28, № 6 (2016) Применение облачных вычислений для анализа данных большого объема в умных городах Аннотация  PDF (Rus)  похожие документы
Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко
"... местоположения автобусов, и оценка мобильности пассажиров при помощи анализа истории покупок билетов с ..."
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
"... программ на языках Си и Си++. Цель Svace - найти как можно больше ошибок при низком количестве ложных ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... конкретную задачу и аппаратуру во время выполнения. Показана оптимизация умножения разреженных матриц на GPU ..."
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... ++, разработанного в ИСП РАН для поиска критических ошибок и уязвимостей. Применение межпроцедурного анализа потока ..."
 
Том 31, № 5 (2019) Методы оценки популярности новостных материалов на ранних стадиях Аннотация  похожие документы
Арам Арутюнович Аветисян, Михаил Дробышевский, Денис Юрьевич Турдаков
"... наша модель повышает точность и точность прогнозирования популярности новостных сообщений. ..."
 
Том 26, № 1 (2014) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
"... обфусцирующем компиляторе на базе LLVM. Приводится оценка замедления и увеличения объема потребляемой памяти. ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... процессорной архитектуры на примере открытых компиляторов GCC и LLVM. Приводятся примеры выполненных ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... проекта, так и из других проектов. Ввиду возможного содержания ошибки в исходном фрагменте это может ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... возможностям статического анализатора были отнесены межпроцедурный путе- и контекстно-чувствительный анализ, а ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... Статья описывает разработку и тестирование модификации решателя для гиперзвукового реагирующего ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... исследованиях. На основе центральных разностных схем Балбаса и Тадмора был разработан OpenFOAM-солвер, способный ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... В статье рассмотрена проблема сохранности переписки при передаче и пути решения этой проблемы ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... методы исследования и улучшения бизнес-процессов. Спецификой методов process mining является то, что они ..."
 
Том 28, № 5 (2016) Оптимизация читаемости тестов порождаемых при символьных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... контроля качества ПО, и его недостаток может приводить к финансовым потерям. При систематическом подходе ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... или в каждой вершине, а также, если необходимо, разметке графа (его вершин и/или рёбер). Акцент сделан ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..."
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с ..."
 
Том 29, № 5 (2017) Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Аннотация  похожие документы
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов
"... критичных с точки зрения информационной безопасности, а, с другой стороны, проведение базовых атак на ..."
 
1 - 38 из 418 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

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

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