Сортировать по:
| Выпуск | Название | |
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... , разработчиками драйверов устройств и т.д. Такие ОС спроектированы так, чтобы иметь возможность запускаться ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... моделей данных на языке EXPRESS, на основе которого выделяются паттерны ограничений целостности ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... на архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model checking ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) похожие документы |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| "... и арифметических ограничений Пресбургера, интерпретируемых на древовидных моделях. Мы описываем алгоритм ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых ..." | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... множественных моделей. В статье рассматриваются преимущества и недостатки этой возможности, а также её связь ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... приходится проводить верификацию покомпонентно. При этом инструментам необходимо предоставлять модель ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... В работе описывается расширение модели параллельной SPMD программы возможностью использования ..." | ||
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| "... удовлетворять драйверы объектов и некоторые другие сущности. В модель также добавлены элементы, позволяющие ..." | ||
| Том 36, № 6 (2024) | Совершенствование моделей оценки путем объединения независимых источников данных | Аннотация похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ | ||
| "... десятилетий из-за его влияния на отрасль. Несмотря на многочисленные модели, подходы, основанные на регрессии ..." | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... , включающие недостаточные выразительные возможности моделей, используемых для реализации редакторов визуальных ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... достоверность вердикта верификации. В данной работе описывается метод верификации с моделями памяти на основе ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... функциональных тестов на основе моделей. В данной работе представлен метод генерации функциональных тестов ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... могут служить моделью для многих программ: драйверов, систем реального времени, сетевых протоколов ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... server implementations. The approach is based on Model- Based Testing methodology. A test suite ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... . Иначе обстоит дело с модулями ядра, например, драйверами устройств, которые по ряду причин имеют ..." | ||
| Том 36, № 5 (2024) | H1: гибридная система извлечения информации для поиска товаров в электронной торговле | Аннотация PDF (Rus) похожие документы |
| Федор Владимирович КРАСНОВ | ||
| "... фронт», «gloria jeans», что позволит уменьшить размер модели и улучшить автономные показатели системы ..." | ||
| Том 38, № 2: март-апрель | Адаптивные методы и средства поверхностного анализа пакетов для обнаружения аномалий в зашифрованном трафике | Аннотация PDF (Rus) похожие документы |
| Никита Александрович ЦАПЛИН, Александр Пхоун Чжо ПЕТРОВ, Дмитрий Юрьевич КОВАЛЕВ | ||
| "... гиперпараметров моделей машинного обучения. Реализация выполнена в виде NDIS-драйвера RuStatExt для Hyper ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... подход, основанный на механизме описания моделей функций, позволяющий решать задачу восстановления ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... процессов (process discovery) с точки зрения характеристик получаемых моделей процессов. ..." | ||
| Том 37, № 4: часть 2. июль-август | Проверка ослабленной ленивой бездефектности для сетей Петри с данными | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Ирина Александровна ЛОМАЗОВА | ||
| "... Для представления модели, включающей как данные, так и ресурсы, можно использовать сети Петри ..." | ||
| Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
| "... моделей памяти – использование временных меток и информации о типах. Предложенный метод реализован ..." | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| "... Representation), предназначенного для промежуточного представления моделей потоковых вычислителей. Язык DFCIR ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... нахождения модели, с её помощью обнаруживается ошибочный путь и выдаётся предупреждение. На основе данного ..." | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний ..." | ||
| Том 36, № 3 (2024) | Автоматизация подготовки ответов на требования налоговых органов с использованием обучения со слабым контролем | Аннотация PDF (Rus) похожие документы |
| Артур Дмитриевич СОСНОВИКОВ, Денис Юрьевич ТУРДАКОВ | ||
| "... использовать неточные, противоречивые или неполные данные для обучения моделей. Это особенно актуально для ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... , задания специфической информации, необходимой для инициализации драйверов устройств, и описания ..." | ||
| 1 - 31 из 31 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
