RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2018, Volume 30, Issue 2  


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
Proceedings of the Institute for System Programming of the RAS
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018