Journal: Programming and Computer Software

Volume 34, Issue 6

305 -- 306V. A. Nepomnyashchii, Alexander K. Petrenko. From the editors of the special issue
307 -- 321Nikolay V. Shilov, Igor S. Anureev, E. V. Bodin. Generation of correctness conditions for imperative programs
322 -- 329M. L. Gromov, N. V. Evtushenko, A. V. Kolomeets. On the synthesis of adaptive tests for nondeterministic finite state machines
330 -- 340V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina. Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
341 -- 350Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova. Using abstract models for the generation of test data with a complex structure
351 -- 363R. S. Zybin, Victor V. Kuliamin, A. V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov. Automation of broad sanity test generation

Volume 34, Issue 5

245 -- 256E. A. Yusov, V. E. Turlapov. Adaptive terrain triangulation using the representation of quad trees by vertex textures and wavelet estimation of vertex significance
257 -- 266V. A. Bobkov, Yu. S. Borisov, A. V. Inzartsev, S. V. Mel'man. Simulation program complex for studying motion control methods for autonomous underwater vehicles
267 -- 270G. V. Borisenko, A. M. Denisov, A. S. Krylov. A diffusion method for image filtering and sharpening
271 -- 278Victor A. Debelov, G. G. Smirnova, L. F. Vasilyeva. An extension of the light meshes method for three-dimensional scenes with semitransparent surfaces
279 -- 293D. B. Volegov, D. V. Yurin. Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery
294 -- 303B. Kh. Barladian, A. G. Voloboi, K. A. Vostryakov, V. A. Galaktionov, L. Z. Shapiro. The use of coherent ray tracing for physically accurate rendering

Volume 34, Issue 4

187 -- 190Sergei A. Abramov, Marko Petkovsek. On the bottom summation
191 -- 203Vladimir P. Gerdt, Mikhail V. Zinin. Involutive method for computing Gröbner bases over /mathbb::::F::::::2:: /mathbb{F}_2
204 -- 209D. E. Khmelnov. Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system
210 -- 215D. A. Yanovich. Efficiency estimate for distributed computation of Gröbner bases and involutive bases
216 -- 224D. V. Koznov, Konstantin Romanovsky. DocLine: A method for software product lines documentation development
237 -- 241Rimma I. Podlovchenko. Minimization problem for schemes of program with commutative blocks
242 -- 243Sergei A. Abramov, Marina V. Kondratieva, V. N. Latyshev, A. V. Mikhalev. In memory of Engeny Vasil evich Pankratiev (December 29, 1944-January 23, 2008)

Volume 34, Issue 3

125 -- 137I. B. Virbitskaite, R. S. Dubtsov. Semantic domains of timed event structures
138 -- 153A. A. Belevantsev, S. S. Gaisaryan, V. P. Ivannikov. Construction of speculative optimization algorithms
154 -- 159A. B. Bugerya. Interactive debugging of parallel programs: Distributed scheme of interacting components
160 -- 172Victor V. Toporkov. Supporting schedules of resource co-allocation for distributed computing in scalable systems
173 -- 182V. L. Arlazarov, M. D. Kazanov. Segmentation of small objects in color images
183 -- 185V. E. Khachatryan. The problem of equivalent transformations for homogeneous multitape automata

Volume 34, Issue 2

59 -- 63Sergei A. Abramov, A. A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral. The research seminar on computer algebra in 2006-2007
64 -- 68Sergei A. Abramov, Anna A. Ryabenko. On a computer algebra technology
69 -- 74D. Stefanescu. Computation of dominant real roots of polynomials
75 -- 83T. Wolf. On solving large systems of polynomial equations appearing in discrete differential geometry
95 -- 100S. P. Polyakov. Indefinite summation of rational functions with additional minimization of the summable part
101 -- 106Yu. G. Palii, Arsen Khvedelidze. On the homogeneous Gröbner basis for tensors
107 -- 111A. S. Semenov, P. A. Zyuzikov. Involutive divisions and monomial orderings: Part II
112 -- 123Yuri A. Blinkov, Vladimir P. Gerdt. Specialized computer algebra system GINV

Volume 34, Issue 1

1 -- 6B. A. Novikov, E. A. Gorshkova. Temporal databases: From theory to applications
7 -- 15R. S. Samarev. Method of adaptive controllable parallel execution of operations in object database management systems
16 -- 26Andrey Simanovsky. Data schema evolution support in XML-relational database systems
27 -- 43E. V. Kuzmin, Valery A. Sokolov. Modeling, specification, and verification of automaton programs
44 -- 48O. G. Sharov, A. N. Afanas ev. Syntax error recovery in graphical languages
49 -- 53A. B. Galazin, E. V. Stupachenko, S. L. Shlykov. A software instruction prefetching method in architectures with static scheduling