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

Formal methods of parallel software design automation

Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rul...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2020
Автори:	Doroshenko, A.Yu., Yatsenko, O.A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2020
Теми:	Інформатика та кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/170619
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Formal methods of parallel software design automation / A.Yu. Doroshenko, O.A. Yatsenko // Доповіді Національної академії наук України. — 2020. — № 6. — С. 15-20. — Бібліогр.: 10 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Substantiation of the backpropagation technique via the Hamilton—Pontryagin formalism for training nonconvex nonsmooth neural networks
за авторством: Norkin, V.I.
Опубліковано: (2019)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

A new hybrid method for solving variational inequalities
за авторством: Malitsky, Yu.V., та інші
Опубліковано: (2014)

B&B method for discrete partial order and quasiorder optimizations
за авторством: Norkin, V.I.
Опубліковано: (2019)

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

Simulation of elastic wave diffraction by a sphere in semibounded region
за авторством: Khimich, A.N., та інші
Опубліковано: (2020)

On walks of variable length in the Schubert incidence systems and multivariate flow ciphers
за авторством: Ustimenko, V.A.
Опубліковано: (2014)

Modeling of scenarios for the underground construction planning based on the foresight and cognitive modeling methodologies
за авторством: Pankratova, N.D., та інші
Опубліковано: (2021)

On new key exchange multivariate protocols based on pseudorandom walks on incidence structures
за авторством: Romańczuk-Polubiec, U., та інші
Опубліковано: (2015)

On new results on extremal graph theory, theory of algebraic graphs, and their applications
за авторством: Ustimenko, V.O.
Опубліковано: (2022)

Control of hyperbolic equations
за авторством: Borysenko, S.D., та інші
Опубліковано: (2013)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

A new projective exact penalty function for a general constrained optimization
за авторством: Norkin, V.I.
Опубліковано: (2022)

Rainbow graphs and semigroups
за авторством: Protasova, K.D., та інші
Опубліковано: (2012)

On the finite convergence of the NN classification learning on mistakes
за авторством: Norkin, V.I.
Опубліковано: (2022)

Statistical approximation of multicriteria problems of stochastic programming
за авторством: Norkin, B.V.
Опубліковано: (2015)

Стійкість за векторним критерієм задачі частково цілочислової оптимізації з квадратичними критеріальними функціями
за авторством: Лебєдєва, Т.Т., та інші
Опубліковано: (2020)

Стаціонарний режим для системи масового обслуговування типу M | M | c | c + m із сталою інтенсивністю повторів
за авторством: Лебєдєв, Є.О., та інші
Опубліковано: (2020)

Адаптивні алгоритми для задач про рівновагу в просторах Адамара
за авторством: Ведель, Я.І., та інші
Опубліковано: (2020)

Існування розв'язків та метод розв'язання лексикографічної задачі опуклої оптимізації з лінійними функціями критеріїв
за авторством: Семенова, Н.В., та інші
Опубліковано: (2020)

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

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

Решение обратной задачи электрометрии скважин повышенного вертикального разрешения
за авторством: Миронцов, Н.Л.
Опубліковано: (2020)

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

Про одну систему з повторними викликами і ненадійним приладом
за авторством: Лебєдєв, Є.О., та інші
Опубліковано: (2020)

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

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

Нормализованная Φ-функция параллелепипеда и сфероцилиндра
за авторством: Семкин, В.В., та інші
Опубліковано: (2013)

Моделювання та аналіз мімічних проявів емоцій
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2008)

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

Реоптимізація проблем про узагальнену виконуваність з предикатами розмірності 2
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2012)

Сходимость инерционных гибридных алгоритмов расщепления
за авторством: Семёнов, В.В.
Опубліковано: (2018)

Розпаралелювання різницевих схем на основі ДС-алгоритму
за авторством: Грищенко, О.Ю., та інші
Опубліковано: (2011)

Гібридний метод розв'язування обернених граничних задач теорії потенціалу в частково необмежених областях з тріщиною
за авторством: Вінтоняк, Н.І., та інші
Опубліковано: (2007)