Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..."
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
"... диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... Запросы по исходному коду программ помогают разработчикам обнаруживать искомые фрагменты кода и ..."
 
Том 31, № 3 (2019) Графический DSL для разработки мобильных приложений Аннотация  похожие документы
Артур Владимирович Гудиев, Александра Сергеевна Гражевская
"... . Графические предметно-ориентированные языки (DSL) облегчают разработку  программ путем применения абстракций ..."
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
"... потребность в автоматических инструментах выявления ошибок в разработанных программах. В рамках данной статьи ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... за счет добавления к среде разработки средств разметки сквозной функциональности. Разметка ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... На примере двух моделей программ показано, что задача оптимизации размера программ может быть ..."
 
Том 29, № 3 (2017) Обзор подходов к улучшению качества результатов статического анализа программ Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов
"... программиста, предназначенных для анализа программ. Отрасль создания инструментальных средств статического и ..."
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... Существенная часть программного обеспечения написана на языках программирования C/C++. Программы на ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... В настоящее время в промышленной разработке программного обеспечения с графическим пользовательским ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... возможности анализа и тестирования программ, и выделены средства GUITAR и Coffee Machine, совмещение которых ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... Логико-термальная эквивалентность программ - это одно из наиболее слабых отношений эквивалентности ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... Автоматическое обнаружение ошибок в программах является крайне востребованным направлением ..."
 
Том 27, № 2 (2015) Использование многопоточных процессов в среде ParJava Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... В работе описывается подход, применяемый в ParJava по разработке многопроцессно-многопоточных (МПМП ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... инструментария аналитик лишается необходимой поддержки и вынужден самостоятельно заниматься разработкой ..."
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
"... разработке нового решателя iceFoam в составе открытого пакета OpenFOAM v1912 для моделирования процесса ..."
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... Рассмотрены особенности и проблемы эффективного создания в 70-е годы сложных комплексов программ ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... Язык JavaScript является одним из самых популярных языков для разработки веб-приложений. В связи с ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... примеров ошибочных программ. Наборы тестов очерчивают круг ситуаций, которые необходимо поддержать в ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
 
Том 30, № 2 (2018) Распараллеливание реализаций сугубо последовательных алгоритмов Аннотация  PDF (Rus)  похожие документы
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
"... Работа посвящена теме распараллеливания программ в особо сложных случаях - когда используемый ..."
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... Реляционное программирование является подходом, позволяющим исполнять программы в различных ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... программы, запутанного комбинацией различных преобразований - от вставки недостижимого кода с помощью ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... циклов без зависимостей по данным между итерациями для программ на языках Си, Си++ и Фортран. Для ..."
 
Том 21 (2011) Применение алгебры подстановок для унификации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... инструментальное средство, позволяющее обнаруживать фрагменты программ, имеющие сходное поведение. Современные ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... Данная статья посвящена вопросам проведения анализа программ интерпретируемых языков ..."
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... Двоичная трансляция - это процесс получения по заданной программе P программы Q, удовлетворяющей ..."
 
Том 31, № 6 (2019) О возможности стойкой обфускации программ в одной модели облачных вычислений Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров
"... , использующей криптосерверы, для обфускации программ. Ранее эта модель облачных вычислений была предложена нами ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... алгоритм обработки результатов профилирования программы с помощью встроенных средств профилирования ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... В данной работе описан инструмент автоматической генерации тестовых программ для подсистем ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... Рассматриваемые в этой статье алгебраические модели программ являются обобщением двух моделей ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... разработке по КТ-178С как основной источник критериев для осуществления выбора инструментального средства ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... время как известные техники обратной разработки обычно используют исходный программный код, который ..."
 
1 - 40 из 83 результатов 1 2 3 > >> 

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

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