News
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