Loading…
A Survey of Network Traffic Classification
Getman, Aleksandr Igorevich, Ikonnikova, Maria Kirillovna
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Architecture of a Machine Code Deductive Verification System
GLADYSHEV, Ilya Vladimirovich, KAMKIN, Alexander Sergeevich, KOTSYNYAK, Artem Mikhailovich, PUTRO, Pavel Andreevich, KHOROSHILOV, Alexey Vladimirovich
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Loading…
Numerical Smulation of Internal Waves and Effects of Accumulation of Kinetic Energy in Large Aspect Ratio Domains
Elistratov, Stepan Alekseevich, Vatutin, Kirill Alexandrovich, Sibgatullin, Ilias Nailevich, Ermanyuk, Evgeniy Valerievich, Mikhailov, Evgeny Aleksandrovich
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Loading…
Development of iceFoam solver for modeling ice accretion
Koshelev, Konstantin, Melnikova, Valeriia, Strijhak, Sergei
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
BSQ-rate: a new approach for video-codec performance comparison and drawbacks of current solutions
Zvezdakova, Anastasia Vsevolodovna, Kulikov, Dmitry Leonidovich, Zvezdakov, Sergey Vasilievitch, Vatolin, Dmitry Sergeevich
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Monitoring and Testing Based on Multi-Level Program Specifications
Petrenko, Alexander Konstantinovich, Efremov, Denis Valentinovich, Kornykhin, Eugeny Valerievich, Khoroshilov, Alexey Vladimirovich, Shchepetkov, Ilya Viktorovich, Kuliamin, Victor Vyacheslavovich
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Time Causal Processes in Time Petri Nets with Weak Semantics
Virbitskaite, Irina, Zubarev, Alexey
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Analysis of student activity on the e-learning course based on «OpenEdu» platform logs
BARSUKOV, Nikita Dmitrievich, SYSOYEV, Ivan Mikhailovich, PERESKOKOVA, Alina Aleksandrovna, NIKIFOROV, Igor Valerievich, POSMETNIJS, Deniss
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Loading…
Loading…
CASR: core dump analysis and severity reporter tool
Fedotov, Andrey, Kurmangaleev, Shamil
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Published in Trudy Instituta sistemnogo programmirovaniâ (2020)
Get full text
Journal Article
Loading…
Loading…