Comparison of Graph Embeddings for Source Code with Text Models Based on CNN and CodeBERT Architectures

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

Authors: Vitaly Anatolyevich Romanov | Vladimir Vladimirovich Ivanov

Requirements management for safety-critical systems. Overview of solutions

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

Authors: N.K. Gorelits | D.S. Kildishev | A.V. Khoroshilov

A Mandatory Integrity Control Model for the KasperskyOS Operating System

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

Authors: Vladimir Sergeevic Burenkov | Dmitry Aleksandrovich Kulagin

A survey of emerging models and methods of scheduling

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

Authors: A.S. Anichkin | V.A. Semenov

An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given

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

Authors: D.O. Lazarev | N.N. Kuzyurin

Determining cloud platform limits on resource migration

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

Authors: A.S. Chadin | G.A. Biziukin

Data-Oriented scheduling with Dynamic-Clustering fault-tolerant technique for Scientific Workflows in Clouds

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

Authors: Z. Ahmad | A.I. Jehangiri | M. Iftikhar | A.I. Umer | I. Afzal

Formal Verification of a Mandatory Integrity Control Model for the KasperskyOS Operating System

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

Authors: Vladimir Sergeevich Burenkov

Secure and Reliable Data Transmission Over MANET Based On Principles of Computationally Secure Secret Sharing

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

Authors: N.I. Chervyakov | M.A. Deryabin | A.S. Nazarov | M.G. Babenko | N.N. Kucherov | A.V. Gladkov | G.I. Radchenko

Methods of gait recognition in video

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

Authors: A.I. Sokolova | A.S. Konushin

Introduction

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

Authors: V.P. Ivannikov

General approaches to the design of the access subsystem of high-performance computing systems

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

Authors: Sergey Mokshin

Evaluating a number of cache coherency misses based on a statistical model

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

Authors: Evgeny Velesevich

Model and declarative specification language of binary data formats

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

Authors: Alexander Aleksandrovich Evgin | Mikhail Aleksandrovich Solovev | Vartan Andronikovich Padaryan

Type-2 Fuzzy Rule-Based Model of Urban Metro Positioning Service

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

Authors: A.R. Gimaletdinova | K.Y. Degtiarev

Using the identification of threads of execution when solving problems of full-system analysis of binary code

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

Authors: Ivan Aleksandrovich Vasiliev | Pavel Mikhailovich Dovgalyuk | Maria Anatolyevna Klimushenkova

Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform

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

Authors: D.I. Samokhvalov | L.W. Dworzanski

To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement

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

Authors: P.V. Fedotovsky | G.A. Erokhin | K.E. Cherednik | K.K. Smirnov | G.A. Chernishev

Research and development of interprocedural algorithms for defect searching in executable program code

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

Authors: G.S. Ivanov | P.M. Palchickov | A.Y. Tarasov | G.S. Akimov | A.K. Aslanyan | V.G. Vardanyan | M.S. Arutunian | G.S. Keropyan

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms

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

Authors: A. Kamkin | A. Protsenko | A. Tatarnikov