Proceedings of ISP RAS

V.P. Ivannikov. Introduction. pp. 7-12.

V.A.Zakharov, T.A. Novikova. Polynomial time algorithm for checking strong equivalence of program. pp. 455-476.

S.N. Zhuk. On-line algorithm for scheduling parallel tasks on a group of related clusters. pp. 447-454.

D.A. Grushin, N.N. Kuzyurin. Energy-efficient computations on a group of clusters. pp. 433-446.

A.V. Shokurov, K.V. Sergeev. On Constructing a Fully Homomorphic Encryption. pp. 427-432.

A.V. Tsyvarev, V.A. Martirosyan. Testing of Linux File System Drivers. pp. 413-426.

D. Beyer, A.K. Petrenko. Linux Driver Verification. pp. 405-412.

A. Nikeshin, N. Pakulin, V. Shnitman. Test Suite development for verification of TLS security protocol. pp. 387-404.

E.M. Novikov, A.V. Khoroshilov. Using Aspect-Oriented Programming for Querying Source Code. pp. 371-386.

V.V. Kuliamin. Combinatorial generation of operation system software configurations. pp. 359-370.

Igor Burdonov, Alexander Kosachev. Error dependencies on classes of implementations under testing. pp. 323-358.

Ekaterina Ivannikova. Periodic event sets detection in temporal databases. pp. 307-322.

A. Pigul. Comparative Study Parallel Join Algorithms for MapReduce environment. pp. 285-306.

Kuznetcov Konstantin. Linkset–based Data Integration System for LOD Space. pp. 277-284.

A.A. Alekseev, N.V. Loukachevitch. Use of Multiple Features for Extracting Topics from News Clusters. pp. 257-276.

A. Koshkarev, A. Medvedev, Yu. Vishnyakov, S. Polikarpov, A. Sotnikov. Virtual GIS laboratory as a tool for spatial data analysis. pp. 245-256.

Anton Korshunov, Andrey Gomzin. Topic modeling in natural language texts. pp. 215-244.

Mendkovich N.A., Kuznetcov S.D. An Overwiew of Evolution of Lexical Query Optimization Techniques. pp. 195-214.

Kuznetsov S.D., Prokhorov A.A. Flash-based algorithms of database buffer management. pp. 173-194.

Andrey Poskonin. Web applications and data: achieving abstraction and scalability. pp. 159-172.

Pavel Klemenkov, Sergey Kuznetsov. Big data: modern approaches to storage and analysis. pp. 143-158.

Savitskiy V.O., Sidorov D.V. Lazy source code analysis for C/C++ languages. pp. 133-142.

N.L. Lugovskoy. The refactoring approach used in Klocwork Insight toolkit. pp. 107-132.

Nazarov A.G., Klimushenkova M.A., Dovgalyuk P.M., Makarov V.A. Raising the level of abstraction of program’s execution trace. pp. 93-106.

Kurmangaleev S.F., Korchagin V.P., Savchenko V.V., Sargsyan S.S. Building obfuscation compiler based on LLVM infrastructure. pp. 77-92.

Kurmangaleev S.F., Korchagin V.P., Matevosyan H.A. Description of the approach to development of the obfuscating compiler. pp. 67-76.

M.G. Bakulin, S.S. Gaissaryan, Sh.F. Kurmangaleev, I.N. Ledovskikh, V.A. Padaryan, S.M. Shchevyeva. Dynamic analysis of virtualization- or dispatching-obfuscated applications. pp. 49-66.

Alexey Merkulov, Andrey Belevantsev. Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator. pp. 33-48.

M.S. Akopyan. Extension of ParJava model for HPC clusters with multicore nodes. pp. 13-32.