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

MicroTESK-Based Test Program Generator for the ARMv8 Architecture

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

Authors: A.S. Kamkin | A.M. Kotsynyak | A.S. Protsenko | A.D. Tatarnikov | M.M. Chupilko

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

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

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

Dynamic key generation according to the starting time

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

Authors: A.S. Kiryantsev | I.A. Stefanova

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

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

On one problem of Koffman-Shor connected with strip packing

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

Authors: M.A. Trushnikov

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

Simulation-based Verification of Hardware Bus Controllers

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

Authors: M.M. Chupilko | ISP RAS, Moscow, Russia | E.A. Drozdova | MSU, Moscow, Russia

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

Dynamic program analysis for error detection using goal-seeking input data generation

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

Authors: S.P. Vartanov | A.Y. Gerasimov

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

Scalable code clone detection tool based on semantic analysis

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

Authors: Sevak Sargsyan | Shamil Kurmnagaleev | Andrey Belevantsev | Hayk Aslanyan | Artiom Baloian

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

An Interactive Specializer Based on Partial Evaluation for a Java Subset

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

Authors: I.A. Adamovich | PSI, Pereslavl-Zalessky, Russia | And.V. Klimov | KIAM, Moscow, Russia

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

The problem-oriented library SOWFA for solving the applied tasks of wind energy

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

Authors: M.V. Kraposhin | S.V. Strijhak

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

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

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

Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges

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

Authors: Jose Eleno Lozano-Rizk | Raul Rivera-Rodriguez | Juan Iván Nieto-Hipólito | Salvador Villarreal-Reyes | Alejandro Galaviz-Mosqueda | Mabel Vazquez-Briseno

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

Combining dynamic symbolic execution, code static analysis and fuzzing

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

Authors: A.Yu. Gerasimov | S.S. Sargsyan | S.Sh. Kurmangaleev | J.A. Hakobyan | S.A. Asryan | M.K. Ermakov

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