Сортировать по:
| Выпуск | Название | |
| Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
| М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
| "... Certified programming allows to prove that the program meets its specification. The check ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... research topic. One such model is the OCaml memory model (OCamlMM), which allows to mitigate undefined ..." | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| "... . To describe these programs, a compact ML-like language (a subset of OCaml) is used, equipped with a Hindley ..." | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| "... and demonstrate how it can be applied to define certified executable semantics of a simple parallel register ..." | ||
| Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
| "... to produce certificate for a tiny computation. A complex computation of a user can be certified by relying ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... грамматикой правил преобразований, Signals editor, используемый для удобного описания сложных структур ..." | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... этого пути образуют строку, выводимою из нетерминала A в некоторой контекстно-свободной грамматике ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
| А. В. Когтенков | ||
| "... доказательства теорем Isabelle/HOL. Затем доказывается теорема о сохранении безопасности пустых указателей в ..." | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| "... помощью грамматики. Задача поиска этих подпоследовательностей сводится к проверке их принадлежности ..." | ||
| Том 36, № 2 (2024) | Исследование структурно незавершённых высказываний в речи советской и российской молодёжи | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЧУЕВ | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... толерантной грамматике языка, описание остальных частей программы может быть менее детальным, в результате ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... опровергнуть её. В таких случаях прибегают либо к апроксимации задачи, либо к эквивалентным преобразованиям ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... способом задать ограничения на пути являются формальные грамматики над метками рёбер графа, при этом запрос ..." | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... полное описание его особенностей, что поможет создать более точные грамматики и словари. Актуальность ..." | ||
| Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) похожие документы |
| Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... работе предлагается использовать компиляторные преобразования: перестановка местами функций в модуле ..." | ||
| Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
| М. Провидухина, И. Сибгатуллин | ||
| "... спектральных элементов 8-го порядка и модифицированного кода nek5000. С помощью применения преобразований ..." | ||
| Том 36, № 4 (2024) | Создание распределенных искусственных нейронных сетей на основе ортогональных преобразований | Аннотация похожие документы |
| Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Владислав Вячеславович ЛУЦЕНКО, Наталья Николаевна КУЧУКОВА | ||
| "... модули с помощью ортогональных преобразований. Благодаря такому разделению становится возможным модульная ..." | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
| А. Э. Молчанов | ||
| "... эквивалентных преобразований, позволяющая проводить структурный анализ формализованных программ. ..." | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... преобразования, которые были направлены на изменение сигнатуры исполняемого файла. Для работы этих инструментов ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... подробно описаны в грамматике языка, другие части программы могут быть не описаны совсем или описаны менее ..." | ||
| Том 36, № 2 (2024) | Проектирование системы визуализации данных, основанной на языково-ориентированном подходе | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА | ||
| Том 34, № 4 (2022) | Методы определения элементов PQRST-комплекса электрокардиограммы | Аннотация PDF (Rus) похожие документы |
| Ольга Анатольевна МАШКОВА, Всеволод Владиславович ШАКЛЕИН, Юрий Витальевич МАРКИН, Евгений Андреевич КАРПУЛЕВИЧ, Владислав Валерьевич АНАНЬЕВ, Ариана Арменовна АСАТРЯН, Шагане Тиграновна ТИГРАНЯН, Сергей Николаевич СКОРИК, Денис Юрьевич ТУРДАКОВ | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Д. В. Антонов, В. С. Рублев | ||
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет ..." | ||
| Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) похожие документы |
| И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
| "... на преобразовании скользящих аппроксимаций (САП трансформ), с двумя другими наиболее известными ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... of Russia regulatory documents, in order to ensure trust in certified information security tools when ..." | ||
| Том 36, № 4 (2024) | Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления | Аннотация похожие документы |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Мунис Мусинович ХАМИДОВ | ||
| "... алгоритм преобразования, представлены числовые примеры. Представлено доказательство связи между рангами ..." | ||
| Том 29, № 4 (2017) | Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ | Аннотация похожие документы |
| Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота | ||
| "... Преобразование Гаусса, также как и его дискретный аналог, является важнейшим инструментом во ..." | ||
| Том 33, № 2 (2021) | Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход | Аннотация PDF (Rus) похожие документы |
| Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС | ||
| "... обучения. Мы предлагаем архитектуру CNN, дополненную двумерным дискретным вейвлет-преобразованием как ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... способа повышения надежности производимых компилятором оптимизирующих преобразований автором предлагается ..." | ||
| Том 30, № 3 (2018) | Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации | Аннотация похожие документы |
| М. К. Горденко, С. М. Авдошин | ||
| "... быть преобразованы в другие проблемы маршрутизации. Это продемонстрировано на примере задачи китайского ..." | ||
| Том 33, № 4 (2021) | Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... ). In accordance with the requirements of regulatory documents of domestic regulators for certified information ..." | ||
| 1 - 39 из 118 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
