Parallel computations on a graph I. B. BourdonovA. S. KossatchevV. V. Kulyamin OriginalPaper 22 January 2015 Pages: 1 - 13
Multigrid effectiveness on modern computing architectures V. T. ZhukovM. M. KrasnovO. B. Feodoritova OriginalPaper 22 January 2015 Pages: 14 - 22
Applying text mining methods for data loss prevention I. V. MashechkinM. I. PetrovskiyD. V. Tsarev OriginalPaper 22 January 2015 Pages: 23 - 30
A method for supporting runtime environments simultaneously served by multiple memory managers for operating systems based on second-generation microkernel Y. I. Klimiankou OriginalPaper 22 January 2015 Pages: 31 - 40
The language dynamic-real and its application for verification of SDL-specified distributed systems V. A. NepomniaschyE. V. BodinS. O. Veretnov OriginalPaper 22 January 2015 Pages: 41 - 48
Configurable toolset for static verification of operating systems kernel modules I. S. ZakharovM. U. MandrykinA. V. Khoroshilov OriginalPaper 22 January 2015 Pages: 49 - 64