Grammar-Based Fuzzing
Sargsyan, Sevak, Kurmangaleev, Shamil, Mehrabyan, Matevos, Mishechkin, Maksim, Ghukasyan, Tsolak, Asryan, Sergey
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Recursive Matrix Algorithms in Commutative Domain for Cluster with Distributed Memory
Malaschonok, Gennadi, Ilchenko, Evgeni
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Design and Development of Svace Static Analyzers
Belevantsev, Andrey, Borodin, Alexey, Dudina, Irina, Ignatiev, Valery, Izbyshev, Alexey, Polyakov, Sergey, Velesevich, Evgeny, Zhurikhin, Dmitry
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Deterministic Static Analysis
Borodin, Alexey, Belevantsev, Andrey, Zhurikhin, Dmitry, Izbyshev, Alexey
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Comparison of the Performance of Open-Source and Commercial CFD Packages for Simulating Supersonic Compressible Jet Flows
Al-Zoubi, Ahmad, Beilke, Jorn, Korchagova, Victoria N., Strizhak, Sergei V, Kraposhin, Matvey V.
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Data Quality Impact in Business Inteligence
Gyulgyulyan, Eliza, Ravat, Franck, Astsatryan, Hrachya, Aligon, Julien
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Reachability Confirmation of Statically Detected Defects Using Dynamic Analysis
Gerasimov, Alexander, Kruglov, Leonid
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Intra-Node Cooperative Memory Management System for Virtualized Environments
Kocharyan, Aram, Teabe, Boris, Nitu, Vlad, Tchana, Alain, Hagimont, Daniel, Astsatryan, Hrachya, Kocharyan, Hayk
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Title Page i
Published in 2018 Ivannikov Memorial Workshop (IVMEM)
(01.05.2018)
Get full text
Conference Proceeding
Title Page iii
Published in 2018 Ivannikov Memorial Workshop (IVMEM)
(01.05.2018)
Get full text
Conference Proceeding
Publisher's Information
Published in 2018 Ivannikov Memorial Workshop (IVMEM)
(01.05.2018)
Get full text
Conference Proceeding
Preface
Published in 2018 Ivannikov Memorial Workshop (IVMEM)
(01.05.2018)
Get full text
Conference Proceeding