Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/pcs/pcs46.bht:"
@article{DBLP:journals/pcs/AbramovRK20, author = {Sergei A. Abramov and Anna A. Ryabenko and Denis E. Khmelnov}, title = {Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {67--75}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020024}, doi = {10.1134/S0361768820020024}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/AbramovRK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/AlaasamRTC20, author = {Ameer B. A. Alaasam and Gleb I. Radchenko and Andrei Tchernykh and Jos{\'{e}} Luis Gonz{\'{a}}lez Compe{\'{a}}n}, title = {Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {511--525}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080083}, doi = {10.1134/S0361768820080083}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/AlaasamRTC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Andrianov20, author = {Pavel S. Andrianov}, title = {Analysis of Correct Synchronization of Operating System Components}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {712--730}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080022}, doi = {10.1134/S0361768820080022}, timestamp = {Mon, 11 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/Andrianov20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/AnureevGLRZG20, author = {Igor S. Anureev and Natalya Olegovna Garanina and Tatiana V. Lyakh and Andrei S. Rozov and Vladimir E. Zyubin and Sergei P. Gorlatch}, title = {Dedicative Verification of Reflex Programs}, journal = {Program. Comput. Softw.}, volume = {46}, number = {4}, pages = {261--272}, year = {2020}, url = {https://doi.org/10.1134/S0361768820040027}, doi = {10.1134/S0361768820040027}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/AnureevGLRZG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/BarladianSMKSVG20, author = {B. Kh. Barladian and Lev Z. Shapiro and K. A. Mallachiev and Alexey V. Khoroshilov and Yu. A. Solodelov and Alexey G. Voloboy and Vladimir A. Galaktionov and I. V. Koverninskii}, title = {Visualization Component for the Aircraft Real-Time Operating System JetOS}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {167--175}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030020}, doi = {10.1134/S0361768820030020}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/BarladianSMKSVG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Batkhin20, author = {Alexander B. Batkhin}, title = {Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {84--97}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020036}, doi = {10.1134/S0361768820020036}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Batkhin20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/BobkovK20, author = {Valery A. Bobkov and Alexey P. Kudryashov}, title = {Identification and Recovery of Trajectories of Dynamic Objects from Stereo Images}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {1--11}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010028}, doi = {10.1134/S0361768820010028}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/BobkovK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/BondarevGK20, author = {Alexander E. Bondarev and Vladimir A. Galaktionov and Artem E. Kuvshinnikov}, title = {Parallel Solutions of Parametric Problems in Gas Dynamics Using {DVM/DVMH} Technology}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {176--182}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030032}, doi = {10.1134/S0361768820030032}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/BondarevGK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/BozhenkovaV20, author = {Elena N. Bozhenkova and Irina B. Virbitskaite}, title = {Testing Equivalences of Time Petri Nets}, journal = {Program. Comput. Softw.}, volume = {46}, number = {4}, pages = {251--260}, year = {2020}, url = {https://doi.org/10.1134/S0361768820040040}, doi = {10.1134/S0361768820040040}, timestamp = {Thu, 02 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/BozhenkovaV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Bruno20, author = {Alexander D. Bruno}, title = {Normalization of a Periodic Hamiltonian System}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {76--83}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020048}, doi = {10.1134/S0361768820020048}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Bruno20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ChenYKBA20, author = {Huafeng Chen and Shiping Ye and A. Kurilovich and Rykhard Bohush and Sergey Ablameyko}, title = {Video-Based Content Recognition of Bank Cards with Mobile Devices}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {373--383}, year = {2020}, url = {https://doi.org/10.1134/S036176882006002X}, doi = {10.1134/S036176882006002X}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ChenYKBA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ChujkovaAT20, author = {Elena N. Chujkova and Andrey R. Aidinyan and Olga L. Tsvetkova}, title = {Adaptation Algorithm for Application Menus}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {397--405}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060031}, doi = {10.1134/S0361768820060031}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ChujkovaAT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/DanilovGSMK20, author = {Viacheslav V. Danilov and Olga M. Gerget and Igor P. Skirnevskiy and Roman A. Manakov and Dmitrii Yu. Kolpashchikov}, title = {Segmentation Based on Propagation of Dynamically Changing Superpixels}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {195--206}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030044}, doi = {10.1134/S0361768820030044}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/DanilovGSMK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/DevyaninKKPS20, author = {Petr N. Devyanin and Alexey V. Khoroshilov and Victor V. Kuliamin and Alexander K. Petrenko and Ilya V. Shchepetkov}, title = {Integrating RBAC, MIC, and {MLS} in Verified Hierarchical Security Model for Operating System}, journal = {Program. Comput. Softw.}, volume = {46}, number = {7}, pages = {443--453}, year = {2020}, url = {https://doi.org/10.1134/S0361768820070026}, doi = {10.1134/S0361768820070026}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/DevyaninKKPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/DuranJJT20, author = {Mayra Dur{\'{a}}n and Reyes Ju{\'{a}}rez{-}Ram{\'{\i}}rez and Samantha Jim{\'{e}}nez and Claudia Tona}, title = {User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {569--583}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080095}, doi = {10.1134/S0361768820080095}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/DuranJJT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Flores-Fuentes20, author = {Wendy Flores{-}Fuentes}, title = {Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {526--535}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080101}, doi = {10.1134/S0361768820080101}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Flores-Fuentes20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Fortuna-Cervantes20, author = {Juan Manuel Fortuna{-}Cervantes and Marco Tulio Ram{\'{\i}}rez{-}Torres and Jos{\'{e}} Mart{\'{\i}}nez{-}Carranza and Jos{\'{e}} S. Murgu{\'{\i}}a Ibarra and Marcela Mej{\'{\i}}a{-}Carlos}, title = {Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: {A} First Approach}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {536--547}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080113}, doi = {10.1134/S0361768820080113}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/Fortuna-Cervantes20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/GerasimovKN20, author = {A. Yu. Gerasimov and Daniil O. Kuts and Alexander A. Novikov}, title = {A Formal Model for Detecting Bugs by Symbolic Execution of Programs}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {731--736}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080046}, doi = {10.1134/S0361768820080046}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/GerasimovKN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/GevorkyanKKS20, author = {Migran N. Gevorkyan and Anna V. Korolkova and Dmitry S. Kulyabov and Leonid A. Sevast'yanov}, title = {A Modular Extension for a Computer Algebra System}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {98--104}, year = {2020}, url = {https://doi.org/10.1134/S036176882002005X}, doi = {10.1134/S036176882002005X}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/GevorkyanKKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Gonakhchyan20, author = {Vyatcheslav I. Gonakhchyan}, title = {Occlusion Culling Algorithm Based on Software Visibility Checks}, journal = {Program. Comput. Softw.}, volume = {46}, number = {7}, pages = {454--462}, year = {2020}, url = {https://doi.org/10.1134/S0361768820070038}, doi = {10.1134/S0361768820070038}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/Gonakhchyan20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Guerra-GarciaPR20, author = {C{\'{e}}sar Guerra{-}Garc{\'{\i}}a and H{\'{e}}ctor Gerardo P{\'{e}}rez{-}Gonz{\'{a}}lez and Marco Tulio Ram{\'{\i}}rez{-}Torres and Reyes Ju{\'{a}}rez{-}Ram{\'{\i}}rez}, title = {Developing Web Applications with Awareness of Data Quality Elements - {DQAWA}}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {548--560}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080125}, doi = {10.1134/S0361768820080125}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Guerra-GarciaPR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KarpovKS20, author = {Yury L. Karpov and Leonid E. Karpov and Yuri G. Smetanin}, title = {Some Aspects of Associative Memory Construction Based on a Hopfield Network}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {305--311}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050023}, doi = {10.1134/S0361768820050023}, timestamp = {Mon, 05 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/KarpovKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KarpovVVKS20, author = {Yury L. Karpov and I. A. Volkova and A. A. Vylitok and Leonid E. Karpov and Yuri G. Smetanin}, title = {Designing Interfaces for Classes of a Neural Network Graph Model}, journal = {Program. Comput. Softw.}, volume = {46}, number = {7}, pages = {463--472}, year = {2020}, url = {https://doi.org/10.1134/S036176882007004X}, doi = {10.1134/S036176882007004X}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/KarpovVVKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Khan20, title = {Retraction Note: {DOOR:} Distributed Object Oriented Software Restructuring Approach Using Neural Network}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {755}, year = {2020}, url = {https://doi.org/10.1134/S0361768820220016}, doi = {10.1134/S0361768820220016}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Khan20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KiyAP20, author = {Konstantin I. Kiy and Dmitriy A. Anokhin and Alexey V. Podoprosvetov}, title = {A Software System for Processing Images with Parallel Computing}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {406--417}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060043}, doi = {10.1134/S0361768820060043}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/KiyAP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KochegurovaM20, author = {Elena A. Kochegurova and Yu. A. Martynova}, title = {Aspects of Continuous User Identification Based on Free Texts and Hidden Monitoring}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {12--24}, year = {2020}, url = {https://doi.org/10.1134/S036176882001003X}, doi = {10.1134/S036176882001003X}, timestamp = {Wed, 30 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/KochegurovaM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KoltunovEP20, author = {Dmitriy S. Koltunov and Vasily Yu. Efimov and Vartan A. Padaryan}, title = {Automated Testing of a {TCG} Frontend for Qemu}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {737--746}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080058}, doi = {10.1134/S0361768820080058}, timestamp = {Mon, 11 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/KoltunovEP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KostenkoC20, author = {Valery A. Kostenko and Andrey A. Chupakhin}, title = {Live Migration Schemes in Data Centers}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {312--315}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050035}, doi = {10.1134/S0361768820050035}, timestamp = {Mon, 26 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/KostenkoC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Krasnov20, author = {Mikhail M. Krasnov}, title = {Functional Programming Library for {C++}}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {330--340}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050047}, doi = {10.1134/S0361768820050047}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Krasnov20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KuchuganovKK20, author = {Valeriy N. Kuchuganov and Aleksandr V. Kuchuganov and Denis R. Kasimov}, title = {Clustering Algorithm for a Set of Machine Parts on the Basis of Engineering Drawings}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {25--34}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010041}, doi = {10.1134/S0361768820010041}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/KuchuganovKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/KuzovatovKK20, author = {Vyacheslav I. Kuzovatov and Alexey A. Kytmanov and Olga I. Kuzovatova}, title = {Algorithm for Constructing an Analogue of the Binet Formula}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {105--109}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020061}, doi = {10.1134/S0361768820020061}, timestamp = {Thu, 25 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/KuzovatovKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/LimonBBMV20, author = {Yensen Lim{\'{o}}n and Everardo B{\'{a}}rcenas and Edgard Ben{\'{\i}}tez{-}Guerrero and Guillermo Molero{-}Castillo and Alejandro Vel{\'{a}}zquez{-}Mena}, title = {Mu-Calculus Satisfiability with Arithmetic Constraints}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {503--510}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080137}, doi = {10.1134/S0361768820080137}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/LimonBBMV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Lozano-RizkRNVG20, author = {Jos{\'{e}} Eleno Lozano{-}Rizk and Ra{\'{u}}l Rivera{-}Rodr{\'{\i}}guez and Juan Ivan Nieto{-}Hip{\'{o}}lito and Salvador Villarreal{-}Reyes and Alejandro Galaviz{-}Mosqueda and Mabel V{\'{a}}zquez{-}Briseno}, title = {Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {561--568}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080149}, doi = {10.1134/S0361768820080149}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Lozano-RizkRNVG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/LukinDC20, author = {V. N. Lukin and A. L. Dzyubenko and Yu. B. Chechikov}, title = {Approaches to User Interface Development}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {316--323}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050059}, doi = {10.1134/S0361768820050059}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/LukinDC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/LyukovKLU20, author = {D. A. Lyukov and Andrey S. Krylov and Vassili A. Lukshin and D. Yu. Usachev}, title = {Projection Method for Deconvolution-Based {CT} Brain Perfusion}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {217--222}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030056}, doi = {10.1134/S0361768820030056}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/LyukovKLU20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/MarchenkovM20, author = {S. S. Marchenkov and S. D. Makeev}, title = {Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {428--432}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060055}, doi = {10.1134/S0361768820060055}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/MarchenkovM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Meshveliani20, author = {Sergei D. Meshveliani}, title = {On a Machine-Checked Proof for Fraction Arithmetic over a {GCD} Domain}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {110--119}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020073}, doi = {10.1134/S0361768820020073}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Meshveliani20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/MuranaNIOBMST20, author = {Jonathan Mura{\~{n}}a and Sergio Nesmachnow and Santiago Iturriaga and Sebastian Montes de Oca and Gonzalo Belcredi and Pablo Monz{\'{o}}n and Vladimir D. Shepelev and Andrei Tchernykh}, title = {Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {636--651}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080150}, doi = {10.1134/S0361768820080150}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/MuranaNIOBMST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/NasibullinN20, author = {Arsen R. Nasibullin and Boris A. Novikov}, title = {Replication in Distributed Systems: Models, Methods, and Protocols}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {341--350}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050060}, doi = {10.1134/S0361768820050060}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/NasibullinN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/PopovZ20, author = {S. E. Popov and R. Yu. Zamaraev}, title = {A Fast Algorithm for Classifying Seismic Events Using Distributed Computations in Apache Spark Framework}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {35--48}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010053}, doi = {10.1134/S0361768820010053}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/PopovZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Prokopenya20, author = {Alexander N. Prokopenya}, title = {Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood's Machine using Computer Algebra}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {120--125}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020085}, doi = {10.1134/S0361768820020085}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Prokopenya20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/RazdyakonovMPM20, author = {Daniil S. Razdyakonov and Alexey V. Morozov and Dmitry S. Pavlov and Dmitry I. Mouromtsev}, title = {Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {384--396}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060067}, doi = {10.1134/S0361768820060067}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/RazdyakonovMPM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/RianoPMBV20, author = {Donovan Ria{\~{n}}o and Rodrigo Pi{\~{n}}on and Guillermo Molero{-}Castillo and Everardo B{\'{a}}rcenas and Alejandro Vel{\'{a}}zquez{-}Mena}, title = {Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {652--660}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080162}, doi = {10.1134/S0361768820080162}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/RianoPMBV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/RissoRN20, author = {Claudio E. Risso and Franco Robledo and Sergio Nesmachnow}, title = {Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {661--678}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080174}, doi = {10.1134/S0361768820080174}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/RissoRN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Rodriguez-Quinonez20, author = {Julio Cesar Rodr{\'{\i}}guez{-}Qui{\~{n}}onez}, title = {Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and {INS}}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {619--625}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080186}, doi = {10.1134/S0361768820080186}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Rodriguez-Quinonez20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Rodriguez-RuizG20, author = {Julieta G. Rodr{\'{\i}}guez{-}Ruiz and Carlos Eric Galv{\'{a}}n{-}Tejada and Sodel V{\'{a}}zquez{-}Reyes and Jorge I. Galv{\'{a}}n{-}Tejada and Hamurabi Gamboa Rosales}, title = {Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {689--698}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080198}, doi = {10.1134/S0361768820080198}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/Rodriguez-RuizG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SafyanSUILK20, author = {Muhammad Safyan and Sohail Sarwar and Zia Ul{-}Qayyum and Muddesar Iqbal and Shancang Li and Muhammad Kashif}, title = {Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {626--635}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080204}, doi = {10.1134/S0361768820080204}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SafyanSUILK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SalnikovH20, author = {Vladimir N. Salnikov and Aziz Hamdouni}, title = {Differential Geometry and Mechanics: {A} Source for Computer Algebra Problems}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {126--132}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020097}, doi = {10.1134/S0361768820020097}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SalnikovH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SanzharovFG20, author = {Vadim V. Sanzharov and Vladimir A. Frolov and Vladimir A. Galaktionov}, title = {Survey of Nvidia {RTX} Technology}, journal = {Program. Comput. Softw.}, volume = {46}, number = {4}, pages = {297--304}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030068}, doi = {10.1134/S0361768820030068}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SanzharovFG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SavchenkoSBVKPE20, author = {Valeriy V. Savchenko and Konstantin S. Sorokin and I. E. Bronshtein and Alexander S. Volkov and V. V. Kachanov and Georgiy A. Pankratenko and Mikhail K. Ermakov and S. I. Markov and A. V. Spiridonov and I. V. Aleksandrov}, title = {{NOBRAINER:} {A} Tool for Example-Based Transformation of {C/C++} Code}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {362--372}, year = {2020}, url = {https://doi.org/10.1134/S0361768820040052}, doi = {10.1134/S0361768820040052}, timestamp = {Mon, 05 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SavchenkoSBVKPE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Schneider20, author = {Carsten Schneider}, title = {Minimal Representations and Algebraic Relations for Single Nested Products}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {133--161}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020103}, doi = {10.1134/S0361768820020103}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Schneider20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SemenovSZMG20, author = {Vitaly A. Semenov and Vassili N. Shutkin and Vladislav A. Zolotov and Sergey V. Morozov and Vyatcheslav I. Gonakhchyan}, title = {Visualization of Large Scenes with Deterministic Dynamics}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {223--232}, year = {2020}, url = {https://doi.org/10.1134/S036176882003007X}, doi = {10.1134/S036176882003007X}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SemenovSZMG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SergiyenkoZ20, author = {Oleg Yu. Sergiyenko and Alexey N. Zhirabok}, title = {Fault Identification in Mobile Robot Groups Using Sliding Mode Observers}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {679--688}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080216}, doi = {10.1134/S0361768820080216}, timestamp = {Mon, 11 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/SergiyenkoZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Shchetinin20, author = {Eugeny Yu. Shchetinin}, title = {Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {324--329}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050084}, doi = {10.1134/S0361768820050084}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Shchetinin20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ShirmohammadiE20, author = {Mohammad Mehdi Shirmohammadi and Mansour Esmaeilpour}, title = {The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City)}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {433--442}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060079}, doi = {10.1134/S0361768820060079}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/ShirmohammadiE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ShokurovAVZ20, author = {Alexander V. Shokurov and I. V. Abramova and Nikolay P. Varnovsky and Vladimir A. Zakharov}, title = {On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing}, journal = {Program. Comput. Softw.}, volume = {46}, number = {7}, pages = {473--482}, year = {2020}, url = {https://doi.org/10.1134/S0361768820070051}, doi = {10.1134/S0361768820070051}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ShokurovAVZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SlyadnevT20, author = {Sergey E. Slyadnev and V. E. Turlapov}, title = {Simplification of {CAD} Models by Automatic Recognition and Suppression of Blend Chains}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {233--243}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030081}, doi = {10.1134/S0361768820030081}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/SlyadnevT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/SorokinZZPB20, author = {Maxim I. Sorokin and Dmitry D. Zhdanov and Andrey D. Zhdanov and Igor Stanislavovich Potemin and Nikolai Nikolaevich Bogdanov}, title = {Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on {RGBD} Images}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {207--216}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030093}, doi = {10.1134/S0361768820030093}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/SorokinZZPB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Stepanyan20, author = {Ivan V. Stepanyan}, title = {Methodology and Tools for Designing Binary Neural Networks}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {49--56}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010065}, doi = {10.1134/S0361768820010065}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Stepanyan20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/TariqAAZM20, author = {Ayesha Tariq and Farooque Azam and Muhammad Waseem Anwar and Tayyba Zahoor and Abdul Wahab Muzaffar}, title = {Recent Trends in Underwater Wireless Sensor Networks (UWSNs) - {A} Systematic Literature Review}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {699--711}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080228}, doi = {10.1134/S0361768820080228}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/TariqAAZM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/TchernykhBFGSKE20, author = {Andrei Tchernykh and Igor V. Bychkov and Alexander G. Feoktistov and Sergey A. Gorsky and Ivan A. Sidorov and Roman Kostromin and Alexei V. Edelev and Valery Zorkalzev and Arutyun Avetisyan}, title = {Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {483--502}, year = {2020}, url = {https://doi.org/10.1134/S036176882008023X}, doi = {10.1134/S036176882008023X}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/TchernykhBFGSKE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Tello-Rodriguez20, author = {Maribel Tello{-}Rodr{\'{\i}}guez and Jorge Octavio Ochar{\'{a}}n{-}Hern{\'{a}}ndez and Juan Carlos P{\'{e}}rez Arriaga and Hector Xavier Lim{\'{o}}n and {\'{A}}ngel Juan S{\'{a}}nchez{-}Garc{\'{\i}}a}, title = {A Design Guide for Usable Web APIs}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {584--593}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080241}, doi = {10.1134/S0361768820080241}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Tello-Rodriguez20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Thang20, author = {Nguyen Manh Thang}, title = {Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes {HTTP} Request}, journal = {Program. Comput. Softw.}, volume = {46}, number = {5}, pages = {351--361}, year = {2020}, url = {https://doi.org/10.1134/S0361768820050072}, doi = {10.1134/S0361768820050072}, timestamp = {Mon, 05 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Thang20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/TimokhinM20, author = {Piotr Y. Timokhin and Mikhail V. Mikhaylyuk}, title = {Method to Extract Isosurfaces on the {GPU} by Means of Programmable Tessellation}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {244--249}, year = {2020}, url = {https://doi.org/10.1134/S036176882003010X}, doi = {10.1134/S036176882003010X}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/TimokhinM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ValdiviaLLVO20, author = {Juan Alejandro Valdivia and Jos{\'{e}} Alfonso Lora{-}Gonz{\'{a}}lez and Hector Xavier Lim{\'{o}}n and Karen Cort{\'{e}}s Verd{\'{\i}}n and Jorge Octavio Ochar{\'{a}}n{-}Hern{\'{a}}ndez}, title = {Patterns Related to Microservice Architecture: a Multivocal Literature Review}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {594--608}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080253}, doi = {10.1134/S0361768820080253}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ValdiviaLLVO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/VaseninK20, author = {V. A. Vasenin and Maxim A. Krivchikov}, title = {Intermediate Representation of Programs with Type Specification Based on Pattern Matching}, journal = {Program. Comput. Softw.}, volume = {46}, number = {1}, pages = {57--66}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010077}, doi = {10.1134/S0361768820010077}, timestamp = {Thu, 19 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/VaseninK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/VasilyevM20, author = {Anton A. Vasilyev and Vadim S. Mutilin}, title = {Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {747--754}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080071}, doi = {10.1134/S0361768820080071}, timestamp = {Mon, 11 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/VasilyevM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/VershkovBKK20, author = {Nikolay A. Vershkov and Maxim A. Babenko and Viktor Andreevich Kuchukov and Nataliya Nikolaevna Kuchukova}, title = {Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning}, journal = {Program. Comput. Softw.}, volume = {46}, number = {8}, pages = {609--618}, year = {2020}, url = {https://doi.org/10.1134/S0361768820080265}, doi = {10.1134/S0361768820080265}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/VershkovBKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/VyukovaGPS20, author = {N. I. V'yukova and V. A. Galatenko and A. N. Pavlov and S. V. Samborskii}, title = {Mapping Parallel Computations to Distributed Systems Based on RapidIO Technology}, journal = {Program. Comput. Softw.}, volume = {46}, number = {6}, pages = {418--427}, year = {2020}, url = {https://doi.org/10.1134/S0361768820060080}, doi = {10.1134/S0361768820060080}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pcs/VyukovaGPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/VyukovaGS20, author = {N. I. V'yukova and V. A. Galatenko and S. V. Samborskii}, title = {Dynamic Program Analysis Tools in {GCC} and {CLANG} Compilers}, journal = {Program. Comput. Softw.}, volume = {46}, number = {4}, pages = {281--296}, year = {2020}, url = {https://doi.org/10.1134/S0361768820010089}, doi = {10.1134/S0361768820010089}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/VyukovaGS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/Yanovich20, author = {D. A. Yanovich}, title = {Computation of Involutive and Gr{\"{o}}bner Bases Using the Tableau Representation of Polynomials}, journal = {Program. Comput. Softw.}, volume = {46}, number = {2}, pages = {162--166}, year = {2020}, url = {https://doi.org/10.1134/S0361768820020115}, doi = {10.1134/S0361768820020115}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/Yanovich20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ZagorulkoB20, author = {Yury A. Zagorulko and Olesya I. Borovikova}, title = {Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains}, journal = {Program. Comput. Softw.}, volume = {46}, number = {4}, pages = {273--280}, year = {2020}, url = {https://doi.org/10.1134/S0361768820040064}, doi = {10.1134/S0361768820040064}, timestamp = {Thu, 02 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ZagorulkoB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pcs/ZvezdakovaKZV20, author = {Anastasia V. Zvezdakova and Dmitriy L. Kulikov and Sergey Zvezdakov and Dmitriy S. Vatolin}, title = {BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions}, journal = {Program. Comput. Softw.}, volume = {46}, number = {3}, pages = {183--194}, year = {2020}, url = {https://doi.org/10.1134/S0361768820030111}, doi = {10.1134/S0361768820030111}, timestamp = {Thu, 14 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pcs/ZvezdakovaKZV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.