Programming and Computer Software, Volume 44 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• > Home > Journals > Programming and Computer Software

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

Volume 44, Number 1, January 2018

• 
  • 
  • 
  • 
  • 
    Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron:
    Test Generation from Event System Abstractions to Cover Their States and Transitions. 1-14
• 
  • 
  • 
  • 
  • 
    Dmitry Shachnev, Dmitry Karpenko:
    Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education. 15-22
• 
  • 
  • 
  • 
  • 
    Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi:
    Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population. 23-34
• 
  • 
  • 
  • 
  • 
    N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
    Support for Parallel and Concurrent Programming in C++. 35-42
• 
  • 
  • 
  • 
  • 
    V. P. Kozyrev, M. A. Saburov:
    Satisfying DO-178C Structural Coverage Objectives. 43-50
• 
  • 
  • 
  • 
  • 
    Vladimir Pavlov, Vadim Pak:
    Theorem Prover for Intuitionistic Logic Based on the Inverse Method. 51-61
• 
  • 
  • 
  • 
  • 
    George A. Chernishev, Vyacheslav Galaktionov, Valentin D. Grigorev, Evgeniy Klyuchikov, Kirill Smirnov:
    PosDB: An Architecture Overview. 62-74

Volume 44, Number 2, March 2018

• 
  • 
  • 
  • 
  • 
    Alexander B. Batkhin:
    Parameterization of a Set Determined by the Generalized Discriminant of a Polynomial. 75-85
• 
  • 
  • 
  • 
  • 
    Migran N. Gevorkyan, Anastasiya V. Demidova, Tatiana R. Velieva, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastyanov:
    Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System. 86-93
• 
  • 
  • 
  • 
  • 
    Sergey A. Gutnik, Vasily A. Sarychev:
    Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite. 94-99
• 
  • 
  • 
  • 
  • 
    Vyacheslav I. Kuzovatov, Alexey A. Kytmanov:
    Algorithm for Constructing an Analog of Plan's Formula. 100-104
• 
  • 
  • 
  • 
  • 
    A. A. Panferov:
    Satellite Unknowns in Irreducible Differential Systems. 105-111
• 
  • 
  • 
  • 
  • 
    Ryszard Kozera, Alexander N. Prokopenya:
    Application of Computer Algebra to Photometric Stereo with Two Light Sources. 112-119
• 
  • 
  • 
  • 
  • 
    Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov:
    Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients. 120-130
• 
  • 
  • 
  • 
  • 
    Timur M. Sadykov:
    Computational Problems of Multivariate Hypergeometric Theory. 131-137

Volume 44, Number 3, May 2018

• 
  • 
  • 
  • 
  • 
    A. I. Kuzmin:
    Learning the Regularization Operator for the Optical Flow Problem. 139-147
• 
  • 
  • 
  • 
  • 
    Valery A. Bobkov, Alexey P. Kudryashov, S. V. Mel'man:
    On the Recovery of Motion of Dynamic Objects from Stereo Images. 148-158
• 
  • 
  • 
  • 
  • 
    Sophia A. Zelenova, Sergey V. Zelenov:
    Schedulability Analysis for Strictly Periodic Tasks in RTOS. 159-169
• 
  • 
  • 
  • 
  • 
    Nguyen Ngoc Diep, A. A. Zhdanov:
    Neuron-Like Approach to Speech Recognition. 170-180
• 
  • 
  • 
  • 
  • 
    Renzo Massobrio, Sergio Nesmachnow, Andrei Tchernykh, Arutyun Avetisyan, Gleb I. Radchenko:
    Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities. 181-189
• 
  • 
  • 
  • 
  • 
    A. V. Kozachok, E. V. Kochetkov:
    Prototype of a Verified Program Code Execution System. 190-199
• 
  • 
  • 
  • 
  • 
    Vartan A. Padaryan, I. N. Ledovskikh:
    On the Representation of Results of Binary Code Reverse Engineering. 200-206

Volume 44, Number 4, July 2018

• 
  • 
  • 
  • 
  • 
    Boris Kh. Barladian, Alexey G. Voloboy, Vladimir A. Galaktionov, V. V. Knyaz', I. V. Koverninskii, Yury A. Solodelov, Vladimir A. Frolov, Lev Z. Shapiro:
    Efficient Implementation of OpenGL SC for Avionics Embedded Systems. 207-212
