Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 4 (2022) Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики Аннотация  похожие документы
Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ
"... Статический анализ исходного кода программ широко используется для обнаружения ошибок. В основном ..."
 
Том 34, № 1 (2022) Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Аннотация  PDF (Rus)  похожие документы
Александр Викторович СУРЧЕНКО
"... межпроцессорных каналах памяти процессоров с архитектурой Эльбрус с целью увеличения производительности подсистемы ..."
 
Том 33, № 6 (2021) Kotlin с точки зрения разработчика статического анализатора Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... В статье описывается статический анализатор для поиска ошибок и анализа метрик и отношений в ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... При полносистемном анализе бинарного кода зачастую применяется динамический бинарный анализ, при ..."
 
Том 34, № 4 (2022) Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа Аннотация  PDF (Rus)  похожие документы
Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ
"... В статье рассматриваются алгоритмы статического анализа, которые направлены на поиск трех типов ..."
 
Том 33, № 6 (2021) Модель и декларативный язык спецификации бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН
"... совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная ..."
 
Том 34, № 4 (2022) Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС Аннотация  PDF (Rus)  похожие документы
Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН
"... программного кода инструментальные средства статического анализа выдают колоссальное количество предупреждений ..."
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
"... , анализ социальных сетей и медиа (Social Network Analysis, SNA). Во многом это связано со свойствами ..."
 
Том 34, № 2 (2022) Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок Аннотация  PDF (Rus)  похожие документы
Федор Владимирович КРАСНОВ, Ирина Сергеевна СМАЗНЕВИЧ, Елена Николаевна БАСКАКОВА
 
Том 34, № 4 (2022) Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Василий Иванович КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Юрий Витальевич МАРКИН, Дмитрий Олегович ОБЫДЕНКОВ
"... анализу, а также отсутствие значительных статистических отклонений в распределении анализируемых ..."
 
Том 34, № 4 (2022) Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений Аннотация  похожие документы
Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ
"... вариантов решений лицами, принимающими решения, и привлеченными экспертами. Во многих случаях для анализа ..."
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
 
Том 33, № 6 (2021) Автоматическое исправление дефектов кода в системе Svace Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович СЫРОМЯТНИКОВ
 
1 - 13 из 13 результатов

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

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