Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
A. I. Get'man , V.P. Ivannikov, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov Model of Data Handling for In-Depth Analysis of Network Traffic pp. 5-22.
I.A. Vakhrushev, V.V. Kaushan, V.A. Padaryan, A.N. Fedotov Search Method for Format String Vulnerabilities pp. 23-38.
Evgeny Velesevich Evaluating a number of cache coherency misses based on a statistical model pp. 39-48.
M.U. Mandrykin, A.V. Khoroshilov Towards Deductive Verification of C Programs with Shared Data pp. 49-68.
S.V. Morozov, D.V. Ilyin, V.A. Semenov, O.A. Tarlapan A Constraint Library for Specification of Industrial Data Models pp. 69-110.
E. Tutubalina Sentiment-Based Topic Model for Mining Usability Issues and Failures with User Products pp. 111-128.
A. Gomzin, S. Kuznetsov Methods for Construction of Socio-Demographic Profile of Internet Users pp. 129-144.
V.A.Zakharov, V.V.Podymov On the application of equivalence checking algorithms for program minimization pp. 145-174.