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

Еквівалентність двох систем паралельного виконання

Досліджується метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять. У роботі розглянуто дві системи паралельного виконання програм та наведено обґрунтування взаємної виразності двох цих пі...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2018
Автори:	Панченко, Т.В., Fabunmi Sunmade
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2018
Теми:	Паралельне програмування. Розподілені системи і мережі
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/144587
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Еквівалентність двох систем паралельного виконання / Т.В. Панченко, Fabunmi Sunmade // Проблеми програмування. — 2018. — № 2-3. — С. 93-98. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Доведення властивості коректної роботи банківської системи виплати грошових переказів
за авторством: Остаповська, Ю.А., та інші
Опубліковано: (2016)

Паралельні алгоритми розв’язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп’ютерах з процесорами Intel Xeon Phi
за авторством: Герасимова, Т.О., та інші
Опубліковано: (2018)

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

Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2014)

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

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

Застосування реалізацій стандартів OGC для створення розподілених систем візуалізації та надання геопросторових даних
за авторством: Кравченко, О.М., та інші
Опубліковано: (2006)

Підвищення ефективності систем із сервісно-орієнтованою архітектурою за рахунок оцінки і розподілу навантаження
за авторством: Туліка, Є.М.
Опубліковано: (2010)

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

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

Исследование блочно-циклических алгоритмов на семействе кластеров СКИТ
за авторством: Химич, А.Н., та інші
Опубліковано: (2006)

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

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

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

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

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

Методи обслуговування запитів агентом-брокером
за авторством: Шевченко, О.В.
Опубліковано: (2006)

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

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

Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2018)

Особливості застосування генетичного алгоритму балансування навантаження в мережі
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2012)

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

GRID ресурси Інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка
за авторством: Судаков, О.О., та інші
Опубліковано: (2006)

Генетичний алгоритм розв'язання задачі маршрутизації в мережах
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2010)

Оптимизация обработки больших масcивов данных в кластерных системах
за авторством: Назаренко, Е.В., та інші
Опубліковано: (2010)

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

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

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

Суперкомпьютерные кластерные системы – организация вычислительного процесса
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)

Сетевые журнальные файловые системы на основе серверов реляционных баз данных
за авторством: Гаврилюк, А.Б., та інші
Опубліковано: (2006)

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

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

Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)

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

Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища
за авторством: Іваненко, П.А., та інші
Опубліковано: (2010)

Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
за авторством: Березовський, К.А., та інші
Опубліковано: (2010)

Система керування грід-завданнями віртуальної лабораторії, що ґрунтується на асинхронній обробці подій
за авторством: Сальніков, А.О.
Опубліковано: (2012)

Обробка даних у гетерогенних мережах типа GRID
за авторством: Стеняшин, А.Ю.
Опубліковано: (2012)

Принципи проектування GPGPU-застосувань на основі мереж Петрі
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)

Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі
за авторством: Слюсар, Є.А.
Опубліковано: (2012)