default search action
Programming 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 - Nikolay B. Deryabin, Dmitry D. Zhdanov
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
Fuzzy classifier design using harmonic search methods. 37-46 - Grigori Sidorov, Martín Ibarra Romero, Ilia Markov
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
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
Discretization of quasilinear evolution equations by computer algebra methods. 84-89 - Sergey A. Gutnik
Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. 90-97 - Ryszard Kozera
Application of computer algebra for the reconstruction of surfaces from their photometric stereo images. 98-104 - Alexey A. Kytmanov
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
Employing AVX vectorization to improve the performance of random number generators. 145-160 - Yevgeniya A. Daineko
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
Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language. 172-183 - Aleksandr N. Kamaev
Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems. 184-195 - Vladimir A. Frolov
Memory-compact Metropolis light transport on GPUs. 196-203 - Fermin-Alberto Armenta-Cano, Andrei Tchernykh
Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention. 204-215
Volume 43, Number 4, July 2017
- Boris 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 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
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
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
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-12-19 22:16 CET 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: