Contents
Programming and Computer Software

Vol. 41, No. 1, 2015

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

Parallel Computations on a Graph

I. B. Bourdonov, A. S. Kossatchev, and V. V. Kulyamin p. 1  abstract

Multigrid Effectiveness on Modern Computing Architectures

V. T. Zhukov, M. M. Krasnov, N. D. Novikova, and O. B. Feodoritova p. 14  abstract

Applying Text Mining Methods for Data Loss Prevention

I. V. Mashechkin, M. I. Petrovskiy, D. S. Popov, and D. V. Tsarev p. 23  abstract

A Method for Supporting Runtime Environments Simultaneously Served
by Multiple Memory Managers for Operating Systems Based
on Second-Generation Microkernel

Y. I. Klimiankou p. 31  abstract

The Language Dynamic-Real and Its Application
for Verification of SDL-Specified Distributed Systems

V. A. Nepomniaschy, E. V. Bodin, and S. O. Veretnov p. 41  abstract

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin,
E. M. Novikov, A. K. Petrenko, and A. V. Khoroshilov p.49  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.