Programming and Computer Software - researchr journal

researchr

You are not signed in
Sign in
Sign up

305	--	313	V. B. Betelin, V. A. Galatenko, K. A. Kostyukhin. Controlled execution with explicit model
314	--	322	Mikhail R. Kogalovsky, Sergey Parinov. Social network technologies for semantic linking of information objects in scientific digital library
323	--	332	Sergey D. Kuznetsov, Andrey V. Poskonin. NoSQL data management systems
333	--	336	N. G. Kushik, V. V. Kulyamin, N. V. Evtushenko. On the complexity of existence of homing sequences for nondeterministic finite state machines
337	--	345	V. V. Mazalov, Natalia Nikitina. A CUSUM method to detect and counteract intrusions
346	--	353	I. N. Skopin, D. Yu. Tribis. Logical and set calculations in the framework of geometrical informatics paradigm
354	--	361	S. M. Achasova. Modeling artificial biological cell in fine-grained structure
362	--	0	A. G. Voloboi, E. Yu. Denisov, B. Kh. Barladian. Erratum to: "Testing of Systems for Illumination Simulation and Synthesis of Realistic Images"

223	--	228	K. V. Kalgin. Influence of regular system interrupts on performance of parallel stencil computations
229	--	249	Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz. Performance analysis of concurrent systems in algebra dtsiPBC
250	--	258	Gleb V. Bezmen, Nikolay V. Kolesov. Program models for diagnosis of information control systems
259	--	264	A. N. Godunov, V. A. Soldatov. Baget real-time operating system family (features, comparison, and future development)
265	--	275	V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan. Static analyzer Svace for finding defects in a source program code
276	--	287	V. A. Padaryan, A. I. Getman, M. A. Solov'ev, M. G. Bakulin, A. I. Borzilov, V. V. Kaushan, I. N. Ledovskikh, Yu. V. Markin, S. S. Panasenko. Methods and software tools to support combined binary code analysis
288	--	295	D. Yu. Turdakov, N. A. Astrakhantsev, Ya. R. Nedumov, A. A. Sysoev, I. A. Andrianov, V. D. Maiorov, Denis Fedorenko, Anton Korshunov, Sergei D. Kuznetsov. Texterra: A framework for text analysis
296	--	304	Victor V. Kuliamin, Alexander K. Petrenko. Evolution of the UniTESK test development technology

159	--	165	V. A. Bobkov, Yu. I. Ron'shin, A. P. Kudryashov, V. Yu. Mashentsev. 3D SLAM from stereoimages
166	--	173	A. G. Voloboi, E. Yu. Denisov, B. Kh. Barladian. Testing of systems for illumination simulation and synthesis of realistic images
174	--	184	Nikolay I. Gavrilov, V. E. Turlapov. Novel approach to development of direct volume rendering algorithms based on visualization quality assessment
185	--	192	A. S. Lebedev, V. A. Gaganov, A. V. Ignatenko. Reconstruction of opaque inclusions in objects with high refractive index
193	--	198	B. B. Morozov, Boris S. Dolgovesov, B. S. Mazurok, M. A. Gorodilov. Constructing distributed multimedia virtual environment with multichannel visualization of media data on graphic accelerators
199	--	207	N. V. Mamaev, A. S. Lukin, D. V. Yurin. HeNLM-LA: a locally adaptive non-local means algorithm based on hermite functions expansion
208	--	214	V. A. Frolov, A. A. Kharlamov, V. A. Galaktionov, K. A. Vostryakov. Multiple reference octrees for a GPU photon mapping and irradiance caching
215	--	221	Vladimir V. Khryashchev, Lev Shmaglit, Andrey L. Priorov, A. M. Shemyakov. Extracting adaptive features for gender classification of human face images

107	--	116	Rimma I. Podlovchenko. Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
117	--	127	Alexander Zhozhikashvili. Monads for the formalization of a pattern matching procedure
128	--	138	A. Yu. Drozdov, S. V. Novikov, V. E. Vladislavlev, E. L. Kochetkov, P. V. Il'in. Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology
139	--	142	Dzmitry A. Budzko, S. A. Shcherba. Symbolic and numerical analysis of the restricted five body problem using computer algebra
143	--	150	Sergey A. Gutnik, Vasily A. Sarychev. Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite
151	--	157	Ekaterina Shemyakova. Darboux transformations for factorable Laplace operators

47	--	57	V. V. Galkin. Termination of the F5 algorithm
58	--	62	S. V. Paramonov. Checking existence of solutions of partial differential equations in the fields of Laurent series
63	--	70	O. V. Kaptsov. Systems of generators for ideals of algebra of convergent differential series
71	--	78	N. N. Osipov. Mechanical proof of planimetric theorems of rational type
79	--	85	Alexander N. Prokopenya, M. Zh. Minglibayev, G. M. Mayemerova. Symbolic calculations in studying the problem of three bodies with variable masses
86	--	92	V. M. Red'kov, A. V. Chichurin. A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential
93	--	97	M. I. Baranov. Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients
98	--	106	Sergei A. Abramov, Denis E. Khmelnov. Regular solutions of linear differential systems with power series coefficients

1	--	9	Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko. Extensible environment for test program generation for microprocessors
10	--	20	A. A. Petukhov. Mixed optimization combinatorial method for constructing covering arrays
21	--	27	M. G. Furugyan. Some algorithms for analysis and synthesis of real-time multiprocessor computing systems
28	--	34	N. V. Kolesov, M. V. Tolmacheva, P. V. Yukhta. Jitter minimization in scheduling computations in real-time systems
35	--	42	Victor V. Toporkov, Dmitry M. Yemelyanov. Economic model of scheduling and fair resource sharing in distributed computations
43	--	46	I. A. Bessmertny. On constructing intellectual systems in ternary logic

runs on WebDSL