Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Corresponding Member of RAS A.I. Avetisyan
Table of Contents
B.M. Shabanov, O.I. Samovarov Building the Software Defined Data Center pp. 7-24.
A.Yu. Gerasimov, S.S. Sargsyan, S.Sh. Kurmangaleev, J.A. Hakobyan, S.A. Asryan, M.K. Ermakov Combining dynamic symbolic execution, code static analysis and fuzzing pp. 25-38.
M.A. Solovev, M.G. Bakulin, M.S. Gorbachev, D.V. Manushin, V.A. Padaryan, S.S. Panasenko Next generation intermediate representations for binary code analysis pp. 39-68.
I.B. Burdonov, N.V. Evtushenko, A.S. Kossatchev Testing switch rules in software defined networks pp. 69-88.
A.V. Nikeshin, V.Z. Shnitman Conformance testing of Extensible Authentication Protocol implementations pp. 89-104.
D.O. Lazarev, N.N. Kuzyurin On-line algorithm for scheduling parallel tasks on related computational clusters with processors of different capacities and it’s average-case analysis pp. 105-122.
D.A. Grushin, N.N. Kuzyurin On an effective scheduling problem in computation clusters pp. 123-142.
A.A. Vasilyev Static verification for memory safety of Linux kernel drivers pp. 143-160.
S.V. Kozin Linux kernel configuration build for application systems pp. 161-170.
Y.R. Nedumov, S.D. Kuznetsov Exploratory search for scientific articles pp. 171-198.
A. A. Avetisyan, M. D. Drobyshevskiy, D.Yu. Turdakov Methods for Information Spread Analysis pp. 199-220.
A.V. Glazkova Automatic search for fragments containing biographical information in a natural language text pp. 221-236.
K.S. Petrishchev, V.A. Zolotov, V.A. Semenov A system of operators for spatial-temporal analysis of dynamic scenes pp. 237-258.
M.V. Kraposhin, S.V. Strijhak The problem-oriented library SOWFA for solving the applied tasks of wind energy pp. 259-274.
M.V. Kraposhin Multiscale approach for simulation of complex transient processes of fluid flows in technical systems pp. 275-292.
A.V. Shokurov Minimal basis of the syzygies module of leading terms pp. 293-304.
A.M. Vodovozov, D.S. Poletaev Programming of digital linear phase filter in ARMv8 architecture pp. 305-314.
V.G. Melnikova Testing different numerical methods opportunities for internal flows simulation pp. 315-328.
N.A. Polibina Mathematical modeling of polymeric cover outgassing process in open space conditions pp. 329-340.
D.V. Buzdalov, A.K. Petrenko, A.V. Khoroshilov On representation of simulation time in functional programming style pp. 341-366.
V.V. Kuliamin, A.K. Petrenko, A.V. Khoroshilov Component-based verification of operating systems pp. 367-382.