Зображення обкладинки

Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью

Изложен подход к описанию акторных систем с общей памятью. Предложен предметно-ориентированный язык Strumok для описания межакторного взаимодействия и работы с общей памятью. Проведена оценка эффективности языка Strumok с использованием общей памяти по сравнению с фреймворком Java Vert.x Викладено п...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2018
Автори:	Ларин, В.О., Бантыш, О.В., Галкин, А.В., Провотар, А.И.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Теми:	Програмно-технічні комплекси
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/161440
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью / В.О. Ларин, О.В. Бантыш, А.В. Галкин, А.И. Провотар // Кибернетика и системный анализ. — 2018. — Т. 54, № 5. — С. 170-180. — Бібліогр.: 17 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Моделі оцінки ефективності систем управління регіонального рівня
за авторством: Казимир, В.В., та інші
Опубліковано: (2003)

Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
за авторством: Соловьев, В.И., та інші
Опубліковано: (2020)

Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
за авторством: Соловьев, В.И., та інші
Опубліковано: (2021)

Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
за авторством: В’юн, В.І.
Опубліковано: (2004)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
за авторством: Рубан, И.В., та інші
Опубліковано: (2018)

Совместное распределение некоторых статистик случайной битовой последовательности
за авторством: Масол, В.И., та інші
Опубліковано: (2021)

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
за авторством: Шило, В.П., та інші
Опубліковано: (2019)

Побудова системи автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах Національної поліції України
за авторством: Мовчан, А.В., та інші
Опубліковано: (2018)

Огляд сучасних методів захищеності та безпеки програмних систем
за авторством: Летичевський, О.О., та інші
Опубліковано: (2019)

Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
за авторством: Быченко, О.В., та інші
Опубліковано: (2004)

Метод синтеза услуг в задачах компьютерной телефонии
за авторством: Палагин, А.В., та інші
Опубліковано: (2004)

Оцінка характеру і наслідків надзвичайної події на хімічно небезпечних об’єктах стаціонарного типу
за авторством: Беспалов, В.П., та інші
Опубліковано: (2003)

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
за авторством: Нелин, О.В.
Опубліковано: (2003)

О построении систем управления с инвариантной программой
за авторством: Лёгенький, В.И.
Опубліковано: (2004)

Пошук оптимальних шляхів у дереві рішень
за авторством: Панченко, М.В.
Опубліковано: (2004)

Паралельний алгоритм імітації Петрі-об’єктної моделі
за авторством: Стеценко, І.В.
Опубліковано: (2017)

Когнітивна візуалізація базових процедур процесу прийняття рішення в системі управління активним об’єктом
за авторством: Косс, В.А.
Опубліковано: (2004)

Аналіз та врахування неоднорідності в системах розподільної обробки даних
за авторством: Князькова, З.В.
Опубліковано: (2003)

Модель упреждающей подсказки в интеллектуализованном интерфейсе пользователя
за авторством: Белоус, Л.В., та інші
Опубліковано: (2004)

Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами
за авторством: Химич, А.Н., та інші
Опубліковано: (2017)

Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2004)

Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
за авторством: Богданова, Л.М., та інші
Опубліковано: (2018)

Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
за авторством: Примин, М.А., та інші
Опубліковано: (2019)

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
за авторством: Ершов, С.В., та інші
Опубліковано: (2018)

Обобщенные оценки факторов в задачах когнитивного моделирования
за авторством: Таран, Т.А., та інші
Опубліковано: (2004)

Прикладная математическая задача как объект компьютерной алгебры
за авторством: Клименко, В.П., та інші
Опубліковано: (2003)

Использование технологии идентификации семантически связных элементов текста для определения единого информационного пространства
за авторством: Петрасова, С.В., та інші
Опубліковано: (2017)

Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
за авторством: Примин, М.А., та інші
Опубліковано: (2020)

Достоверность решений линейных математических моделей с приближенно заданными исходными данными
за авторством: Химич, А.Н., та інші
Опубліковано: (2004)

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
за авторством: Головинський, А.Л., та інші
Опубліковано: (2017)

Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
за авторством: Петрик, М.Р., та інші
Опубліковано: (2021)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
за авторством: Львов, М.С., та інші
Опубліковано: (2018)

Проектирование ИТ-инфраструктуры
за авторством: Крывый, С.Л., та інші
Опубліковано: (2018)

Математичне моделювання процесів ферментативного гідролізу
за авторством: Алєксєєва, І.В., та інші
Опубліковано: (2003)

Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
за авторством: Крывый, С.Л., та інші
Опубліковано: (2017)

Экосистемы программной инженерии
за авторством: Крывый, С.Л., та інші
Опубліковано: (2020)

Математическое моделирование токовых состояний водных объектов
за авторством: Каленчук-Порханова, А.А.
Опубліковано: (2019)

Алгоритми методу дискретних особливостей для обчислювальних технологій
за авторством: Довгий, С.О., та інші
Опубліковано: (2017)

Унифицированная модель объекта управления дискретного производства
за авторством: Каплунов, М.И.
Опубліковано: (2003)

Симетричні криптоалгоритми у системі залишкових класів
за авторством: Касянчук, М.М., та інші
Опубліковано: (2021)