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

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

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

Testing of automata system

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

Authors: I.B. Burdonov | A.S. Kossatchev

https://doi.org/10.15514/ispras-2016-28(1)-7 Actions

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

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

Using unreachable code analysis in static analysis tool for finding defects in source code

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

Authors: R.R. Mulyukov | A.E. Borodin

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

Improving fuzzing performance by applying interval mutations

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

Authors: S.S. Sargsyan | J.A. Hakobyan | H.M. Movsisyan | M.S. Mehrabyan | V.T. Sirunyan | Sh.F. Kurmangaleev

https://doi.org/10.15514/ispras-2019-31(5)-5 Actions

Comparison of Open Flows for Digital Hardware Development: qFlow, OpenLANE, Coriolis, and SymbiFlow

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

Authors: Alexander Sergeevich Kamkin | Sergey Aleksandrovich Smolov | Mikhail Mikhaylovich Chupilko

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

Image processing technique for hydraulic application

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

Authors: J. Tellez-Alvarez | M. Gomez | B. Russo

https://doi.org/10.15514/ispras-2017-29(6)-18 Actions

Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure

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

Authors: Victor Ivannikov | Shamil Kurmangaleev | Andrey Belevantsev | Alexey Nurmukhametov | Valery Savchenko | Hripsime Matevosyan | Arutyun Avetisyan

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

https://ispranproceedings.elpub.ru/jour/article/view/1612

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

Authors: Brian Pando | Abraham Dávila

https://doi.org/10.15514/ispras-2023-35(1)-11 Actions

Testing of Operating Systems

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

Authors: E.A. Gerlits | V.V. Kuliamin | A.V. Maksimov | A.K. Petrenko | A.V. Khoroshilov | A.V. Tsyvarev

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

In anticipation of native DBMS architectures based on non-volatile main memory

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

Authors: Sergey Dmitrievich Kuznetsov

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

Static verification of operating system monolithic kernels

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

Authors: E.M. Novikov

https://doi.org/10.15514/ispras-2017-29(2)-4 Actions

Automatic API fuzzing framework

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

Authors: Sevak Senikovich Sargsyan | Vahagn Gevorgovich Vardanyan | Jivan Andranikovich Hakobyan | Anna Martirosovna Aghabalyan | Matevos Sargisovich Mehrabyan | Shamil Faimovich Kurmangaleev | Alexander Yurievich Gerasimov | Mikhail Kirilovich Ermakov | Sergey Pavlovitch Vartanov

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

Efficient Number Comparison in the Residue Number System based on Positional Characteristics

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

Authors: M.G. Babenko | A.N. Tchernykh | N.I. Chervyakov | V.A. Kuchukov | V. Miranda-López | R. Rivera-Rodriguez | Z. Du

https://doi.org/10.15514/ispras-2019-31(2)-13 Actions

ODMG and SQL object models ten years later: there are no contradictions

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

Authors: S.D. Kuznetsov

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

Validation Automation of UML Diagrams Created by Students

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

Authors: Tatiana Sergeevna Gasheva | Dmitry Igorevich Vlasov | Andrei Valerievich Otinov | Nataliya Nickolaevna Datsun

https://doi.org/10.15514/ispras-2021-33(4)-1 Actions

Configurable system call tracer in QEMU emulator

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

Authors: A.V. Ivanov | P.M. Dovgaluk | V.A. Makarov

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

Applying AVX512 vectorization to improve the performance of a random number generator

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

Authors: M.S. Guskova | L.Yu. Barash | L.N. Shchur

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

Rock Flow Simulation by High-Order Quasi-Characteristics Scheme

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

Authors: M.P. Levin

https://doi.org/10.15514/ispras-2018-30(5)-12 Actions

Verifying functional properties of smart contracts using symbolic model-checking

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

Authors: E.S. Shishkin

https://doi.org/10.15514/ispras-2018-30(5)-16 Actions
Feedback: support@crossref.org