Buchumschlag

Peterson’s Algorithm total correctness proof in IPCL

Доведено тотальну коректність алгоритму Пітерсона. За програмою зафіксовано стани та переходи транзиційної системи. Середо-вище виконання – паралельне з почерговим переключенням зі спільною пам’яттю. Сформульовано інваріант. Судження проведено в рамках методу доведення властивостей програм в Interle...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2016
1. Verfasser:	Zhygallo, A.A.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2016
Schlagworte:	Паралельне програмування. Розподілені системи і мережі
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/126396
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Peterson’s Algorithm total correctness proof in IPCL / A.A. Zhygallo // Проблеми програмування. — 2016. — № 2-3. — С. 113-118. — Бібліогр.: 12 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Peterson&#039;s Algorithm total correctness proof in IPCL
von: A. A. Zhygallo
Veröffentlicht: (2016)

Parallel implementation of italiano's incremental algorithm for dynamic updating the transitive closure
von: Nepomniaschaya, A.S.
Veröffentlicht: (2008)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
von: Nepomniaschaya, A.S.
Veröffentlicht: (2010)

A machine learning approach to server-side anti-spam e-mail filtering
von: Mashechkin, I., et al.
Veröffentlicht: (2006)

GRID-Infrastructure simulation
von: Shelestov, A.Ju., et al.
Veröffentlicht: (2006)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2022)

I/O benchmarking of data intensive applications
von: Mordvinova, Olga, et al.
Veröffentlicht: (2010)

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

Автоматизована розробка паралельної розподіленої системи обробки потокових даних
von: Тітов, Д.С., et al.
Veröffentlicht: (2016)

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

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

Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU
von: Погорілий, С.Д., et al.
Veröffentlicht: (2016)

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

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

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

Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
von: Ластовченко, М.М., et al.
Veröffentlicht: (2006)

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

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

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

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

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

Сетевые журнальные файловые системы на основе серверов реляционных баз данных
von: Гаврилюк, А.Б., et al.
Veröffentlicht: (2006)

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

Проектирование инструментария сетевого программного продукта. Современное состояние и перспективы развития
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2010)

Обробка даних у гетерогенних мережах типа GRID
von: Стеняшин, А.Ю.
Veröffentlicht: (2012)

Метод распараллеливания нелинейных задач
von: Паулин, О.Н., et al.
Veröffentlicht: (2010)

Оптимизация запросов в системах баз данных на параллельных структурах
von: Щетинин, Д.И.
Veröffentlicht: (2006)

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

Исследование блочно-циклических алгоритмов на семействе кластеров СКИТ
von: Химич, А.Н., et al.
Veröffentlicht: (2006)

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

Проблемы эффективности автоматического динамического распараллеливания вычислений для многопроцессорных компьютерных систем со слабой связью
von: Левченко, Р.И., et al.
Veröffentlicht: (2010)

Принципи проектування GPGPU-застосувань на основі мереж Петрі
von: Погорілий, С.Д., et al.
Veröffentlicht: (2014)

Имитационная модель и ее программная реализация планирования ресурсов грид-системы
von: Минухин, С.В., et al.
Veröffentlicht: (2012)

Багаторівнева модель паралельних обчислень для задач лінійної алгебри
von: Попов, О.В., et al.
Veröffentlicht: (2018)

Особливості застосування генетичного алгоритму балансування навантаження в мережі
von: Погорілий, С.Д., et al.
Veröffentlicht: (2012)

Система управления кластером для комплексов семейства «ИНПАРКОМ»
von: Ющенко, Р.А.
Veröffentlicht: (2010)

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

Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)

Дослідження шаблонів синхронізації та їх використання в технології GPGPU
von: Погорілий, С.Д., et al.
Veröffentlicht: (2014)