Сортировать по:
| Выпуск | Название | |
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... алгоритма лежит построение по заданной паре программ вектора показателей похожести и принятие на основе ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... результат работы - полиномиальные по времени алгоритмы минимизации конечных детерминированных автоматов ..." | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| "... алгоритм является сугубо последовательным, параллельных альтернатив используемому алгоритму нет, а время ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| "... of compilation parameters that was developed in ISP RAS. The tool uses genetic algorithm to evolve the best ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... проверки эквивалентности таких программ оставался открытым. Основной результат статьи - алгоритм ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... алгоритмы исследования статической модели программы, в том числе графа вызовов, потока управления, потока ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... . В связи с этим обсуждается новый алгоритм исключения некачественных расчетных ячеек. Расчеты были ..." | ||
| Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) похожие документы |
| И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
| "... на преобразовании скользящих аппроксимаций (САП трансформ), с двумя другими наиболее известными мерами: Алгоритмом ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... алгоритма слайсинга предиката пути, который позволяет устранять избыточные ограничения из предиката пути без ..." | ||
| Том 34, № 1 (2022) | Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем | Аннотация похожие документы |
| Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА | ||
| "... дополнительного, мета-слоя в процесс синтеза. Разработан принцип и алгоритмы редукции параллелизма. Представлены ..." | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
| Е. А. Ильченко | ||
| "... оперативную память. Такие объекты размещаются на жестком диске. В статье дается описание алгоритмов для тех ..." | ||
| Том 33, № 4 (2021) | Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU | Аннотация похожие документы |
| Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... ассемблера используется транслятор таблиц потоков. Необходимость реализации алгоритмов сжатия данных ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... , термином «вода» - нерелевантный код. В настоящей работе описывается модифицированный LL(1) алгоритм ..." | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... в 1972 г. В.Э. Иткиным. В данной статье разработан новый алгоритм проверки логико-термальной ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... используется для построения композиционального алгоритма, порождающего обобщённые кучи. Они являются термами ..." | ||
| Том 32, № 4 (2020) | Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ | ||
| "... камеры. В работе рассмотрены эффективные метод и алгоритм создания ACMP-видео на GPU с помощью технологии ..." | ||
| Том 37, № 5: сентябрь-октябрь | Алгоритм динамической адаптивной буферизации пакетов (DAPB) для повышения производительности Service Mesh на основе eBPF | Аннотация похожие документы |
| Ханк-Дебэн ДЖАМБОНГ ТЕНКЕ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... Данная статья представляет алгоритм динамической адаптивной буферизации пакетов (Dynamic Adaptive ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... соответствующий алгоритм генерации эксплойта. В случае успешной генерации эксплойта происходит проверка ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... трансляции, а именно: мы улучшили алгоритм поиска блоков трансляции в кэше трансляций в QEMU ..." | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... грамматиками был модифицирован стандартный LL(1) алгоритм синтаксического анализа и разработан генератор ..." | ||
| Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
| И. Н. Ледовских, М. Г. Бакулин | ||
| "... и распознавания алгоритмов и структур данных. В статье описывается подход к восстановлению потока управления ..." | ||
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| "... , предназначенный для построения модели алгоритма по трассе выполнения программы. ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| "... существенная переработка структур данных или алгоритмов, может использоваться автотюнинг для специализации под ..." | ||
| Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
| "... криптографическую стойкость предложенного алгоритма обфускации программ в предположении существования ..." | ||
| Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
| "... В данной работе описывается проделанная с компилятором GCC работа по адаптации имеющегося алгоритма ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... написание программ без учёта ресурсных ограничений, что позволяет изначально ориентироваться на алгоритмы ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... архитектуры (AADL). Данная статья описывает алгоритм извлечения архитектурной информации из исходного кода ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... . Реализация алгоритмов поиска фрагмента по сохраненной информации учитывает возможность внесения изменений ..." | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| "... программе форму, затрудняющую понимание алгоритмов и структур данных, реализуемых программой ..." | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) похожие документы |
| О. А. Четверина | ||
| "... проведения коррекции профильной информации и предложены следующие решения: алгоритм коррекции значений ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... : от создания контролируемой среды выполнения до подготовки высокоуровневого описания интересующего алгоритма ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... интерфейса, алгоритм итеративного построения тестовых наборов по графу потока событий с целью явной проверки ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... - устройство подсистемы памяти (адресные пространства, разного рода буферы и таблицы, алгоритмы трансляции ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Гибридный подход к направленному фаззингу | Аннотация похожие документы |
| Дарья Алексеевна ПАРЫГИНА, Тимофей Павлович МЕЖУЕВ, Даниил Олегович КУЦ | ||
| "... мы предлагаем гибридный подход к направленному фаззингу с оригинальным алгоритмом планирования входных данных ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... строится граф зависимостей программы (Program Dependence Graph – PDG) для каждой единицы компиляции ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... табличный алгоритм проверки выполнимости формул LP-CTL* на моделях конечных автоматов-преобразователей ..." | ||
| Том 38, № 2: март-апрель | Оптимизация передачи управления в полносистемных эмуляторах | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич КОСТИН, Павел Михайлович ДОВГАЛЮК, Дмитрий Николаевич ПОЛЕТАЕВ, Георгий Николаевич ТЕЙС, Наталья Игоревна ФУРСОВА | ||
| "... алгоритм, составленный с учётом особенностей гостевой архитектуры. Помимо этого, в статье приводится новый ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... взаимодействие агентов. Нами предложен и обоснован алгоритм выделения и анализа отношений между событиями ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... описанных в научной литературе алгоритмов вывода типов для языков с параметрическим полиморфизмом. Затем ..." | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... В статье описывается алгоритм статического поиска ошибки повторной блокировки семафоров ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... C++. Приведены примеры алгоритмов написания кода для системных программ и рассмотрены оптимизированные ..." | ||
| Том 25 (2013) | Автоматическое извлечение новых концептов предметно-специфичных терминов | Аннотация PDF (Rus) похожие документы |
| Н. А. Астраханцев | ||
| "... разработанный алгоритм превосходит существующие подходы, а также позволяет повысить точность разрешения ..." | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... алгоритмы DD**, основанные на подходе Delta Debugging, с помощью которых производится перебор упрощённых ..." | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| "... статический межпроцедурный котекстно-потоковый объектно-чувствительный алгоритм, производится оценка ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... свойств исследуемого ПО. Это могут быть и описания реализуемых алгоритмов, и информация о структурах ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... построение графа блокировок, так и алгоритм обнаружения взаимных блокировок, не требуют существенного ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Статический анализ языка Python с использованием девиртуализации | Аннотация похожие документы |
| Артемий Львович ГАЛУСТОВ, Константин Игоревич ВИХЛЯНЦЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... . Представление для анализа строится по байткоду CPython, затем в результате работы межпроцедурного алгоритма ..." | ||
| Том 27, № 3 (2015) | Создание приватного сервиса с использованием приложения CRYP2CHAT | Аннотация PDF (Rus) похожие документы |
| Андрей Кирьянцев, Ирина Стефанова | ||
| "... клиента. В статье описано прямое соединение - клиент к клиенту. Приведен алгоритм работы программы ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... синтаксического дерева и анализ потока данных. Все описанные алгоритмы были реализованы в инструменте статического ..." | ||
| Том 38, № 3: часть 4. май-июнь | Программная реализация метода каскадного расчёта тяги гребных винтов | Аннотация похожие документы |
| Артем Дмитриевич СУХОВ, Александр Георгиевич ПЕТРОВ | ||
| "... . Разработанный алгоритм позволяет выполнять последовательный расчёт аэродинамических характеристик от одиночного ..." | ||
| 1 - 53 из 85 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
