|
|
2015, Volume 27, Issue 5
|
 |
|
 |
|
Modern approaches to aspect-based sentiment analysis
I. Andrianov, V. Mayorov, D. Turdakov
|
5–22 |
|
|
Load balancing in Unihub SaaS system based on user behavior prediction
D. A. Grushin, N. N. Kuzyurin
|
23–34 |
|
|
Implementing Apache Spark jobs execution and Apache Spark cluster creation for OpenStack Sahara
A. Aleksiyants, O. Borisenko, D. Turdakov, A. Sher, S. Kuznetsov
|
35–48 |
|
|
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–58 |
|
|
Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov
|
59–86 |
|
|
Lightweight static analysis for data race detection in operating system kernels
P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov
|
87–116 |
|
|
Modeling memory with uninterpreted functions for predicate abstractions
M. U. Mandrykin, V. S. Mutilin
|
117–142 |
|
|
Python-based constraint language for architecture models
E. Kornykhin, A. Khoroshilov
|
143–156 |
|
|
Using fault injection for testing Linux kernel components
A. Tsyvarev, A. Khoroshilov
|
157–174 |
|
|
Integration points of operating system verification techniques
A. K. Petrenko, V. V. Kulyamin, A. V. Khoroshilov
|
175–190 |
|
|
Approximating chromatic sum coloring of bipartite graphs in expected polynomial time
A. S. Asratyan, N. N. Kuzyurin
|
191–198 |
|
|
Contact us: