Path querying on acyclic graphs using Boolean grammars

JOURNAL ARTICLE published 2019 in Proceedings of the Institute for System Programming of RAS

Authors: E.N. Shemetova | S.V. Grigorev

Parallelization of implementations of purely sequential algorithms

JOURNAL ARTICLE published 2018 in Proceedings of the Institute for System Programming of the RAS

Authors: A.B. Bugerya | E.S. Kim | M.A. Solovev

Methods of presenting the results of network traffic analysis

JOURNAL ARTICLE published 2016 in Proceedings of the Institute for System Programming of the RAS

Authors: A. I. Get'man | Yu. V. Markin | D. O. Obydenkov | V. A. Padaryan | A. Yu. Tikhonov

Two approaches to full-system deterministic replay in QEMU

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: K. Batuzov | P. Dovgaluk | V. Koshelev | V. Padaryan

Parallel modularity computation for directed weighted graphs with overlapping communities

JOURNAL ARTICLE published 2016 in Proceedings of the Institute for System Programming of the RAS

Authors: M. Drobyshevskiy | A. Korshunov | D. Turdakov

Algorithm for finding specialists with unique skills based on a digital footprint

JOURNAL ARTICLE published 2022 in Proceedings of the Institute for System Programming of the RAS

Authors: Alesander Sergeevich Leonov | Andrey Aleksandrovich Laptev | Anastasia Alexandrovna Laushkina | Mikhael Sinko | Oleg Olegovich Basov

Review of methods for early melanoma computer vision detection

JOURNAL ARTICLE published 2022 in Proceedings of the Institute for System Programming of the RAS

Authors: Alexander Vasilievich Kozachok | Andrei Andreevich Spirin | Elena Sergeevna Kozachok

ELF dynamic analysis tool for IoT systems with symbolic execution

JOURNAL ARTICLE published 2022 in Proceedings of the Institute for System Programming of the RAS

Authors: Roman Dmitrievich Kovalenko | Aleksey Nikolaevich Makarov

Direct numerical simulation of internal gravity wave attractor in trapezoidal domain with oscillating vertical wall

JOURNAL ARTICLE published 2014 in Proceedings of the Institute for System Programming of RAS

Authors: C. Brouzet | Laboratoire de Physique de l’École Normale Supérieure de Lyon, Universite de Lyon, France | T. Dauxois | E. Ermanyuk | S. Joubaud | M. Kraposhin | I. Sibgatullin | Lavrentyev Institute of Hydr odynamics, Novo sibirsk, Russia | National Research Center "Kurchatow institute", Moscow, Russia | Institute of system programming of Russian Academy of Sciences, Moscow, Russia | Faculty of Mechanics and Mathematics, and Institute of Mechanics of Moscow State University, Russia | Shirshov Oceanology Institute of Russian Academy of Sciences, Moscow, Russia

Verification of 10 Gigabit Ethernet Controllers

JOURNAL ARTICLE published 2017 in Proceedings of the Institute for System Programming of the RAS

Authors: M.V. Petrochenkov | R.E. Mushtakov | I.A. Stotland

JOURNAL ISSUE published 2016 in Proceedings of the Institute for System Programming of the RAS

Description of hardware configurations of guest systems in QEMU emulator as separate text files

JOURNAL ARTICLE published 2014 in Proceedings of the Institute for System Programming of RAS

Authors: O.V. Goremykin

Static analyzer debugging and quality assurance approaches

JOURNAL ARTICLE published 2020 in Proceedings of the Institute for System Programming of the RAS

Authors: Maxim Alexandrovich MENSHIKOV

Optimization of Boolean satisfiability solver by caching intermediate results

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: Sergey Vartanov | Denis Sidorov

A Solution to the Equivalent Transformation Problem in a Class of Primitive Program Schemes

JOURNAL ARTICLE published 2015 in Proceedings of the Institute for System Programming of the RAS

Authors: A. Molchanov

Expert Assessment of Verification Tool Results

JOURNAL ARTICLE published 2020 in Proceedings of the Institute for System Programming of the RAS

Authors: Vladimir Anatolyevich Gratinskiy | Evgeny Mikhailovich Novikov | Ilja Sergeevich Zakharov

Processing of raw astronomical data of large volume by MapReduce model

JOURNAL ARTICLE published 2015 in Proceedings of the Institute for System Programming of the RAS

Authors: S. Gerasimov | A. Mesheryakov | I. Kolosov | E. Glotov | I. Popov

On 2D gas dynamics simulation using RKDG method on structured rectangular meshes

JOURNAL ARTICLE published 2018 in Proceedings of the Institute for System Programming of the RAS

Authors: V.N. Korchagova | I.N. Fufaev | S.M. Sautkina | V.V. Lukin

Continuous integrating modules of distributed applied software packages in Orlando Tools

JOURNAL ARTICLE published 2019 in Proceedings of the Institute for System Programming of the RAS

Authors: A.G. Feoktistov | S.A. Gorsky | I.A. Sidorov | R.O. Kostromin | E.S. Fereferov | I.V. Bychkov

Tools of mathematical service MathPartner for parallel computations on a cluster

JOURNAL ARTICLE published 2016 in Proceedings of the Institute for System Programming of the RAS

Authors: E.A. Ilchenko