Preview

Вестник Донского государственного технического университета

Расширенный поиск

Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений

Полный текст:

Аннотация

Рассмотрен метод обнаружения дедлоков в распределенных системах на этапе проектирования системы. Система представляется в виде модели посредством формальной спецификации с помощью аппарата сетей Петри.

Об авторе

Ольга Федоровна Бабахьян
Ростовский научно-исследовательский институт радиосвязи
Россия


Список литературы

1. Питерсон Дж. Теория сетей Петри и моделирование систем : пер. с англ. / Дж. Питерсон. – М.: Мир, 1984. – 264 с.

2. Котов В.Е. Сети Петри / В. Е. Котов. – М.: Наука, 1984. – 160 с.

3. Krivoi S. A criteria of Compatibility Systems of Linear Diophantine Constraints / S. Krivoi // Lecture Notes in Comp. Science. – 2002. – №2328. – P.264-271.


Для цитирования:


Бабахьян О.Ф. Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений. Вестник Донского государственного технического университета. 2011;11(7):1046-1050.

For citation:


Babakhyan O.F. DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS. Vestnik of Don State Technical University. 2011;11(7):1046-1050. (In Russ.)

Просмотров: 26


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1992-5980 (Print)
ISSN 1992-6006 (Online)