|
Modern approaches to aspect-based sentiment analysis
I. Andrianov, V. Mayorov, D. Turdakov
|
5 |
|
|
Load balancing in Unihub SaaS system based on user behavior prediction
D. A. Grushin, N. N. Kuzyurin
|
23 |
|
|
Implementing Apache Spark jobs execution and Apache Spark cluster creation for OpenStack Sahara
A. Aleksiyants, O. Borisenko, D. Turdakov, A. Sher, S. Kuznetsov
|
35 |
|
|
A performance testing and stress testing of cloud platform central identity: Openstack Keystone case study
I. V. Bogomolov, A. Aleksiyants, A. Sher, O. Borisenko, A. Avetisyan
|
49 |
|
|
Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov
|
59 |
|
|
Lightweight static analysis for data race detection in operating system kernels
P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov
|
87 |
|
|
Modeling memory with uninterpreted functions for predicate abstractions
M. U. Mandrykin, V. S. Mutilin
|
117 |
|
|
Python-based constraint language for architecture models
E. Kornykhin, A. Khoroshilov
|
143 |
|
|
Using fault injection for testing Linux kernel components
A. Tsyvarev, A. Khoroshilov
|
157 |
|
|
Integration points of operating system verification techniques
A. K. Petrenko, V. V. Kulyamin, A. V. Khoroshilov
|
175 |
|
|
Approximating chromatic sum coloring of bipartite graphs in expected polynomial time
A. S. Asratyan, N. N. Kuzyurin
|
191 |
