Programming and Computer Software, Volume 33 (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 33, Number 1, February 2007

• 
  • 
  • 
  • 
  • 
    On the jubilee of Lev Nikolaevich Korolev's birth. 1
• 
  • 
  • 
  • 
  • 
    A. V. Babichev, Valentin G. Lebedev:
    Model-100: Specification language for interacting processes. 2-13
• 
  • 
  • 
  • 
  • 
    Alexei Lisitsa, Andrei P. Nemytykh:
    Verification as a parameterized testing (experiments with the SCP4 supercompiler). 14-23
• 
  • 
  • 
  • 
  • 
    Andrey N. Terekhov, V. V. Sokolov:
    Implementation of the conformation of MSC and SDL diagrams in the REAL technology. 24-33
• 
  • 
  • 
  • 
  • 
    Alexander V. Klepinin:
    On a universal model for the organization of database access. 34-43
• 
  • 
  • 
  • 
  • 
    M. B. Kuznetsov:
    UML model transformation and its application to MDA technology. 44-53

Volume 33, Number 2, March 2007

• 
  • 
  • 
  • 
  • 
    Sergei A. Abramov, Alla A. Bogolubskaya, Vitaly Rostovtsev, Victor F. Edneral:
    The research seminar on computer algebra in 2005-2006. 55-59
• 
  • 
  • 
  • 
  • 
    Alexander N. Prokopenya:
    Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. 60-66
• 
  • 
  • 
  • 
  • 
    E. S. Shemyakova, F. Wincler:
    Obstacles to factorization of partial differential operators into several factors. 67-73
• 
  • 
  • 
  • 
  • 
    N. D. Gogin, A. A. Mylläri:
    The Fibonacci-Padovan sequence and MacWilliams transform matrices. 74-79
• 
  • 
  • 
  • 
  • 
    Eugene V. Zima, A. M. Stewart:
    Cunningham numbers in modular arithmetic. 80-86
• 
  • 
  • 
  • 
  • 
    Vladimir V. Kornyak:
    Symmetric cellular automata. 87-93
• 
  • 
  • 
  • 
  • 
    Alexander V. Zorin, Leonid A. Sevastianov, N. P. Tretyakov:
    Computer modeling of hydrogen-like atoms in quantum mechanics with nonnegative distribution function. 94-104
• 
  • 
  • 
  • 
  • 
    Sergey I. Vinitsky, Vladimir P. Gerdt, A. A. Gusev, Michail S. Kaschiev, Vitaly Rostovtsev, V. N. Samoilov, T. V. Tupikova, Ochbadrakh Chuluunbaatar:
    A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem. 105-116
• 
  • 
  • 
  • 
  • 
    S. I. Serdyukova:
    Inverse problem for the two-dimensional discrete Schrödinger equation in a square. 117-119

Volume 33, Number 3, May 2007

• 
  • 
  • 
  • 
  • 
    Rimma I. Podlovchenko, Dmitry M. Rusakov:
    Inclusion problem in algebraic models of programs with constants. 121-131
• 
  • 
  • 
  • 
  • 
    Sergei A. Abramov, S. P. Polyakov:
    Improved universal denominators. 132-138
• 
  • 
  • 
  • 
  • 
    A. S. Semenov, P. A. Zyuzikov:
    Involutive divisions and monomial orderings. 139-146
• 
  • 
  • 
  • 
  • 
    Vladimir P. Gerdt, Yuri A. Blinkov:
    On selection of nonmultiplicative prolongations in computation of Janet bases. 147-153
• 
  • 
  • 
  • 
  • 
    Victor V. Kuliamin:
    Standardization and testing of implementations of mathematical functions in floating point numbers. 154-173
• 
  • 
  • 
  • 
  • 
    Irina B. Virbitskaite:
    Sixth International Conference "Perspectives of System Informatics". 174-179

Volume 33, Number 4, July 2007

• 
  • 
  • 
  • 
  • 
    V. A. Vasenin, Alexander Vodomerov:
    A formal model of a system for automated program parallelization. 181-194
• 
  • 
  • 
  • 
  • 
    D. Yu. Gamayunov, R. L. Smelyanskii:
    A model of the behavior of network objects in distributed computer systems. 195-203
• 
  • 
  • 
  • 
  • 
    Maria P. Grineva, Maxim N. Grinev:
    Query triggers for XML DBMS: Efficient implementation based on shadow mechanism. 204-213
• 
  • 
  • 
  • 
  • 
    Ya. R. Faizulkhakov:
    Time synchronization methods for wireless sensor networks: A survey. 214-226
• 
  • 
  • 
  • 
  • 
    Sh. E. Bozoyan, V. S. Yeghiazaryan:
    The Alex language for circuit description. 227-237

Volume 33, Number 5, September 2007

Volume 33, Number 6, November 2007

• 
  • 
  • 
  • 
  • 
    Dmitry M. Rusakov:
    Scheme inclusion verification algorithm in algebraic model of programs with constants. 299-306
• 
  • 
  • 
  • 
  • 
    N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
    Software pipelining of loops by the method of modulo scheduling. 307-315
• 
  • 
  • 
  • 
  • 
    Nikolay V. Pakulin, Alexey V. Khoroshilov:
    Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. 316-335
• 
  • 
  • 
  • 
  • 
    N. A. Taranukha, Z. A. Izabekov:
    A method for voxel visualization of 3D objects. 336-342
• 
  • 
  • 
  • 
  • 
    V. S. Gurov, M. A. Mazin, A. S. Narvsky, Anatoly A. Shalyto:
    Tools for support of automata-based programming. 343-355

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: