|
|
Publications in Math-Net.Ru |
Citations |
|
2013 |
1. |
V. V. Nikiforov, V. I. Shkirtil, “Estimation of blocking factor for tasks in real-time systems with multi-core processors”, Tr. SPIIRAN, 27 (2013), 93–106 |
1
|
|
2012 |
2. |
V. V. Nikiforov, V. I. Shkirtil, “Response time estimation for task chains in destributed real-time systems.”, Tr. SPIIRAN, 23 (2012), 134–156 |
|
2011 |
3. |
V. V. Nikiforov, V. I. Shkirtil, “Checkup îf logical structure correctness for multitask software applications”, News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1, 213–216 |
|
2010 |
4. |
V. V. Nikiforov, V. I. Shkirtil, “Itinarary nets – the graphical formalism for presentation of real-time sofware application strucrures”, Tr. SPIIRAN, 14 (2010), 7–28 |
2
|
|
2009 |
5. |
V. V. Nikiforov, V. I. Shkirtil, “Specification of interfaces in real-time software applications by XML forms”, Tr. SPIIRAN, 11 (2009), 159–175 |
2
|
6. |
D. Yu. Skorlyshev, V. I. Shkirtil, “Method of external component integration to instrumental system in conditions of limited abilities of source code modification”, Tr. SPIIRAN, 8 (2009), 285–291 |
|
Organisations |
|
|
|
|