2019 Ivannikov Ispras Open Conference (ISPRAS)
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By IEEE

9781728160559
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

2019 ◽  
Author(s):  
Nikita Malyshev ◽  
Irina Dudina ◽  
Daniil Kutz ◽  
Alexander Novikov ◽  
Sergey Vartanov
Keyword(s):  
Symbolic Execution ◽  
Smt Solvers ◽  
Dynamic Symbolic Execution

Collecting Influencers: A Comparative Study of Online Network Crawlers

2019 ◽  
Author(s):  
Mikhail Drobyshevskiy ◽  
Denis Aivazov ◽  
Denis Turdakov ◽  
Alexander Yatskov ◽  
Maksim Varlamov ◽  
...  
Keyword(s):  
Comparative Study

The Application of Modular Arithmetic for Matrix Calculations

2019 ◽  
Author(s):  
Viktor Kuchukov ◽  
Mikhail Babenko
Keyword(s):  
Modular Arithmetic

Kubernetes Container Orchestration as a Framework for Flexible and Effective Scientific Data Analysis

2019 ◽  
Author(s):  
Anton Tesliuk ◽  
Sergey Bobkov ◽  
Viacheslav Ilyin ◽  
Alexander Novikov ◽  
Alexey Poyda ◽  
...  
Keyword(s):  
Data Analysis ◽  
Scientific Data ◽  
Scientific Data Analysis ◽  
Container Orchestration

Detection of Variable Misuse Using Static Analysis Combined with Machine Learning

2019 ◽  
Author(s):  
Gleb Morgachev ◽  
Valery Ignatyev ◽  
Andrey Belevantsev
Keyword(s):  
Machine Learning ◽  
Static Analysis

Implementation of Regularized Equations for the Disk Pump Simulation Problem in OpenFOAM

2019 ◽  
Author(s):  
Tatiana Stenina ◽  
Tatiana Elizarova ◽  
Daniil Ryazanov ◽  
Eugene Ryabinkin
Keyword(s):  
Simulation Problem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document