Programming and Computer Software - researchr journal

researchr

You are not signed in
Sign in
Sign up

271	--	272	A. V. Giglavyi. Introduction
273	--	278	Victor A. Sadovnichy. Informatics and teaching it at school
279	--	283	M. A. Plaksin. TRIZformatics: A metasubject uniting computer and intelligence technologies of information processing (Response to information society challenge)
284	--	287	A. G. Gein. Informatics in schools: Problems of content
288	--	291	N. K. Zavriev. Experience of teaching programming in the lyceum of information technologies
292	--	298	Rimma I. Podlovchenko. On an equivalence checking technique for algebraic models of programs
299	--	305	Igor Mashechkin, Mikhail Petrovskiy, D. S. Popov, Dmitry V. Tsarev. Automatic text summarization using latent semantic analysis
306	--	314	D. M. Zhurikhin. Energy-saving compilation for mobile systems
315	--	321	Dmitrij Koznov, E. Larchik, Michel Pliskin, N. Artamonov. Mind maps merging in collaborative work
322	--	325	S. P. Polyakov. Indefinite summation of rational functions with factorization of denominators

229	--	235	D. K. Bogolepov, D. P. Sopin, V. E. Turlapov. Simplified photon mapping for real-time caustics rendering
236	--	244	D. D. Zhdanov, I. S. Potemin, V. A. Galaktionov, B. Kh. Barladian, K. A. Vostryakov, L. Z. Shapiro. Spectral ray tracing in problems of photorealistic imagery construction
245	--	251	O. V. Senyukova, A. S. Lukin, D. P. Vetrov. Automated atlas-based segmentation of NISSL-stained mouse brain sections using supervised learning
252	--	259	V. A. Frolov, A. A. Kharlamov, A. V. Ignatenko. Biased solution of integral illumination equation via irradiance caching and path tracing on GPUs
260	--	269	Anton Yakubenko, Vladimir Kononov, I. S. Mizin, Vadim Konushin, Anton Konushin. Reconstruction of structure and texture of city building facades

181	--	186	M. V. Sosnin. An algorithm for the decomposition of differential polynomials in the general case
187	--	191	Anna A. Ryabenko. A definite summation of hypergeometric terms of special kind
192	--	196	E. S. Shemyakova. ::::X::::- and ::::Y::::-invariants of partial differential operators in the plane
200	--	209	Peter E. Bulychev. Game-theoretic simulation checking tool
210	--	222	V. P. Il in, I. N. Skopin. Computational programming technologies
223	--	227	A. V. Fedorov. Optimization of the NPTL thread library in Linux for hard real-time systems

121	--	146	Victor V. Kuliamin, Alexander Petukhov. A survey of methods for constructing covering arrays
147	--	152	A. S. Kamkin, M. M. Chupilko. Survey of modern technologies of simulation-based verification of hardware
153	--	160	Ruslan L. Smelyanskiy. On frequency analysis of sequential program code execution
161	--	170	V. A. Padaryan, M. A. Solov ev, A. I. Kononov. Simulation of operational semantics of machine instructions
171	--	179	O. G. Sharov, A. N. Afanas ev. Methods and tools for translation of graphical diagrams

57	--	61	Sergei A. Abramov, A. A. Bogolyubskaya, Victor F. Edneral, Vitaly Rostovtsev. The research seminar on computer algebra in 2009-2010
71	--	77	Ivan Dimovski, Margarita Spiridonova. Construction of nonlocal linear vibration models using a computer algebra system
78	--	86	Sergei A. Abramov, A. Gheffar, D. E. Khmelnov. Rational solutions of linear difference equations: Universal denominators and denominator bounds
99	--	103	Victor F. Edneral, Valery G. Romanovski. Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools
104	--	112	Nikita Gogin, Aleksandr Mylläri. Construction of the weight polynomial for autocorrelation of ::::q::::-ary words

1	--	14	Igor B. Bourdonov, Alexander Kossatchev. Specification completion for IOCO
15	--	25	B. A. Pozin, Igor V. Galakhov. Models in performance testing
26	--	40	A. V. Nikeshin, Nikolay V. Pakulin, V. Z. Shnitman. Development of a test suite for the verification of implementations of the IPsec v2 security protocol
41	--	47	Denis V. Silakov, Alexey V. Khoroshilov. Ensuring portability of software

runs on WebDSL