The State of the Art for Blockchain-Enabled Smart-Contract Applications in the Organization
Udokwu, Chibuzor, Kormiltsyn, Aleksandr, Thangalimodzi, Kondwani, Norta, Alex
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Comparative Estimation of QGDFoam Solver Accuracy for Inviscid Flow Around a Cone
Bondarev, Alexander, Kuvshinnikov, Artem
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Title Page iii
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS)
(01.11.2018)
Get full text
Conference Proceeding
Title Page i
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS)
(01.11.2018)
Get full text
Conference Proceeding
Publisher's Information
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS)
(01.11.2018)
Get full text
Conference Proceeding
Energy Consumption and Quality of Service Optimization in Containerized Cloud Computing
Canosa, Rewer, Tchernykh, Andrei, Cortes-Mendoza, Jorge M., Rivera-Rodriguez, Raul, Rizk, Jose Lozano, Avetisyan, Arutyun, Du, Zhihui, Radchenko, Gleb, Concepcion Morales, Eduardo R.
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Lemma Functions for Frama-C: C Programs as Proofs
Volkov, Grigoriy, Mandrykin, Mikhail, Efremov, Denis
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Compositional Environment Modelling for Verification of GNU C Programs
Zakharov, Ilja, Novikov, Evgeny
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
pioNER: Datasets and Baselines for Armenian Named Entity Recognition
Ghukasyan, Tsolak, Davtyan, Garnik, Avetisyan, Karen, Andrianov, Ivan
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Dynamic Analysis of ARINC 653 RTOS with LLVM
Cheptsov, Vitaly, Khoroshilov, Alexey
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Generation of Code for Reading Data from the Declarative File Format Specifications Written in Language FlexT
Hmelnov, Alexei Hmelnov, Mikhailov, Andrei
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Multilevel Simulation of Direct Operated Safety Valve
Raeder, Thomas, Tenenev, Valentin, Chernova, Alena, Koroleva, Maria
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Numerical Simulations of Liquid Drop Dynamics in Porous Medium Using Adaptive Mesh
Ivantsov, Andrey, Lyubimova, Tatyana
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
On Numerical Simulation of Flows in Scramjet Combustor Using OpenFOAM
Zhukov, Victor, Novikova, Nataliya, Feodoritova, Olga
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Using Adaptive Nested Mesh Code HydroBox3D for Numerical Simulation of Type Ia Supernovae: Merger of Carbon-Oxygen White Dwarf Stars, Collapse, and Non-Central Explosion
Kulikov, Igor, Chernykh, Igor, Karavaev, Dmitry, Protasov, Victor, Serenko, Alexander, Prigarin, Vladimir, Ulyanichev, Ivan, Tutukov, Alexander
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
70 years of ongoing innovations
Avetisyan, Arutyun, Prokhorov, Sergei
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Pruning ELF: Size Optimization of Dynamic Shared Objects at Post-Link Time
Ivanishin, Vladislav, Kudryashov, Evgeny, Monakov, Alexander, Lee, Jehyung Lee, Melnik, Dmitry
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
OpenFOAM High Performance Computing Solver for Simulation of Internal Wave Attractors in Stratified Flows Using Regularized Hydrodynamic Equations
Kraposhin, Matvey, Ryazanov, Daniil, Elizarova, Tatiana, Sibgatullin, Ilias, Kalugin, Michael, Velikhov, Vasily, Ryabinkin, Eygene
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding
Validation of Hydrodynamic Model of Laser Cladding Based on Openfoam Solver
Khomenko, M.D., Mirzade, F.Kh
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Published in 2018 Ivannikov Ispras Open Conference (ISPRAS) (01.11.2018)
Get full text
Conference Proceeding