Proceedings of ISP RAS

Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikov

Download full volume

Table of Contents

I.S. Zakharov, M.U. Mandrykin, V.S. Mutilin, E.M. Novikov, A.K. Petrenko, A.V. Khoroshilov. Configurable Toolset for Static Verification of Operating Systems Kernel Modules. pp. 5-42.

Igor Burdonov, Alexander Kosachev. Graph learning by a set of automata. pp. 43-86.

O.V.Goremykin. Description of hardware configurations of guest systems in QEMU emulator as separate text files. pp. 87-96.

V.K. Koshelev, A.O. Izbyshev, I.A. Dudina. Interprocedural taint analysis for LLVM-bitcode. pp. 97-118.

P.M. Dovgalyuk, Y.V. Markin. Using Deterministic Replay for Software Fault Injection. pp. 119-136.

Yu.B. Vorobyev, P. Kudinov, M. Jeltsov, К. Kööp, T.V.K. Nhat. Application of information technologies (genetic algorithms, neural networks, parallel calculations) in safety analysis of Nuclear Power Plants. pp. 137-158.

V.I. Gonakhchyan. Survey of polygonal surface simplification algorithms on GPU. pp. 159-174.

V.A. Zolotov, V.A. Semenov. Effective spatio-temporal indexing methods for visual modeling of large industrial projects. pp. 175-196.

V.A. Semenov, S.V. Morozov, D.V. Ilyin. A combined method for verification of large-scale data models. pp. 197-230.

L.E. Karpov, V.N. Yudin. Lowing ambiguity level in object state estimation in a case-based control system. pp. 231-244.

T.A. Novikova, V.A. Zakharov. Two-sided program unification and its application to program refactoring. pp. 245-268.

Varnovskij N.P., Martishin S.А., Khrapchenko M.V., Shokurov А.V. A Threshold Cryptosystem in Secure Cloud Computations. pp. 269-274.

D.A. Nosov. Syntactical characterization of nondeterministic logspace complexity class. pp. 275-296.

Back to the list of all volumes