Журнал ИМТ
Статья журнала ИМТПубликацияНаучная статья
УПРАВЛЕНИЕ КОНВЕЙЕРНО ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КАЧЕСТВЕННОГО ИССЛЕДОВАНИЯ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МЕТОДА БУЛЕВЫХ ОГРАНИЧЕНИЙ
http://libmeta.ru/object/imt_pub_17
Аннотация
Рассматриваются средства управления вычислениями в пакете прикладных микросе рвисов, ориентированном на применение при решении задач качественного исследования двоичных динамических систем на основе метода булевых ограничений. Вычислительная модель предметной области и архитектура агента обеспечивают возможность проведения многовар иантных, параллельных и конвейерно -параллельных вычислений на выделенных ресурсах. Предложенный подход демонстрируется на примере а нализ а структуры пространства состояний сдвигового регистра .
Данные
| pages | 78-87 |
| год | 2019 |
| pageEnd | 87 |
| pageStart | 78 |
тема
цитирует
Methods and Software for Computer-Aided design of the Spacecraft Guidance, Navi…
Analytical Modeling of Pipeline Parallelism
Pipeline Pattern for Parallel MCTS
Software Pipelines and SOA: Releasing the Power of Multi-Core Processing
Application of Lyapunov's direct method to error-propagation effect convoluaten…
ViraPipe: scalable parallel pipeline for viral metagenome analysis from next ge…
Метод булевых ограничений в качественном анализе двоичных динамических систем
Моделирование конвейерно-параллельного вычислителя с проблемной ориентацией
Моделирование конвейерных и волновых вычислений
Building Microservices
Применение гибридных методов проектирования вычислительных систем реального вре…
Сервис-ориентированная технология создания и применения децентрализованных муль…
+5
ссылается на
Methods and Software for Computer-Aided design of the Spacecraft Guidance, Navi…
Analytical Modeling of Pipeline Parallelism
Pipeline Pattern for Parallel MCTS
Software Pipelines and SOA: Releasing the Power of Multi-Core Processing
Application of Lyapunov's direct method to error-propagation effect convoluaten…
ViraPipe: scalable parallel pipeline for viral metagenome analysis from next ge…
Метод булевых ограничений в качественном анализе двоичных динамических систем
Моделирование конвейерно-параллельного вычислителя с проблемной ориентацией
Моделирование конвейерных и волновых вычислений
Building Microservices
Применение гибридных методов проектирования вычислительных систем реального вре…
Сервис-ориентированная технология создания и применения децентрализованных муль…
+5
ключевое слово
опубликовано в
в аннотации
упоминает понятие
в ключевых словах
Входящие связи
← содержит статью · 1
Внешние ссылки
- https://www.imt-journal.ru/archive/public/article?id=101 (fullTextUrl)