Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 43
Volume 43, Number 1, January 2017
- P. M. Vdovin, Valery A. Kostenko
:
Organizing message transmission in AFDX networks. 1-12 - N. B. Deryabin, Dmitry D. Zhdanov, V. G. Sokolov:
Embedding the script language into optical simulation software. 13-23 - S. E. Popov:
Improved phase unwrapping algorithm based on NVIDIA CUDA. 24-36 - Ilya A. Hodashinsky, M. A. Mekh:
Fuzzy classifier design using harmonic search methods. 37-46 - Grigori Sidorov, Martín Ibarra Romero, Ilia Markov, Rafael Guzmán-Cabrera, Liliana Chanona-Hernández, Francisco Velasquez:
Measuring similarity between Karel programs using character and word n-grams. 47-50 - Roman Zhuykov, Eugene Bozoyan:
Ahead-of-time compilation of JavaScript programs. 51-59 - M. A. Klimushenkova, P. M. Dovgalyuk:
Improving the performance of reverse debugging. 60-66
Volume 43, Number 2, March 2017
- Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov:
Revealing matrices of linear differential systems of arbitrary order. 67-74 - Alexander B. Batkhin:
A real variety with boundary and its global parameterization. 75-83 - Yuri A. Blinkov, Vladimir P. Gerdt, K. B. Marinov:
Discretization of quasilinear evolution equations by computer algebra methods. 84-89 - Sergey A. Gutnik, Vasily A. Sarychev:
Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. 90-97 - Ryszard Kozera, Alexander N. Prokopenya:
Application of computer algebra for the reconstruction of surfaces from their photometric stereo images. 98-104 - Alexey A. Kytmanov, Alexander P. Lyapin, Timur M. Sadykov:
Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients. 105-111 - Gennadi I. Malaschonok:
MathPartner computer algebra. 112-118 - A. A. Panferov:
Partial algorithms for satellite unknowns determination. 119-125 - Serge V. Paramonov:
On testing the existence of universal denominators for partial differential and difference equations. 126-129
Volume 43, Number 3, May 2017
- Elena V. Ivanova, Leonid B. Sokolinsky:
Parallel processing of very large databases using distributed column indexes. 131-144 - Lev Yu. Barash, Maria S. Guskova, Lev N. Shchur:
Employing AVX vectorization to improve the performance of random number generators. 145-160 - Yevgeniya A. Daineko, Madina T. Ipalakova, Zhiger Zhassulanuly Bolatov:
Employing information technologies based on .NET XNA framework for developing a virtual physical laboratory with elements of 3D computer modeling. 161-171 - Mikhail M. Krasnov, Marina E. Ladonkina:
Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language. 172-183 - Aleksandr N. Kamaev, Viacheslav A. Sukhenko, Dmitry A. Karmanov:
Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems. 184-195 - Vladimir A. Frolov, Vladimir A. Galaktionov:
Memory-compact Metropolis light transport on GPUs. 196-203 - Fermin-Alberto Armenta-Cano, Andrei Tchernykh, Jorge M. Cortés-Mendoza, Ramin Yahyapour, Alexander Yu. Drozdov, Pascal Bouvry, Dzmitry Kliazovich, Arutyun Avetisyan, Sergio Nesmachnow:
Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention. 204-215
Volume 43, Number 4, July 2017
- B. Kh. Barladian, Lev Z. Shapiro, Evgeny Yurievich Denisov, Alexey G. Voloboy:
An efficient mulithreading algorithm for the simulation of global illumination. 217-223 - Denis Kuplyakov, Evgeny Shalnov, Anton Konushin:
Markov chain Monte Carlo based video tracking algorithm. 224-229 - A. D. Gusev, Andrey V. Nasonov, Andrey S. Krylov:
Fast parallel grid warping-based image sharpening method. 230-233 - R. V. Sapronov:
Environment modeling in a flight simulator. 234-242 - Mikhail V. Mikhaylyuk, Piotr Y. Timokhin, A. V. Maltsev:
A method of Earth terrain tessellation on the GPU for space simulators. 243-249 - N. F. Pashchenko, Kristina S. Zipa, Alexey V. Ignatenko:
An algorithm for the visualization of stereo images simultaneously captured with different exposures. 250-257 - D. Ulyanov, D. K. Bogolepov, Vadim Turlapov:
Interactive vizualization of constructive solid geometry scenes on graphic processors. 258-267 - V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev:
SharpChecker: Static analysis tool for C# programs. 268-276
Volume 43, Number 5, September 2017
- I. A. Dudina, A. A. Belevantsev:
Using static symbolic execution to detect buffer overflows. 277-288 - Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, G. M. Mayemerova, Zhanar U. Imanova:
Investigation of the restricted problem of three bodies of variable masses using computer algebra. 289-293 - Valery Yudin, Leonid E. Karpov:
Incompletely described objects in decision support. 294-299 - S. N. Grigor'ev, A. V. Tolok, N. B. Tolok:
Local search gradient algorithm based on functional voxel modeling. 300-306 - Natalia Fursova, Pavel Dovgalyuk, I. A. Vasil'ev, Vladimir Makarov:
A lightweight method for virtual machine introspection. 307-313 - A. V. Kozachok:
Formal logical language to set requirements for secure code execution. 314-319
Volume 43, Number 6, November 2017
- A. A. Belevantsev:
Multilevel static analysis for improving program quality. 321-336 - Denis R. Kasimov, Aleksandr V. Kuchuganov, Valeriy N. Kuchuganov, P. P. Oskolkov:
Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing. 337-344 - S. V. Andreev, Alexander E. Bondarev, Alexander V. Bondarenko, Yu. V. Vizil'ter, Vladimir A. Galaktionov, A. V. Gudkov, Sergey Y. Zheltov, V. T. Zhukov, E. B. Ilovaiskaya, Vladimir A. Knyaz, K. V. Manukovskii, N. D. Novikova, M. V. Ososkov, N. Zh. Silaev, O. B. Feodoritova:
A computational technology for constructing the optimal shape of a power plant blade assembly taking into account structural constraints. 345-352 - E. Yu. Sharygin, Ruben Buchatskiy, Roman Zhuykov, Arseny Sher:
Query compilation in PostgreSQL by specialization of the DBMS source code. 353-365 - K. A. Batuzov:
The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture. 366-372
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
