Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 1119 results
Sort by: relevance publication year
Showing results for ISSN matching 2079-8156

On the model checking of finite state transducers over semigroups

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

Authors: A.R. Gnatenko | V.A. Zakharov

https://doi.org/10.15514/ispras-2018-30(3)-21 Actions

Description of the approach to development of the obfuscating compiler

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

Authors: S.F. Kurmangaleev | V.P. Korchagin | H.A. Matevosyan

https://doi.org/10.15514/ispras-2012-23-4 Actions

Instruction scheduling and software pipelining for modern architectures

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

Authors: Arutyun Avetisyan

https://doi.org/10.15514/ispras-2012-22-2 Actions

Data Mining Methods to Compare Englishes

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

Authors: Olga Valer’evna Donina

https://doi.org/10.15514/ispras-2022-34(5)-10 Actions

Incremental source code analysis for C/C++ languages

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

Authors: V.O. Savitskiy | D.V. Sidorov

https://doi.org/10.15514/ispras-2012-22-8 Actions

Statically detecting buffer overflows in C/C++

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

Authors: I. Dudina | V. Koshelev | A. Borodin

https://doi.org/10.15514/ispras-2016-28(4)-9 Actions

Calculation of the disintegration of any break in the flow of a two-speed two-phase incompressible

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

Authors: B.L. Kantsyrev | Institute of Oceanology Russia,Moscow, Nahimovsky broad street 36

https://doi.org/10.15514/ispras-2014-26(5)-9 Actions

Visual Parallel Programming as PaaS cloud service with Graph-Symbolic Programming Technology

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

Authors: D. Egorova | V. Zhidchenko

https://doi.org/10.15514/ispras-2015-27(3)-3 Actions

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

https://doi.org/10.15514/ispras-2020-32(2) Actions

Remote Service of System Calls in Microkernel Hypervisor

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

Authors: K. Mallachiev | N. Pakulin

https://doi.org/10.15514/ispras-2015-27(3)-18 Actions

Solving parallel equations for Finite State Machines with Timeouts

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

Authors: O. Kondratyeva | N. Yevtushenko | A. Cavalli

https://doi.org/10.15514/ispras-2014-26(6)-8 Actions

The organization of the totally self-checking integrated control circuit based on the Boolean complement method up to «2-out-of-4» constant-weight code

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

Authors: D.V. Efanov | V.V. Sapozhnikov | Vl.V. Sapozhnikov | D.V. Pivovarov

https://doi.org/10.15514/ispras-2018-30(2)-6 Actions

Virtual GIS laboratory as a tool for spatial data analysis

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

Authors: A. Koshkarev | A. Medvedev | Yu. Vishnyakov | S. Polikarpov | A. Sotnikov

https://doi.org/10.15514/ispras-2012-23-14 Actions

Static verification for memory safety of Linux kernel drivers

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

Authors: A.A. Vasilyev

https://doi.org/10.15514/ispras-2018-30(6)-8 Actions

Vehicle Image Classifier for Bridge Displacement Correlation

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

Authors: Wendy Flores-Fuentes

https://doi.org/10.15514/ispras-2021-33(2)-8 Actions

Batch Symmetric Fully Homomorphic Encryption Using Matrix Polynomials

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

Authors: Ph. Burtyka | Southern Federal University, 105/42, Bolshaya Sadovaya st., Rostov-on-Don, 344006, Russia

https://doi.org/10.15514/ispras-2014-26(5)-5 Actions

Analysis of Traffic Congestion in Main Streets of Electronic city using Traffic Congestion Index and Artificial Neural Network (Case Study: Hamedan City)

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

Authors: Mehdi SHIRMOHAMMADI | Mansour ESMAEILPOUR

https://doi.org/10.15514/ispras-2020-32(3)-12 Actions

Approaches to estimate location of social network users based on social graph

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

Authors: Y.S. Trofimovich | I.S. Kozlov | D.Y. Turdakov

https://doi.org/10.15514/ispras-2016-28(6)-13 Actions

Combined Classifier for Website Messages Filtration

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

Authors: V. Tarasov | E. Mezenceva | D. Karbaev

https://doi.org/10.15514/ispras-2015-27(3)-20 Actions

Technical debt in the software development lifecycle: code smells

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

Authors: Vladimir Vladimirovich Kachanov | Mikhail Kirillovich Ermakov | Georgiy Alexandrovich Pankratenko | Alexander Vyacheslavovich Spiridonov | Alexander Sergeevich Volkov | Sergei Igorevich Markov

https://doi.org/10.15514/ispras-2021-33(6)-7 Actions
Feedback: support@crossref.org