Сортировать по:
| Выпуск | Название | |
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... of an open-source partitioned operating system POK. We implement the model in Promela language for SPIN tool ..." | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| "... is the open-source POK (Partitioned Operating Kernel). In the repository, it contains an example design ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... is comprised of three main steps. First, a Promela model written for a certain configuration of the system ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... verification). The article presents an approach to the development of formal Promela models of cache coherence ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... originates from the open source project POK, created by French researchers. At that time POK was the only one ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... and examination of the corresponding Promela model of the German cache coherence protocol and discusses extension ..." | ||
| Том 21 (2011) | Разработка параллельной СУБД на основе PostgreSQL | Аннотация PDF (Rus) похожие документы |
| К. С. Пан | ||
| "... and exploits partitioned parallelism. ..." | ||
| Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) похожие документы |
| Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| "... framework that supports MapReduce. In our experiments, when graphs were partitioned into 32 parts, ratio ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... systems. By using a model-based approach it is possible to build an architecture model from the existing ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... scaling leads to the problem of partition of the large task to several subtasks that can be performed ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... verification overhead. The model of imitator has been included into the functional machine simulator ..." | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| "... The Multi-Bulk Synchronous Parallel (Multi-BSP) model is a recently proposed parallel programming ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... model of specification is LTS (Labelled Transition System). However, for the described interaction ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... models, the methods for their visualization and for filter management of trace records and object states ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... for more abstract layers of the model. It is desirable to use the same models that were used for formal ..." | ||
| Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
| Д. С. Кильдишев, А. В. Хорошилов | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... behind such use cases makes «service models», and it tends to differ significantly between them ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... of mathematical models and methods of scheduling poses usually the problem of design of fast algorithm as well ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... Process models and graphs are commonly used for modeling and visualization of processes. They may ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Software model checkers enable automatic detection of violations of specified requirements ..." | ||
| Том 37, № 2 (2025) | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) похожие документы |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| "... The work presents the construction of a hydraulic model of a heat exchanger (HE). The multi ..." | ||
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) похожие документы |
| Сергей Иванов, Анна Каленкова | ||
| "... Comparing business process models is one of the most significant challenges for business ..." | ||
| Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
| А. М. Эльдарханов | ||
| "... standard, both in theoretical OODBMS area (object calculus, data models) and in practical area (query ..." | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
| А. Э. Молчанов | ||
| "... applied to construct a full system of E.T. in the primitive subclass of balanced gateway program models ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... a model which specifies data structures used to store the information about these code fragments ..." | ||
| Том 28, № 3 (2016) | Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений | Аннотация похожие документы |
| П. П. Олейник, С. М. Салибекян | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... In this paper a survey of existing methods of model extraction from hardware system descriptions ..." | ||
| Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
| "... The article suggests a new object model of data for in-depth analysis of network traffic ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language ..." | ||
| Том 34, № 2 (2022) | Функции потерь для обучения моделей сегментации изображений документов | Аннотация PDF (Rus) похожие документы |
| Андрей Игоревич ПЕРМИНОВ, Денис Юрьевич ТУРДАКОВ, Оксана Владимировна БЕЛЯЕВА | ||
| "... of various scientific articles and legal acts by neural network models by learning using modified loss ..." | ||
| Том 34, № 5 (2022) | Контекстное разрешение омонимии на основе центроидно-контекстной модели | Аннотация PDF (Rus) похожие документы |
| Александр Алексеевич ХОРОШИЛОВ, Юрий Викторович НИКИТИН, Анна Владимировна КАН, Яна Дмитриевна КОЗЛОВСКАЯ, Екатерина Андреевна ЕВДОКИМОВА | ||
| "... -context model (CCM). The proposed method of detecting cases of homonymy in the corpus of texts and its ..." | ||
| Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) похожие документы |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
| "... work mathematical models of the crystallization features of a supercooled metastable liquid ..." | ||
| Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) похожие документы |
| Николай Леонидович РУСНАЧЕНКО | ||
| "... . In this paper, we experiment with BERT based language models for extracting sentiment attitudes between named ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... The paper is addressed to the actual problem of verification of large-scale data models applied ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... The paper presents an approach to specify constraints on AADL models in Python-based language ..." | ||
| 1 - 39 из 528 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
