Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
Изложен подход к описанию акторных систем с общей памятью. Предложен предметно-ориентированный язык Strumok для описания межакторного взаимодействия и работы с общей памятью. Проведена оценка эффективности языка Strumok с использованием общей памяти по сравнению с фреймворком Java Vert.x Викладено п...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2018 |
| Main Authors: | Ларин, В.О., Бантыш, О.В., Галкин, А.В., Провотар, А.И. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161440 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью / В.О. Ларин, О.В. Бантыш, А.В. Галкин, А.И. Провотар // Кибернетика и системный анализ. — 2018. — Т. 54, № 5. — С. 170-180. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Моделі оцінки ефективності систем управління регіонального рівня
by: Казимир, В.В., et al.
Published: (2003)
by: Казимир, В.В., et al.
Published: (2003)
Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
by: Соловьев, В.И., et al.
Published: (2020)
by: Соловьев, В.И., et al.
Published: (2020)
Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
by: Соловьев, В.И., et al.
Published: (2021)
by: Соловьев, В.И., et al.
Published: (2021)
Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
by: В’юн, В.І.
Published: (2004)
by: В’юн, В.І.
Published: (2004)
Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
by: Рубан, И.В., et al.
Published: (2018)
by: Рубан, И.В., et al.
Published: (2018)
Совместное распределение некоторых статистик случайной битовой последовательности
by: Масол, В.И., et al.
Published: (2021)
by: Масол, В.И., et al.
Published: (2021)
Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
by: Шило, В.П., et al.
Published: (2019)
by: Шило, В.П., et al.
Published: (2019)
Побудова системи автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах Національної поліції України
by: Мовчан, А.В., et al.
Published: (2018)
by: Мовчан, А.В., et al.
Published: (2018)
Огляд сучасних методів захищеності та безпеки програмних систем
by: Летичевський, О.О., et al.
Published: (2019)
by: Летичевський, О.О., et al.
Published: (2019)
Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
by: Быченко, О.В., et al.
Published: (2004)
by: Быченко, О.В., et al.
Published: (2004)
Метод синтеза услуг в задачах компьютерной телефонии
by: Палагин, А.В., et al.
Published: (2004)
by: Палагин, А.В., et al.
Published: (2004)
Оцінка характеру і наслідків надзвичайної події на хімічно небезпечних об’єктах стаціонарного типу
by: Беспалов, В.П., et al.
Published: (2003)
by: Беспалов, В.П., et al.
Published: (2003)
Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
by: Нелин, О.В.
Published: (2003)
by: Нелин, О.В.
Published: (2003)
О построении систем управления с инвариантной программой
by: Лёгенький, В.И.
Published: (2004)
by: Лёгенький, В.И.
Published: (2004)
Пошук оптимальних шляхів у дереві рішень
by: Панченко, М.В.
Published: (2004)
by: Панченко, М.В.
Published: (2004)
Паралельний алгоритм імітації Петрі-об’єктної моделі
by: Стеценко, І.В.
Published: (2017)
by: Стеценко, І.В.
Published: (2017)
Когнітивна візуалізація базових процедур процесу прийняття рішення в системі управління активним об’єктом
by: Косс, В.А.
Published: (2004)
by: Косс, В.А.
Published: (2004)
Аналіз та врахування неоднорідності в системах розподільної обробки даних
by: Князькова, З.В.
Published: (2003)
by: Князькова, З.В.
Published: (2003)
Модель упреждающей подсказки в интеллектуализованном интерфейсе пользователя
by: Белоус, Л.В., et al.
Published: (2004)
by: Белоус, Л.В., et al.
Published: (2004)
Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами
by: Химич, А.Н., et al.
Published: (2017)
by: Химич, А.Н., et al.
Published: (2017)
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004)
by: Ластовченко, М.М., et al.
Published: (2004)
Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
by: Богданова, Л.М., et al.
Published: (2018)
by: Богданова, Л.М., et al.
Published: (2018)
Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
by: Примин, М.А., et al.
Published: (2019)
by: Примин, М.А., et al.
Published: (2019)
Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
by: Ершов, С.В., et al.
Published: (2018)
by: Ершов, С.В., et al.
Published: (2018)
Обобщенные оценки факторов в задачах когнитивного моделирования
by: Таран, Т.А., et al.
Published: (2004)
by: Таран, Т.А., et al.
Published: (2004)
Прикладная математическая задача как объект компьютерной алгебры
by: Клименко, В.П., et al.
Published: (2003)
by: Клименко, В.П., et al.
Published: (2003)
Использование технологии идентификации семантически связных элементов текста для определения единого информационного пространства
by: Петрасова, С.В., et al.
Published: (2017)
by: Петрасова, С.В., et al.
Published: (2017)
Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
by: Примин, М.А., et al.
Published: (2020)
by: Примин, М.А., et al.
Published: (2020)
Достоверность решений линейных математических моделей с приближенно заданными исходными данными
by: Химич, А.Н., et al.
Published: (2004)
by: Химич, А.Н., et al.
Published: (2004)
Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
by: Головинський, А.Л., et al.
Published: (2017)
by: Головинський, А.Л., et al.
Published: (2017)
Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
by: Петрик, М.Р., et al.
Published: (2021)
by: Петрик, М.Р., et al.
Published: (2021)
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
by: Львов, М.С., et al.
Published: (2018)
by: Львов, М.С., et al.
Published: (2018)
Проектирование ИТ-инфраструктуры
by: Крывый, С.Л., et al.
Published: (2018)
by: Крывый, С.Л., et al.
Published: (2018)
Математичне моделювання процесів ферментативного гідролізу
by: Алєксєєва, І.В., et al.
Published: (2003)
by: Алєксєєва, І.В., et al.
Published: (2003)
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
by: Крывый, С.Л., et al.
Published: (2017)
by: Крывый, С.Л., et al.
Published: (2017)
Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)
by: Крывый, С.Л., et al.
Published: (2020)
Математическое моделирование токовых состояний водных объектов
by: Каленчук-Порханова, А.А.
Published: (2019)
by: Каленчук-Порханова, А.А.
Published: (2019)
Алгоритми методу дискретних особливостей для обчислювальних технологій
by: Довгий, С.О., et al.
Published: (2017)
by: Довгий, С.О., et al.
Published: (2017)
Унифицированная модель объекта управления дискретного производства
by: Каплунов, М.И.
Published: (2003)
by: Каплунов, М.И.
Published: (2003)
Симетричні криптоалгоритми у системі залишкових класів
by: Касянчук, М.М., et al.
Published: (2021)
by: Касянчук, М.М., et al.
Published: (2021)
Similar Items
-
Моделі оцінки ефективності систем управління регіонального рівня
by: Казимир, В.В., et al.
Published: (2003) -
Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
by: Соловьев, В.И., et al.
Published: (2020) -
Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
by: Соловьев, В.И., et al.
Published: (2021) -
Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
by: В’юн, В.І.
Published: (2004) -
Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
by: Рубан, И.В., et al.
Published: (2018)