Сортировать по:
Выпуск | Название | |
Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
"... вычислительных машинах используется для отладки, повышения отказоустойчивости, а также в различных исследованиях ..." | ||
Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... – вычислитель, специально разработанный для предметной области криптографических протоколов, – т. н. C2-машина ..." | ||
Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) похожие документы |
Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) похожие документы |
Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
"... В данной статье рассматривается задача извлечения именованных сущностей из рецензий исходного кода ..." | ||
Том 34, № 6 (2022) | Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин | Аннотация похожие документы |
Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН | ||
"... времени. В этой статье мы представляем общую модель на основе теорий X-машин и взаимодействующих X-машин ..." | ||
Том 32, № 1 (2020) | Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова | ||
Том 35, № 6 (2023) | Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов | Аннотация PDF (Rus) похожие документы |
Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..." | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
"... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..." | ||
Том 34, № 3 (2022) | Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор | Аннотация похожие документы |
Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО | ||
"... В этой статье представлен обзор литературы по автоматической генерации кода для серьезных игр ..." | ||
Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович ВИШНЯКОВ | ||
"... завершения и зависания анализируемого кода. Гибридный подход, совмещающий в себе фаззинг и динамическую ..." | ||
Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) похожие документы |
Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
"... десериализации при взаимодействии между клиентским кодом и серверной стороной веб–приложения. Особое внимание ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... между исходным кодом программы, промежуточным представлением и большими формулами в формате ..." | ||
Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
"... отчеты о покрытии кода представляют собой наибольшую ценность с точки зрения экспертов, которые хотят ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... Запросы по исходному коду программ помогают разработчикам обнаруживать искомые фрагменты кода и ..." | ||
Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
И. И. Каретин, В. А. Макаров | ||
"... Одной из распространенных практических задач анализа бинарного кода является восстановление ..." | ||
Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
"... Одной из распространенных практических задач анализа бинарного кода является восстановление ..." | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
"... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..." | ||
Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
"... машинного кода. Чтобы оправдать расходы, затрачиваемые на динамическую компиляцию таких запросов, необходимо ..." | ||
Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
Н. Ю. Вьюгинов, В. С. Фондаратов | ||
"... даже декларировать методы, добавляемые динамически. Такие аннотации позволяют улучшить анализ кода и ..." | ||
Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий | ||
"... планов запросов, является компиляция запросов в исполняемый код во время выполнения (динамическая ..." | ||
Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
"... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..." | ||
Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович СЫРОМЯТНИКОВ | ||
"... В данной статье рассматривается задача автоматического исправления дефектов кода на языках C/C ..." | ||
Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
Д. С. Кононов | ||
"... исполняемого кода. В результате появляется возможность сократить требования к затрачиваемым ресурсам за счёт ..." | ||
Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
"... программного обеспечения сервисы для трансформации кода. Такие сервисы могут использоваться как для ..." | ||
Том 28, № 2 (2016) | Моделирование конвейера распознавания людей в системах контроля доступа | Аннотация похожие документы |
Ф. Гёссен, Т. Маргариа, Т. Гёке | ||
Том 32, № 4 (2020) | Извлечение логической структуры из сканированных документов | Аннотация PDF (Rus) похожие документы |
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
61 - 90 из 150 результатов | << < 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)