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
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
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
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
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
3D SLAM from stereoimages. 159-165 - Alexey G. Voloboi
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
Multiple reference octrees for a GPU photon mapping and irradiance caching. 208-214 - Vladimir V. Khryashchev, Lev Shmaglit, Andrey L. Priorov
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
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, Alexey 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
Methods and software tools to support combined binary code analysis. 276-287 - D. Yu. Turdakov
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
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
On the complexity of existence of homing sequences for nondeterministic finite state machines. 333-336 - Vladimir V. Mazalov
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
Erratum to: "Testing of Systems for Illumination Simulation and Synthesis of Realistic Images". 362
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-12-15 01:17 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: