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)  похожие документы
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... на облачной платформе OpenStack и системе виртуализации KVM/QEMU. Компоненты системы ВСК доработаны ..."
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..."
 
Том 27, № 6 (2015) Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Аннотация  PDF (Rus)  похожие документы
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов
"... В этой статье мы описываем энергосберегающие онлайн-расписания вычислительных задач и механизмы ..."
 
1 - 13 из 13 результатов

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

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