DSpace Repository

Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC

Show simple item record

dc.contributor.author Тарасюк, Игорь Валерьевич
dc.date.accessioned 2014-10-24T17:54:34Z
dc.date.available 2014-10-24T17:54:34Z
dc.date.issued 2009
dc.identifier.citation Тарасюк И.В. Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC // Вестник НГУ. Серия: Математика. 2009. Т.9. Вып.4. С. 90–117. ru_RU
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/1980
dc.description.abstract Исчисление боксов Петри PBC — известная алгебра параллельных процессов с семантикой сетей Петри. Автором было разработано дискретно-временное стохастическое расширение dtsPBC конечного PBC, дополненное позже оператором итерации. В этой работе в рамках dtsPBC с итерацией на примере системы с разделяемой памятью описывается метод моделирования, анализа производительности и сохраняющей поведение редукции параллельных процессов со стохастическими временными задержками. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.subject стохастическая алгебра процессов ru_RU
dc.subject стохастическая сеть Петри ru_RU
dc.subject исчисление боксов Петри ru_RU
dc.subject итерация ru_RU
dc.subject дискретное время ru_RU
dc.subject система переходов ru_RU
dc.subject операционная семантика ru_RU
dc.subject денотационная семантика ru_RU
dc.subject стохастическая эквивалентность ru_RU
dc.subject моделирование ru_RU
dc.subject анализ производительности ru_RU
dc.subject редукция ru_RU
dc.subject dts-бокс ru_RU
dc.title Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC ru_RU
dc.title.alternative Modeling and performance analysis of concurrent processes in the algebra dtsPBC ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account