DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Don State Technical University
2011-08-01
|
| Series: | Advanced Engineering Research |
| Subjects: | |
| Online Access: | https://www.vestnik-donstu.ru/jour/article/view/823 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849250055933919232 |
|---|---|
| author | Olga F. Babakhyan |
| author_facet | Olga F. Babakhyan |
| author_sort | Olga F. Babakhyan |
| collection | DOAJ |
| description | The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets. |
| format | Article |
| id | doaj-art-0f80ccfc2b5347b9823c608ebc9469bf |
| institution | Kabale University |
| issn | 2687-1653 |
| language | Russian |
| publishDate | 2011-08-01 |
| publisher | Don State Technical University |
| record_format | Article |
| series | Advanced Engineering Research |
| spelling | doaj-art-0f80ccfc2b5347b9823c608ebc9469bf2025-08-20T03:57:22ZrusDon State Technical UniversityAdvanced Engineering Research2687-16532011-08-0111710461050811DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONSOlga F. Babakhyan0Rostov Scientific Research Institute for RadiocommunicationThe method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets.https://www.vestnik-donstu.ru/jour/article/view/823testingparallel programspetri netsdeadlocks. |
| spellingShingle | Olga F. Babakhyan DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS Advanced Engineering Research testing parallel programs petri nets deadlocks. |
| title | DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS |
| title_full | DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS |
| title_fullStr | DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS |
| title_full_unstemmed | DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS |
| title_short | DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS |
| title_sort | detection of deadlocks in parallel programs as solution of linear diophantine equations |
| topic | testing parallel programs petri nets deadlocks. |
| url | https://www.vestnik-donstu.ru/jour/article/view/823 |
| work_keys_str_mv | AT olgafbabakhyan detectionofdeadlocksinparallelprogramsassolutionoflineardiophantineequations |