Сортировать по:
Выпуск | Название | |
Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
"... -тестирования сетевых программ. В работе рассматриваются особенности фаззинг-тестирования такого рода программ и ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... эффективно решена при помощи процедур проверки эквивалентности программ в рассматриваемых моделях. Основной ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... инструкции в программе методами динамического символьного исполнения, примененном последовательно для ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... компьютерных экспериментов, чем в случае обычной оптимизации программы в компиляторах. Требуется погружение ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... Запросы по исходному коду программ помогают разработчикам обнаруживать искомые фрагменты кода и ..." | ||
Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..." | ||
Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В ..." | ||
Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... Рассмотрены особенности и проблемы эффективного создания в 70-е годы сложных комплексов программ ..." | ||
Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян | ||
"... программы. Метод был реализован в динамическом компиляторе языка JavaScript V8, разработанном компанией ..." | ||
Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... реорганизации программ, деобфускации программ, выявления уязвимостей в программном коде и др., желательно иметь ..." | ||
Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
В. В. Подымов, В. А. Захаров | ||
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..." | ||
Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
В. Н. Игнатьев | ||
"... Для достижения переносимости, надёжности и безопасности программ на С и С++ может применяться ..." | ||
Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
"... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..." | ||
Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
"... препятствующую извлечению из текста программы определенной секретной информации, содержащейся в ней. Поскольку ..." | ||
Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
"... В статье предлагаются методы, делающие возможной компиляцию программ на языке JavaScript в ..." | ||
Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
"... ответственен за генерацию графов зависимостей программы для каждой функции. В качестве основы для генерации ..." | ||
Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской, С. В. Сыромятников | ||
"... В данной работе описывается расширение языка KAST для решения задачи трансформации исходного кода ..." | ||
Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... рисков комплексов программ. ..." | ||
Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической ..." | ||
Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников | ||
"... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..." | ||
Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров | ||
"... последовательных реагирующих программ. Эти программы работают во взаимодействии с окружающей средой, получая на ..." | ||
Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
"... В статье рассматривается подход к оптимизации вызовов внешних функций в позиционно-независимом коде ..." | ||
Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... (рефакторинга) программ - выделения в заданном фрагменте кода тела библиотечной процедуры с целью последующей ..." | ||
Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... в Институте системного программирования РАН в рамках проекта «Верификация реализаций расширяемых ..." | ||
Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
"... проверифицированных программ с существующими в проекте. В статье сформулированы преимущества и недостатки применения ..." | ||
1 - 25 из 25 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)