Proceedings of ISP RAS

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

Download full volume

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.

Back to the list of all volumes