default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming 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
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 2024-11-04 20:48 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:
