Article

标题 文件
卷 43, 编号 6 (2017) A computational technology for constructing the optimal shape of a power plant blade assembly taking into account structural constraints PDF
(Eng)
Andreev S., Bondarev A., Bondarenko A., Vizilter Y., Galaktionov V., Gudkov A., Zheltov S., Zhukov V., Ilovaiskaya E., Knyaz’ V., Manukovskii K., Novikova N., Ososkov M., Silaev N., Feodoritova O.
卷 43, 编号 6 (2017) Query compilation in PostgreSQL by specialization of the DBMS source code PDF
(Eng)
Sharygin E., Buchatskiy R., Zhuykov R., Sher A.
卷 43, 编号 6 (2017) The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture PDF
(Eng)
Batuzov K.
卷 43, 编号 5 (2017) Using static symbolic execution to detect buffer overflows PDF
(Eng)
Dudina I., Belevantsev A.
卷 43, 编号 5 (2017) Investigation of the restricted problem of three bodies of variable masses using computer algebra PDF
(Eng)
Prokopenya A., Minglibayev M., Mayemerova G., Imanova Z.
卷 43, 编号 5 (2017) Incompletely described objects in decision support PDF
(Eng)
Yudin V., Karpov L.
卷 43, 编号 5 (2017) Local search gradient algorithm based on functional voxel modeling PDF
(Eng)
Grigor’ev S., Tolok A., Tolok N.
卷 43, 编号 5 (2017) A lightweight method for virtual machine introspection PDF
(Eng)
Fursova N., Dovgalyuk P., Vasil’ev I., Makarov V.
卷 43, 编号 5 (2017) Formal logical language to set requirements for secure code execution PDF
(Eng)
Kozachok A.
卷 43, 编号 4 (2017) An efficient mulithreading algorithm for the simulation of global illumination PDF
(Eng)
Barladian B., Shapiro L., Denisov E., Voloboy A.
卷 43, 编号 4 (2017) Markov chain Monte Carlo based video tracking algorithm PDF
(Eng)
Kuplyakov D., Shalnov E., Konushin A.
卷 43, 编号 4 (2017) Fast parallel grid warping-based image sharpening method PDF
(Eng)
Gusev A., Nasonov A., Krylov A.
卷 43, 编号 4 (2017) Environment modeling in a flight simulator PDF
(Eng)
Sapronov R.
卷 43, 编号 4 (2017) A method of Earth terrain tessellation on the GPU for space simulators PDF
(Eng)
Mikhaylyuk M., Timokhin P., Maltsev A.
卷 43, 编号 4 (2017) An algorithm for the visualization of stereo images simultaneously captured with different exposures PDF
(Eng)
Pashchenko N., Zipa K., Ignatenko A.
卷 43, 编号 4 (2017) Interactive vizualization of constructive solid geometry scenes on graphic processors PDF
(Eng)
Bogolepov D., Turlapov V., Ulyanov D.
卷 43, 编号 4 (2017) SharpChecker: Static analysis tool for C# programs PDF
(Eng)
Koshelev V., Ignatiev V., Borzilov A., Belevantsev A.
卷 43, 编号 3 (2017) Parallel processing of very large databases using distributed column indexes PDF
(Eng)
Ivanova E., Sokolinsky L.
卷 43, 编号 3 (2017) Employing AVX vectorization to improve the performance of random number generators PDF
(Eng)
Barash L., Guskova M., Shchur L.
卷 43, 编号 3 (2017) Employing information technologies based on .NET XNA framework for developing a virtual physical laboratory with elements of 3D computer modeling PDF
(Eng)
Daineko Y., Ipalakova M., Bolatov Z.
卷 43, 编号 3 (2017) Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language PDF
(Eng)
Krasnov M., Ladonkina M.
卷 43, 编号 3 (2017) Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems PDF
(Eng)
Kamaev A., Sukhenko V., Karmanov D.
卷 43, 编号 3 (2017) Memory-compact Metropolis light transport on GPUs PDF
(Eng)
Frolov V., Galaktionov V.
卷 43, 编号 3 (2017) Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention PDF
(Eng)
Armenta-Cano F., Tchernykh A., Cortes-Mendoza J., Yahyapour R., Drozdov A., Bouvry P., Kliazovich D., Avetisyan A., Nesmachnow S.
卷 43, 编号 2 (2017) Revealing matrices of linear differential systems of arbitrary order PDF
(Eng)
Abramov S., Ryabenko A., Khmelnov D.
126 - 150 的 207 信息 << < 1 2 3 4 5 6 7 8 9 > >> 
##common.cookie##