default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 34
Volume 34, Number 1, January 2008
- Boris A. Novikov
, Ekaterina A. Gorshkova:
Temporal databases: From theory to applications. 1-6 - R. S. Samarev:
Method of adaptive controllable parallel execution of operations in object database management systems. 7-15 - Andrey Simanovsky:
Data schema evolution support in XML-relational database systems. 16-26 - E. V. Kuzmin, Valery A. Sokolov:
Modeling, specification, and verification of automaton programs. 27-43 - O. G. Sharov, A. N. Afanas'ev:
Syntax error recovery in graphical languages. 44-48 - A. B. Galazin, E. V. Stupachenko, S. L. Shlykov:
A software instruction prefetching method in architectures with static scheduling. 49-53 - A. V. Inyukhin:
On the problem of increasing efficiency of Reed-Solomon-code-based algorithms for creating checkpoints for calculation applications. 54-57
Volume 34, Number 2, March 2008
- Sergei A. Abramov, Alla A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral:
The research seminar on computer algebra in 2006-2007. 59-63 - Sergei A. Abramov, Anna A. Ryabenko:
On a computer algebra technology. 64-68 - Doru Stefanescu:
Computation of dominant real roots of polynomials. 69-74 - Thomas Wolf:
On solving large systems of polynomial equations appearing in discrete differential geometry. 75-83 - Vladimir V. Kornyak:
Discrete dynamical systems with symmetries: Computer analysis. 84-94 - S. P. Polyakov:
Indefinite summation of rational functions with additional minimization of the summable part. 95-100 - Yu. G. Palii, Arsen Khvedelidze:
On the homogeneous Gröbner basis for tensors. 101-106 - A. S. Semenov, P. A. Zyuzikov:
Involutive divisions and monomial orderings: Part II. 107-111 - Yuri A. Blinkov, Vladimir P. Gerdt:
Specialized computer algebra system GINV. 112-123
Volume 34, Number 3, May 2008
- Irina B. Virbitskaite, Roman S. Dubtsov:
Semantic domains of timed event structures. 125-137 - A. A. Belevantsev, Sergey S. Gaisaryan, V. P. Ivannikov:
Construction of speculative optimization algorithms. 138-153 - Alexander Borisovich Bugerya:
Interactive debugging of parallel programs: Distributed scheme of interacting components. 154-159 - Victor V. Toporkov:
Supporting schedules of resource co-allocation for distributed computing in scalable systems. 160-172 - Vladimir L. Arlazarov, Marat D. Kazanov:
Segmentation of small objects in color images. 173-182 - V. E. Khachatryan:
The problem of equivalent transformations for homogeneous multitape automata. 183-185
Volume 34, Number 4, July 2008
- Sergei A. Abramov, Marko Petkovsek:
On the bottom summation. 187-190 - Vladimir P. Gerdt, Mikhail V. Zinin:
Involutive method for computing Gröbner bases over \mathbbF2 \mathbb{F}_2. 191-203 - Denis E. Khmelnov:
Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system. 204-209 - D. A. Yanovich:
Efficiency estimate for distributed computation of Gröbner bases and involutive bases. 210-215 - Dmitrij V. Koznov, Konstantin Yu. Romanovsky:
DocLine: A method for software product lines documentation development. 216-224 - S. V. Gomanyuk:
An approach to creating development environments for a wide class of programming languages. 225-236 - Rimma I. Podlovchenko:
Minimization problem for schemes of program with commutative blocks. 237-241 - Sergei A. Abramov, Marina V. Kondratieva, V. N. Latyshev, Alexander V. Mikhalev:
In memory of Engeny Vasil'evich Pankratiev (December 29, 1944-January 23, 2008). 242-243
Volume 34, Number 5, September 2008
- E. A. Yusov, V. E. Turlapov:
Adaptive terrain triangulation using the representation of quad trees by vertex textures and wavelet estimation of vertex significance. 245-256 - Valery A. Bobkov, Yu. S. Borisov, Alexander V. Inzartsev, S. V. Mel'man:
Simulation program complex for studying motion control methods for autonomous underwater vehicles. 257-266 - G. V. Borisenko, A. M. Denisov, Andrey S. Krylov:
A diffusion method for image filtering and sharpening. 267-270 - Victor A. Debelov, G. G. Smirnova, L. F. Vasilyeva:
An extension of the light meshes method for three-dimensional scenes with semitransparent surfaces. 271-278 - Dmitriy B. Volegov, Dmitry V. Yurin:
Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery. 279-293 - Boris Kh. Barladian, Alexey G. Voloboi, K. A. Vostryakov, Vladimir A. Galaktionov, Lev Z. Shapiro:
The use of coherent ray tracing for physically accurate rendering. 294-303
Volume 34, Number 6, November 2008
- V. A. Nepomnyashchii, Alexander K. Petrenko:
From the editors of the special issue. 305-306 - Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin:
Generation of correctness conditions for imperative programs. 307-321 - Maxim Gromov, Nina V. Evtushenko, Anton V. Kolomeets:
On the synthesis of adaptive tests for nondeterministic finite state machines. 322-329 - Valery 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. 330-340 - Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova:
Using abstract models for the generation of test data with a complex structure. 341-350 - R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov:
Automation of broad sanity test generation. 351-363
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 2025-11-09 23:10 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:
