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

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

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

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

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

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

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

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

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.

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

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

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

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

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.

Back to the list of all volumes