Geodesic
Checkup оf logical structure correctness for multitask software applications
News of the Kabardin-Balkar scientific center of RAS, no. 1 (2011), pp. 213-216

Voir la notice de l'article provenant de la source Math-Net.Ru

A method is suggested that serves for checking the structure of multitask software application with mutex synchronization in case of possible opportunity of actual tasks mutual blocking. The method is based on development and analysis of special multi-fraction oriented graphs where the number of peaks increases linearly with task number.
Keywords: multitask software applications, mutual resources, synchronization mechanisms, system state graph, deadlocks, clinches. 
@article{IZKAB_2011_1_a37,
     author = {V. V. Nikiforov and V. I. Shkirtil},
     title = {Checkup {\cyro}f logical structure correctness for multitask software applications},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {213--216},
     publisher = {mathdoc},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/}
}
TY  - JOUR
AU  - V. V. Nikiforov
AU  - V. I. Shkirtil
TI  - Checkup оf logical structure correctness for multitask software applications
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2011
SP  - 213
EP  - 216
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/
LA  - ru
ID  - IZKAB_2011_1_a37
ER  - 
%0 Journal Article
%A V. V. Nikiforov
%A V. I. Shkirtil
%T Checkup оf logical structure correctness for multitask software applications
%J News of the Kabardin-Balkar scientific center of RAS
%D 2011
%P 213-216
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/
%G ru
%F IZKAB_2011_1_a37
V. V. Nikiforov; V. I. Shkirtil. Checkup оf logical structure correctness for multitask software applications. News of the Kabardin-Balkar scientific center of RAS, no. 1 (2011), pp. 213-216. http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/