Показати скорочений опис матеріалу
dc.contributor.author | Литвинов, В. В.![]() |
|
dc.contributor.author | Казимир, В. В.![]() |
|
dc.contributor.author | Гавсиевич, І. Б.![]() |
|
dc.date.accessioned | 2016-02-16T14:43:10Z | |
dc.date.available | 2016-02-16T14:43:10Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://ir.stu.cn.ua/123456789/9057 | |
dc.description | Казимир, В. В. Алгоритм паралельного виконання та синхронізації Е-мережі / В. В. Литвинов, В. В. Казимир, И. Б. Гавсиевич // Математичні машини і системи. – 2005. - № 4. – С. 72 - 83. | en_US |
dc.description.abstract | В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара. | en_US |
dc.language.iso | uk | en_US |
dc.relation.ispartofseries | ;№ 4 | |
dc.subject | распределенное имитационное моделирование | en_US |
dc.subject | синхронизация параллельных программ | en_US |
dc.subject | Е-сети | en_US |
dc.subject | консервативная схема | en_US |
dc.subject | CSP | en_US |
dc.subject | distributed simulation | en_US |
dc.subject | parallel program synchronization | en_US |
dc.subject | E-nets | en_US |
dc.subject | conservative approach | en_US |
dc.title | Алгоритм паралельного виконання та синхронізації Е-мережі | en_US |
dc.type | Article | en_US |