Proceedings of ISP RAS


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

Download full volume
PDF


Table of Contents

V. Vardanyan Profile-based optimizations for JavaScript programs pp. 5-20.

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.

V. Puzikova Realization of parallel computations in the software package «LS-STAG_turb» for viscous incompressible flow simulation on systems with shared memory pp. 221-242.

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.

Back to the list of all volumes