Proceedings of ISP RAS

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.