|
Pure compiled execution as a programming paradigm
A. V. Stolyarov, O. G. Frantsuzov, A. S. Anikina
|
7 |
|
|
Parallelization of implementations of purely sequential algorithms
A. B. Bugerya, E. S. Kim, M. A. Solovev
|
25 |
|
|
Conversion typed functions into relational form
P. Lozov, D. Boulytchev
|
45 |
|
|
Automated generation of machine instruction decoders
N. Yu. Fokina, M. A. Solovev
|
65 |
|
|
Occlusion culling algorithm based on software visibility checks
V. I. Gonakhchyan
|
81 |
|
|
The organization of the totally self-checking integrated control circuit based on the boolean complement method up to «2-out-of-4» constant-weight code
D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Pivovarov
|
99 |
|
|
The review of Extensible Authentication Protocol and its methods
A. V. Nikeshin, V. Z. Shnitman
|
113 |
|
|
Path querying using conjunctive grammars
R. Sh. Azimov, S. V. Grigorev
|
149 |
|
|
Directed distributed system: backtracking problem
I. B. Burdonov, A. S. Kossatchev
|
167 |
|
|
Ontology of the “Software Usability” domain
A. A. Sytnik, T. E. Shulga, N. A. Danilov
|
195 |
|
|
Active learning and crowdsourcing: a survey of annotation optimization methods
R. A. Gilyazev, D. U. Turdakov
|
215 |
|
|
Ballistocardiogram analysis on edge computing nodes
A. S. Nuzhny, A. A. Prozorov, V. I. Bugaev, N. D. Shuvalov, V. V. Podumov
|
251 |
|
|
Axisymmetric viscous incompressible flow simulation by using the Particle finite element PFEM-2 method in the open source Kratos code
E. V. Smirnova, I. K. Marchevsky, V. O. Bondarchuk
|
263 |
|
|
On 2D gas dynamics simulation using RKDG method on structured rectangular meshes
V. N. Korchagova, I. N. Fufaev, S. M. Sautkina, V. V. Lukin
|
285 |
|
|
Application of parallel algorithms for numerical simulation of quasi-one dimensional blood flow
A. N. Avdeeva, V. V. Puzikova
|
301 |
