![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Programming and Computer Software, Volume 40
Volume 40, Number 1, January 2014
- Alexander S. Kamkin
, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov
, Mikhail M. Chupilko:
Extensible environment for test program generation for microprocessors. 1-9 - A. A. Petukhov:
Mixed optimization combinatorial method for constructing covering arrays. 10-20 - M. G. Furugyan:
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. 21-27 - Nikolai V. Kolesov, Marina V. Tolmacheva, P. V. Yukhta:
Jitter minimization in scheduling computations in real-time systems. 28-34 - Victor V. Toporkov
, Dmitry M. Yemelyanov:
Economic model of scheduling and fair resource sharing in distributed computations. 35-42 - I. A. Bessmertny:
On constructing intellectual systems in ternary logic. 43-46
Volume 40, Number 2, March 2014
- V. V. Galkin:
Termination of the F5 algorithm. 47-57 - Serge V. Paramonov:
Checking existence of solutions of partial differential equations in the fields of Laurent series. 58-62 - Oleg V. Kaptsov:
Systems of generators for ideals of algebra of convergent differential series. 63-70 - Nikolay N. Osipov:
Mechanical proof of planimetric theorems of rational type. 71-78 - Alexander N. Prokopenya
, Mukhtar Zh. Minglibayev
, G. M. Mayemerova:
Symbolic calculations in studying the problem of three bodies with variable masses. 79-85 - Viktor M. Red'kov, Alexander V. Chichurin:
A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential. 86-92 - M. I. Baranov:
Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients. 93-97 - Sergei A. Abramov
, Denis E. Khmelnov
:
Regular solutions of linear differential systems with power series coefficients. 98-106
Volume 40, Number 3, May 2014
- Rimma I. Podlovchenko:
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. 107-116 - Alexander V. Zhozhikashvili:
Monads for the formalization of a pattern matching procedure. 117-127 - Alexander 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. 128-138 - Dzmitry A. Budzko, S. A. Shcherba:
Symbolic and numerical analysis of the restricted five body problem using computer algebra. 139-142 - Sergey A. Gutnik, Vasily A. Sarychev
:
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. 143-150 - Ekaterina Shemyakova:
Darboux transformations for factorable Laplace operators. 151-157
Volume 40, Number 4, July 2014
- Valery A. Bobkov
, Yu. I. Ron'shin, Alexey P. Kudryashov
, V. Yu. Mashentsev:
3D SLAM from stereoimages. 159-165 - Alexey G. Voloboi
, Evgeny Yurievich Denisov, B. Kh. Barladian:
Testing of systems for illumination simulation and synthesis of realistic images. 166-173 - Nikolay I. Gavrilov, V. E. Turlapov
:
Novel approach to development of direct volume rendering algorithms based on visualization quality assessment. 174-184 - A. S. Lebedev, V. A. Gaganov, Alexey V. Ignatenko:
Reconstruction of opaque inclusions in objects with high refractive index. 185-192 - 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. 193-198 - Nikolay V. Mamaev, A. S. Lukin, Dmitry V. Yurin:
HeNLM-LA: a locally adaptive non-local means algorithm based on hermite functions expansion. 199-207 - Vladimir A. Frolov
, A. A. Kharlamov, Vladimir A. Galaktionov, K. A. Vostryakov:
Multiple reference octrees for a GPU photon mapping and irradiance caching. 208-214 - Vladimir V. Khryashchev, Lev Shmaglit, Andrey L. Priorov
, Andrey M. Shemyakov:
Extracting adaptive features for gender classification of human face images. 215-221
Volume 40, Number 5, September 2014
- K. V. Kalgin:
Influence of regular system interrupts on performance of parallel stencil computations. 223-228 - Igor V. Tarasyuk
, Hermenegilda Macià
, Valentín Valero Ruiz
:
Performance analysis of concurrent systems in algebra dtsiPBC. 229-249 - Gleb V. Bezmen, Nikolay V. Kolesov:
Program models for diagnosis of information control systems. 250-258 - Alexander N. Godunov, V. A. Soldatov:
Baget real-time operating system family (features, comparison, and future development). 259-264 - 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. 265-275 - Vartan 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. 276-287 - D. Yu. Turdakov
, Nikita A. Astrakhantsev, Yaroslav R. Nedumov, Andrey A. Sysoev, Ivan A. Andrianov, Vladimir D. Mayorov, Denis G. Fedorenko, Anton Korshunov, Sergei D. Kuznetsov:
Texterra: A framework for text analysis. 288-295 - Victor V. Kuliamin, Alexander K. Petrenko
:
Evolution of the UniTESK test development technology. 296-304
Volume 40, Number 6, November 2014
- V. B. Betelin, V. A. Galatenko, K. A. Kostyukhin:
Controlled execution with explicit model. 305-313 - Mikhail R. Kogalovsky
, Sergey Parinov
:
Social network technologies for semantic linking of information objects in scientific digital library. 314-322 - Sergey D. Kuznetsov, Andrey V. Poskonin:
NoSQL data management systems. 323-332 - Natalia G. Kushik
, Victor V. Kulyamin, Nina V. Evtushenko:
On the complexity of existence of homing sequences for nondeterministic finite state machines. 333-336 - Vladimir V. Mazalov
, Natalia N. Nikitina
:
A CUSUM method to detect and counteract intrusions. 337-345 - I. N. Skopin, D. Yu. Tribis:
Logical and set calculations in the framework of geometrical informatics paradigm. 346-353 - S. M. Achasova:
Modeling artificial biological cell in fine-grained structure. 354-361 - Alexey G. Voloboi
, Evgeny Yurievich Denisov, B. Kh. Barladian:
Erratum to: "Testing of Systems for Illumination Simulation and Synthesis of Realistic Images". 362
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.