![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Programming and Computer Software, Volume 42
Volume 42, Number 1, January 2016
- Rimma I. Podlovchenko:
Studies in the theory of algebraic models of programs with procedures. 1-4 - Valeri P. Il'in, I. N. Skopin:
About performance and intellectuality of supercomputer modeling. 5-16 - Leonid B. Sokolinsky
, Anastasia V. Shamakina:
Methods of resource management in problem-oriented computing environment. 17-26 - Sevak Sargsyan, Shamil F. Kurmangaleev, A. A. Belevantsev, Arutyun Avetisyan:
Scalable and accurate detection of code clones. 27-33 - O. A. Chetverina:
Alternatives of profile-guided code optimizations for one-stage compilation. 34-40 - V. P. Kozyrev:
Estimation of the execution time in real-time systems. 41-48 - A. A. Belevantsev, E. A. Veselevich, V. P. Ivannikov:
Analysis of entities in C and C++ programs and relations between them for program understanding. 49-53
Volume 42, Number 2, March 2016
- Sergei A. Abramov
, Anna A. Ryabenko
, Denis E. Khmelnov
:
Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. 55-64 - Alexander B. Batkhin
:
Parameterization of the discriminant set of a polynomial. 65-76 - Dmitry S. Kulyabov
:
Using two types of computer algebra systems to solve maxwell optics problems. 77-83 - A. A. Panferov:
Partitions of the set of selected unknowns in linear differential-algebraic systems. 84-89 - Alexander N. Prokopenya
:
Approximation of a quantum algorithm for order finding. 90-98 - Alexey A. Kytmanov
, Alexey V. Shchuplev
, Tatyana V. Zykova
:
Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope. 99-106 - Serge V. Paramonov:
On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions. 107-111 - Ekaterina Shemyakova:
An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables. 112-119
Volume 42, Number 3, April 2016
- S. S. Adjemov, Nikolay V. Klenov
, M. V. Tereshonok
, D. S. Chirov:
The use of artificial neural networks for classification of signal sources in cognitive radio systems. 121-128 - Alexander P. Kryukov, Andrey P. Demichev, Stanislav P. Polyakov:
Web platforms for scientific research. 129-141 - P. A. Lebedev:
Evaluation of expression templates in C++14. 142-154 - Vasiliy Osipov
:
Automatic synthesis of action programs for intelligent robots. 155-160 - Radek Silhavy
, Zdenka Prokopova
, Petr Silhavy
:
Algorithmic optimization method for effort estimation. 161-166 - Tatiana E. Shulga
, E. A. Ivanov, Maria D. Slastihina, Nataliia S. Vagarina:
Developing a software system for automata-based code generation. 167-173 - Vasily Yu. Efimov, K. A. Batuzov, Vartan A. Padaryan
, Arutyun Avetisyan:
Features of the deterministic replay in the case of a minimum device set. 174-186
Volume 42, Number 4, July 2016
- Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann:
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. 187-197 - Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko
, Alexey V. Khoroshilov
, Ilya V. Shchepetkov:
Comparison of specification decomposition methods in Event-B. 198-205 - Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev
:
Conflict resolution in multi-agent systems with typed relations for ontology population. 206-215 - Dmitry V. Luciv
, Dmitrij V. Koznov, Hamid Abdul Basit
, Andrey N. Terekhov:
On fuzzy repetitions detection in documentation reuse. 216-224 - Vitaly O. Mordan
, Vadim S. Mutilin:
Checking several requirements at once by CEGAR. 225-238 - Nikolay V. Shilov
, Svetlana O. Shilova, A. Yu. Bernshtein:
Program schemata technique for propositional program logics: A 30-year history. 239-256
Volume 42, Number 5, September 2016
- Mikhail U. Mandrykin, Alexey V. Khoroshilov
:
Region analysis for deductive verification of C programs. 257-278 - M. I. Varlamov
, D. Yu. Turdakov
:
A survey of methods for the extraction of information from Web resources. 279-291 - Leonid W. Dworzanski, Irina A. Lomazova
:
Automatic construction of systems of distributed components from nested Petri nets models. 292-306 - Nguyen Tran Quoc Vinh
:
Synchronous incremental update of materialized views for PostgreSQL. 307-315 - A. I. Getman, V. P. Ivannikov, Yu. V. Markin, Vartan A. Padaryan
, A. Yu. Tikhonov:
Data representation model for in-depth analysis of network traffic. 316-323 - Mikhail U. Mandrykin, Alexey V. Khoroshilov
:
Towards deductive verification of C programs with shared data. 324-332
Volume 42, Number 6, November 2016
- Dmitry D. Zhdanov
, A. A. Aleinikov, Andrey D. Zhdanov
, Nikolay B. Deryabin:
Construction of a model of a continuous light source specified by a fixed set of rays. 333-340 - M. V. Pestun, Vladimir A. Galaktionov:
Algorithms for the construction and recognition of navigational route descriptions for cartographic computer systems. 341-346 - K. V. Ryabinin
, S. I. Chuprina:
A unified approach to adapt scientific visualization systems to third-party solvers. 347-355 - Olga V. Senyukova, A. Yu. Zubov:
Full anatomical labeling of magnetic resonance images of human brain by registration with multiple atlases. 356-360 - Evgeny Shalnov, A. D. Gringauz, Anton Konushin
:
Estimation of the people position in the world coordinate system for video surveillance. 361-366 - Kristina S. Zipa, Alexey V. Ignatenko:
Algorithms for the analysis and visualization of high dynamic range images based on human perception. 367-374 - Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov:
Methods of spatial indexing of dynamic scenes based on regular octrees. 375-381 - Vladimir A. Frolov
, Vladimir A. Galaktionov:
Low overhead path regeneration. 382-387
![](https://dblp1.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.