• 
  • 
  • 
  • 
  • 
    Dmitry D. Zhdanov, Vladimir A. Galaktionov, Alexey G. Voloboy, Andrey D. Zhdanov, A. A. Garbul, Igor Stanislavovich Potemin, V. G. Sokolov:
    Photorealistic Rendering of Images Formed by Augmented Reality Optical Systems. 213-224
• 
  • 
  • 
  • 
  • 
    Boris Kh. Barladian, Alexey G. Voloboy, Vladimir A. Galaktionov, Lev Z. Shapiro:
    Integration of Realistic Computer Graphics into Computer-Aided Design and Product Lifecycle Management Systems. 225-232
• 
  • 
  • 
  • 
  • 
    Vladimir A. Frolov, Vadim V. Sanzharov:
    Modern Problems of Software Integration in Computer Graphics Applications and Ways to Solve Them. 233-239
• 
  • 
  • 
  • 
  • 
    Nadezhda A. Anoshina, T. B. Sagindykov, Dmitry V. Sorokin:
    A Method for Generation of Synthetic 2D and 3D Cryo-EM Images. 240-247
• 
  • 
  • 
  • 
  • 
    Dmitry A. Lachinov, A. A. Getmanskaya, V. E. Turlapov:
    Refinement of the Coherent Point Drift Registration Results by the Example of Cephalometry Problems. 248-257
• 
  • 
  • 
  • 
  • 
    S. Arseev, Anton Konushin, V. Liutov:
    Human Recognition by Appearance and Gait. 258-265
• 
  • 
  • 
  • 
  • 
    Fedor Guryanov, Andrey S. Krylov:
    Optimization Method for Cell Image Registration. 266-270
• 
  • 
  • 
  • 
  • 
    A. A. Mikhaylichenko, A. B. Kleshchenkov:
    Approach to Non-Contact Measurement of Geometric Parameters of Large-Sized Objects. 271-277
• 
  • 
  • 
  • 
  • 
    K. V. Ryabinin, S. I. Chuprina:
    Using Scientific Visualization Systems to Automate Monitoring of Data Generated by Lightweight Programmable Electronic Devices. 278-285
• 
  • 
  • 
  • 
  • 
    Kirill A. Sidorov:
    Estimating the AGE of Birch Bark Manuscripts using Computational Paleography. 286-294

Volume 44, Number 5, September 2018

• 
  • 
  • 
  • 
  • 
    Denis R. Kasimov, Aleksandr V. Kuchuganov, Valeriy N. Kuchuganov, P. P. Oskolkov:
    Approximation of Color Images Based on the Clusterization of the Color Palette and Smoothing Boundaries by Splines and Arcs. 295-302
• 
  • 
  • 
  • 
  • 
    Alexander P. Kryukov, Andrey Demichev:
    Decentralized Data Storages: Technologies of Construction. 303-315
• 
  • 
  • 
  • 
  • 
    A. Yu. Gerasimov:
    Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation. 316-323
• 
  • 
  • 
  • 
  • 
    Yury L. Karpov, Leonid E. Karpov, Yuri G. Smetanin:
    Adaptation of General Concepts of Software Testing to Neural Networks. 324-334
• 
  • 
  • 
  • 
  • 
    Dmitry V. Luciv, Dmitrij V. Koznov, George A. Chernishev, Andrey N. Terekhov, Konstantin Yu. Romanovsky, Dmitry A. Grigoriev:
    Detecting Near Duplicates in Software Documentation. 335-343
• 
  • 
  • 
  • 
  • 
    A. K. Yatskov, M. I. Varlamov, D. Yu. Turdakov:
    Extraction of Data from Mass Media Web Sites. 344-352
• 
  • 
  • 
  • 
  • 
    Victor Yurievich Korolev, Alexander Yu. Korchagin, Igor V. Mashechkin, M. I. Petrovskii, Dmitry V. Tsarev:
    Applying Time Series for Background User Identification Based on Their Text Data Analysis. 353-362
• 
  • 
  • 
  • 
  • 
    Alexey R. Nurmukhametov, E. A. Zhabotinskiy, Shamil F. Kurmangaleev, Sergey S. Gaissaryan, Alexey V. Vishnyakov:
    Fine-Grained Address Space Layout Randomization on Program Load. 363-370

Volume 44, Number 6, November 2018

