Proceedings of ISP RAS

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

Edited by Academician V.P. Ivannikov

Download full volume

Table of Contents

I. Andrianov, V. Mayorov, D. Turdakov Modern Approaches to Aspect-Based Sentiment Analysis pp. 5-22.

D.A. Grushin, N.N. Kuzyurin Load Balancing in Unihub SaaS System Based on User Behavior Prediction pp. 23-34.

A. Aleksiyants, O. Borisenko, D. Turdakov, A. Sher, S. Kuznetsov Implementing Apache Spark jobs execution and Apache Spark cluster creation for Openstack Sahara pp. 35-48.

I. V. Bogomolov, A. Aleksiyants, A. Sher, O. Borisenko, A. Avetisyan A Performance Testing and Stress Testing of Cloud Platform Central Identity: Openstack Keystone Case Study pp. 49-58.

V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov Path-Sensitive Bug Detection Analysis of C# Program Illustrated by Null Pointer Dereference pp. 59-86.

P.S. Andrianov, V.S. Mutilin, A.V. Khoroshilov Lightweight Static Analysis for Data Race Detection in Operating System Kernels pp. 87-116.

M.U. Mandrykin, V.S. Mutilin Modeling Memory with Uninterpreted Functions for Predicate Abstractions pp. 117-142.

E. Kornykhin, A. Khoroshilov Python-Based Constraint Language for Architecture Models pp. 143-156.

A.Tsyvarev, A.Khoroshilov Using fault injection for testing Linux kernel components pp. 157-174.

A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov Integration Points of Operating System Verification Techniques pp. 175-190.

A.S. Asratian, N.N. Kuzyurin Approximating Chromatic Sum Coloring of Bipartite Graphs in Expected Polynomial Time pp. 191-198.

Back to the list of all volumes