Proceedings of ISP RAS

News

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

14 March, 2019 IV ISP RAS Open Conference will take place in Moscow on 5-6 December 2019

30 December, 2018 Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT

Proceedings of the Institute for System Programming. Volume 23, 2012, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikov

Table of Contents

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.

Back to the list of all volumes