Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
V. Koshelev, V. Ignatyev, A. Borzilov C# static analysis framework pp. 21-40.
A. Dergachev, A. Sidorin Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution pp. 41-62.
E.A. Kudryashov, D.M. Melnik, A.V. Monakov Dynamic loader optimization for ARM pp. 63-80.
V. Platonov, A. Monakov Overlapping communications and computations in GPU-based iterative linear solvers pp. 81-92.
E.V. Palchevsky, A.R. Khalikov Uniformly distributed load of hardware and software core in the UNIX-based systems pp. 93-102.
I.B. Burdonov, A.S. Kossatchev Testing of automata system pp. 103-130.
I.B. Burdonov, A.S. Kossatchev Automata system: composition according to graph of links pp. 131-150.
I.B. Burdonov, A.S. Kossatchev Automata system: determinism conditions and testing pp. 151-184.
A. Tsynaeva, M. Nikitin Numerical modeling of rectangular channel with shallow dumbbell dimples based Code Saturne pp. 185-196.
A.I. Ryakhovskiy, A.A. Schmidt MHD supersonic flow control: OpenFOAM simulation pp. 197-206.
N.F. Dimitrieva, Yu.D. Chashechkin High-performance numerical simulation of stratified flows around a wedge in OpenFOAM pp. 207-220.
E. Davydova, V. Korchagova Open-source software for modelling of free surface flows pp. 243-258.
K.S. Kuzmina, I.K. Marchevsky On the estimations of efficiency and error of fast algorithm in vortex element method pp. 259-274.
M. Providukhina, I. Sibgatullin Application of statistical and spectral methods to computational modeling of internal wave attractors pp. 275-282.