nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Baget real-time operating system family (features, comparison, and future development)
|
Godunov, A. N. |
|
2014 |
40 |
5 |
p. 259-264 |
artikel |
2 |
Evolution of the UniTESK test development technology
|
Kulyamin, V. V. |
|
2014 |
40 |
5 |
p. 296-304 |
artikel |
3 |
Influence of regular system interrupts on performance of parallel stencil computations
|
Kalgin, K. V. |
|
2014 |
40 |
5 |
p. 223-228 |
artikel |
4 |
Methods and software tools to support combined binary code analysis
|
Padaryan, V. A. |
|
2014 |
40 |
5 |
p. 276-287 |
artikel |
5 |
Performance analysis of concurrent systems in algebra dtsiPBC
|
Tarasyuk, I. V. |
|
2014 |
40 |
5 |
p. 229-249 |
artikel |
6 |
Program models for diagnosis of information control systems
|
Bezmen, G. V. |
|
2014 |
40 |
5 |
p. 250-258 |
artikel |
7 |
Static analyzer Svace for finding defects in a source program code
|
Ivannikov, V. P. |
|
2014 |
40 |
5 |
p. 265-275 |
artikel |
8 |
Texterra: A framework for text analysis
|
Turdakov, D. Yu. |
|
2014 |
40 |
5 |
p. 288-295 |
artikel |