Сортировать по:
| Выпуск | Название | |
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... соответствия исходным требованиям. По успешно верифицированной модели генерируется код приложения и код тестов ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... корректного кода. Подход позволяет детализировать модель до уровня реального кода системы, при этом сохранить ..." | ||
| Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
| "... существенно опирается на групповые свойства кода (C_1otimes C_2). В качестве приложения в работе построена ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... проверка моделей (Bounded Model Checking, BMC), исследуется все более и более активно, поскольку ..." | ||
| Том 29, № 3 (2022) | О построении самодополнительных кодов и их приложении в задаче сокрытия информации | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц | ||
| "... Линейные коды широко применяются для защиты от ошибок в системах передачи и хранения данных ..." | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| "... на применении помехоустойчивых кодов Гоппы, при этом эффективные атаки на секретный ключ этой криптосистемы ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... . Предложенное решение не только автоматически генерирует соответствующий модели на Event-B код на Eiffel ..." | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| "... сообщений. Приведено структурное описание модели исследуемой схемы защищенной передачи данных и построена ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... Существующие средства и методы статического анализа и верификации кода на языке С используют ..." | ||
| Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
| "... В 2000 г. Н. Сендриер показал, что если для линейного [n, k, d]-кода C(⊆ Fnq ) длины ..." | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... часто используется техника повторного использования кода. Такие атаки позволяют обходить защиту ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... and compared in accordance with the chosen comparison model. The developed scheme, in particular, is suitable ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... построение моделей из исходного кода, проверку логических свойств на них и обработку полученной модели ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... на квазициклических кодах, позволяют экспериментально исследовать зависимость вероятности ошибочного расшифрования ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... задач, к одной из которых относится статический анализ кода. Подобные решения позволяют выделить ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... набор библиотек. Задача миграции (портирования) кода часто встречается в современных программных ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... генерации кода Promela из программ управления PoST. Полученная модель Promela готова к проверке с помощью ..." | ||
| Том 33, № 2 (2026) | Построение операционной семантики языков программирования в виде исполняемых онтологических моделей программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина, Дмитрий Александрович Кондратьев, Сергей Петрович Горлач | ||
| "... код. Это даёт множество преимуществ: упрощение модификации, возможность выполнения в разных средах ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... организации сетей, которая используется во многих современных приложениях, таких как виртуализация сети ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... алгоритм выполнения схем коллективных вычислений. Продемонстрированы приложения модели в области ..." | ||
| Том 33, № 1 (2026) | Использование симметрии при программировании и верификации арбитра ресурсов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов | ||
| "... верификацию методом проверки модели (model checking). Наличие симметрии в программе достаточно часто позволяет ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... верифицирована с помощью инструмента проверки модели. Далее по LTL"=спецификации однозначно строится код ..." | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... архитектуры облачных приложений, ключевыми из которых являются потребность в простом масштабировании и быстрой ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... на предмет соответствия заданным темпоральным свойствам методом проверки модели (model checking) с помощью ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..." | ||
| Том 33, № 2 (2026) | Метод ранжирования планов выполнения SQL-запросов на основе текстового описания и моделей векторных представлений | Аннотация PDF (Rus) похожие документы |
| Никита Константинович Василенко | ||
| "... Спирмена. Показано, что при случайном разбиении выборки лучшая конфигурация на основе модели jina-code ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... и преобразование её в параллельный код. Автоматическое построение модели параллельной программы вводит новые, ранее ..." | ||
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... поведенческих сценариев приложения: полуавтоматический и автоматический. Первый дает возможность пользователю ..." | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... и анализ моделей процессов» (Process Mining). Практическое применение методов и практик Process Mining ..." | ||
| Том 32, № 1 (2025) | Иерархическая классификация научных статей при помощи глубокого обучения (на примере иерархии УДК) | Аннотация PDF (Rus) похожие документы |
| Валентин Юрьевич Мамедов, Данил Анатольевич Ковалевский, Дмитрий Алексеевич Морозов, Степан Сергеевич Столяров, Сергей Сергеевич Оспичев | ||
| "... кодов УДК научным статьям с использованием моделей на основе архитектуры BERT. Для обучения и оценки ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... внутренней модели программы, схожей с моделью LLVM. Целью создания описываемого средства является ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... надежности в этом случае необходимо минимизировать изменение ранее написанного кода. Для инструментальной ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... (например, HOL4); (2) верифицированную трансляцию смарт-контрактов в машинный код с использованием ..." | ||
| Том 23, № 6 (2016) | Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей | Аннотация PDF (Rus) похожие документы |
| В. А. Александров, В. А. Десницкий, Д. Ю. Чалый | ||
| "... сборки и написания программного кода для выбранного фрагмента системы; оценка безопасности выбранного ..." | ||
| Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
| Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
| "... . Показано, как для построения моделей образовательного процесса на основе имеющихся данных могут быть ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... с помощью метода проверки модели (model checking). Подход получил название «Программирование и верификация ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..." | ||
| Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
| "... изучении дифференциальных уравнений с запаздывающим аргументом: первый — при изучении математической модели ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... в описании имплементации компонентно-ориентированной модели, используя программный инструмент GROOVE для ..." | ||
| Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
| "... и фильтрация собранных текстов. Проведено сравнение четырех моделей машинного обучения для поиска упоминаний ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... систем хорошо учитываются вычислительными моделями реального времени, к числу которых относятся ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... Рассматривается математическая модель, в которой мобильный процессор, перемещаясь в пределах ..." | ||
| Том 26, № 2 (2019) | Пороговый анализ деградации запросов внутри вычислительной сети | Аннотация похожие документы |
| Василий Павлович Кирнос | ||
| "... сетей. Представлена типовая структура сети прикладного уровня модели OSI на примере приложения СБИС ..." | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| "... В настоящее время растет интерес пользователей к приложениям для мгновенного обмена сообщениями ..." | ||
| 1 - 47 из 47 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