• 
  • 
  • 
  • 
  • 
    J. Banumathi, R. Kanthavel:
    Node Failure Aware Broadcasting Mechanism in Mobile Adhoc Network Environment. 371-380
• 
  • 
  • 
  • 
  • 
    Thinakaran Vasantha Chithra, Arulappan Milton:
    Energy Proficient Flooding Scheme Using Reduced Coverage Set Algorithm for Unreliable Links. 381-387
• 
  • 
  • 
  • 
  • 
    J. Vijayashree, H. Parveen Sultana:
    A Machine Learning Framework for Feature Selection in Heart Disease Classification Using Improved Particle Swarm Optimization with Support Vector Machine Classifier. 388-397
• 
  • 
  • 
  • 
  • 
    R. Muruganantham, P. Ganeshkumar:
    Quality of Service Enhancement in Wireless Sensor Network Using Flower Pollination Algorithm. 398-406
• 
  • 
  • 
  • 
  • 
    R. Raja, P. Ganeshkumar:
    QoSTRP: A Trusted Clustering Based Routing Protocol for Mobile Ad-Hoc Networks. 407-416
• 
  • 
  • 
  • 
  • 
    J. Jayashree, Ananda Kumar Subramanian:
    Linear Discriminant Analysis Based Genetic Algorithm with Generalized Regression Neural Network - A Hybrid Expert System for Diagnosis of Diabetes. 417-427
• 
  • 
  • 
  • 
  • 
    D. Sreenivasulu, P. Venkata Krishna:
    Deep Learning Based Efficient Channel Allocation Algorithm for Next Generation Cellular Networks. 428-434
• 
  • 
  • 
  • 
  • 
    Ahmed M. Eassa, Mohamed Elhoseny, Hazem M. El-Bakry, Ahmed S. Salama:
    NoSQL Injection Attack Detection in Web Applications Using RESTful Service. 435-444
• 
  • 
  • 
  • 
  • 
    F. V. Niskov, A. N. Fedotov, Shamil F. Kurmangaleev:
    Crash Processing for Selection of Unique Defects. 445-452
• 
  • 
  • 
  • 
  • 
    I. A. Vasil'ev, P. V. Dovgalyuk, M. A. Klimushenkova:
    OS-Agnostic Identification of Processes and Threads in the Full System Emulation for Selective Instrumentation. 453-458
• 
  • 
  • 
  • 
  • 
    M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevantsev:
    Comparative Analysis of Two Approaches to Static Taint Analysis. 459-466
• 
  • 
  • 
  • 
  • 
    A. Yu. Gerasimov, Leonid V. Kruglov, Mikhail K. Ermakov, Sergey P. Vartanov:
    An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution. 467-475
• 
  • 
  • 
  • 
  • 
    R. A. Gilyazev, D. Yu. Turdakov:
    Active Learning and Crowdsourcing: A Survey of Optimization Methods for Data Labeling. 476-491
• 
  • 
  • 
  • 
  • 
    Viacheslav V. Zosimov, O. V. Khrystodorov, Oleksandra S. Bulgakova:
    Dynamically Changing User Interfaces: Software Solutions Based on Automatically Collected User Information. 492-498
• 
  • 
  • 
  • 
  • 
    Yu. L. Slovokhotov, I. S. Neretin:
    Toward Constructing a Modular Model of Distributed Intelligence. 499-507
• 
  • 
  • 
  • 
  • 
    Enzo Fabbiani, Sergio Nesmachnow, Jamal Toutouh, Andrei Tchernykh, Arutyun Avetisyan, Gleb I. Radchenko:
    Analysis of Mobility Patterns for Public Transportation and Bus Stops Relocation. 508-525
• 
  • 
  • 
  • 
  • 
    A. V. Tolok, N. B. Tolok, M. A. Loktev:
    Modeling Function Domain for Curves Constructed Based on a Linear Combination of Basis Bernstein Polynomials. 526-532
• 
  • 
  • 
  • 
  • 
    Alexander D. Bruno:
    Algorithms for Solving an Algebraic Equation. 533-545
• 
  • 
  • 
  • 
  • 
    Ryszard Kozera, Alexander N. Prokopenya, Artur Wilinski:
    Application of Computer Algebra to the Reconstruction of Surface from Its Photometric Images. 546-553
• 
  • 
  • 
  • 
  • 
    Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov:
    Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees. 554

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: