Proceedings of ISP RAS

Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikov

Download full volume

Table of Contents

Academician V.P. Ivannikov Preface pp. 5-6.

D. Maksimenkov Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations pp. 7-20.

Dmitry Botcharnikov Approaches to Optimizing V8 JavaScript Engine pp. 21-32.

V. Vardanyan, V. Ivanishin, S. Asryan, A. Khachatryan, J. Hakobyan Dynamic Compilation of JavaScript Programs to the Statically Typed LLVM Intermediate Representation pp. 33-48.

O.A. Chetverina Methods of Profile Information Correction during Compilation pp. 49-66.

Roman Zhuykov, Eugene Sharygin Ahead of Time Optimization for JavaScript Programs pp. 67-86.

E.V. Palchevsky, A.R. Khalikov Technique the Instrumentation A Code And Optimization of Code Lines in Modeling Phase Transitions on the Programming Language C++ pp. 87-96.

Ksenia Dolgorukova Implementation of Memory Scalability Approach for LLVM-Based Link-Time Optimization and Static Analyzing Systems pp. 97-110.

A. Borodin, A. Belevancev A Static Analysis Tool Svace as a Collection of Analyzers with Various Complexity Levels pp. 111-134.

I. Kulagin, M. Kurnosov Instrumentation and Optimization of Transactional Sections Execution in Multithreaded Programs. pp. 135-150.

E.A. Karpulevitch Using Different Views Java-Programs for Static Analysis pp. 151-158.

N.I. Fursova, P.M. Dovgalyuk, I.A. Vasiliev Using ABI for Virtual Machines Introspection pp. 159-168.

A. Kanatov, E. Zouev The Concept of Inheritance in Modern Programming Languages pp. 169-188.

A.Ermolitckii, M.Neiman-Zade, O.Chetverina, A.Markin, V.Volkonskii Aggressive Inlining for VLIW pp. 189-198.

G.R. Garay, A. Tchernykh, A.Yu. Drozdov Comparative Analysis of Frameworks for the Performance Evaluation of Multi-tier Cloud Applications pp. 199-224.

Alexander Tormasov, Anatoly Lysov, Emil Mazur Distributed Data Storage Systems: Analysis, Classification and Choice pp. 225-252.

L. Ivanichkina, A. Neporada The Reliability Model of a Distributed Data Storage in Case of Explicit and Latent Disk Faults pp. 253-274.

G. Radchenko Model of Problem-Oriented Cloud Computing Environment pp. 275-284.

A. Skatkov, V. Shevchenko Expansion of reference model for the cloud computing environment in the concept of large-scale scientific researches pp. 285-306.

A. Chadin Dynamic Optimization of Workload on Compute Nodes in Private, Public and Hybrid Clouds pp. 307-314.

S. Gerasimov, A. Mesheryakov, I. Kolosov, E. Glotov, I. Popov Processing of Raw Astronomical Data of Large Volume by MapReduce Model pp. 315-334.

A.N. Pankratov, R.K. Tetuev, M.I. Pyatkov, V.P. Toigildin, N.N. Popova Spectral Analytical Method of Recognition of Inexact Repeats in Character Sequences pp. 335-344.

N. Balashov, A. Baranov, V. Korenkov, N. Kutovskiy, A. Nechaevskiy, R. Semenov JINR Cloud Service: Status and Perspectives pp. 345-354.

F. Armenta-Cano, A. Tchernykh, J. M. Cortés-Mendoza, R. Yahyapour, A. Yu. Drozdov, P. Bouvry, D. Kliazovich, A. Avetisyan, S. Nesmachnow Min_c: Heterogeneous Concentration Policy for Power Aware Scheduling pp. 355-380.

A. Trepacheva Derandomization Security of Homomorphic Encryption pp. 381-394.

Y. Matveev, N. Stukalova Computer-Aided Operational Management Technogenic Chemical-Technological Objects at Occurrence of Beyond Design Basis Emergency Situations pp. 395-408.

S. Polyakov, A. Vyrodov, D. Puzyrkov, M. Yakobovskiy Cloud Service for Decision of Multiscale Nanotechnology Problems on Supercomputer Systems pp. 409-420.

A. Ermakov, S. Klimenko, A. Merkulov, S. Panfilov, A.N. Raikov Cloud Framework for the Networked Expert and Analytical Tools Integration pp. 421-440.

N. Kushik Checking Experiments with Non-Observable Tree FSMs pp. 441-450.

Back to the list of all volumes