Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 39
Volume 39, Number 1, January 2013
- V. A. Vasenin, Maxim A. Krivchikov
:
A model of dynamical concurrent program execution. 1-9 - Pavel S. Kostenetskii, Leonid B. Sokolinsky:
Simulation of hierarchical multiprocessor database systems. 10-24 - Vitaly A. Antonenko, Ruslan L. Smelyanskiy:
Simulation of malicious activity in wide area networks. 25-33 - N. A. Astrakhantsev, D. Yu. Turdakov:
Automatic construction and enrichment of informal ontologies: A survey. 34-42 - K. A. Kuznetsov:
Scientific data integration system in the linked open data space. 43-48 - V. O. Savitskii, D. V. Sidorov:
Fast analysis of source code in C and C++. 49-55
Volume 39, Number 2, March 2013
- Serge V. Paramonov:
On rational solutions of linear partial differential or difference equations. 57-60 - Junrui Hu, Y. Hou, Albert D. Rich, David J. Jeffrey:
Indefinite integration as term rewriting: Integrals containing tangent. 61-66 - Valery G. Romanovski, Matej Mencinger, Brigita Fercec:
Investigation of center manifolds of three-dimensional systems using computer algebra. 67-73 - Dzmitry A. Budzko, Alexander N. Prokopenya:
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. 74-80 - Vladimir P. Gerdt, Amir Hashemi:
On the use of Buchberger criteria in G2V algorithm for calculating Gröbner bases. 81-90 - Sergei A. Abramov, Denis E. Khmelnov:
Linear differential and difference systems: EGδ- and EGσ- eliminations. 91-109 - Denis A. Yanovich:
Parallel modular computation of Gröbner and involutive bases. 110-113
Volume 39, Number 3, May 2013
- Ya. R. Nedumov, D. Yu. Turdakov, V. D. Maiorov, P. E. Ovchinnikov:
Automation of data normalization for implementing master data management systems. 115-123 - Rimma I. Podlovchenko:
On a class of algebraic models of programs of practical interest. 124-134 - Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastyanov:
Tensor computations in computer algebra systems. 135-142 - Vladimir P. Gerdt, Alexander N. Prokopenya:
Simulation of quantum error correction by means of QuantumCircuit package. 143-149 - Natasha Malaschonok, Mikhail A. Rybakov:
Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. 150-157 - I. N. Skopin, D. Yu. Tribis:
A method for solving mass point-in-covering problems for arbitrary coverings using GPU. 158-162
Volume 39, Number 4, July 2013
- Igor B. Bourdonov, Alexander S. Kossatchev:
Formalization of a test experiment-II. 163-181 - Mikhail R. Kogalovsky:
Metadata in computer systems. 182-193 - E. M. Novikov:
An approach to implementation of aspect-oriented programming for C. 194-206 - Alexey A. Kytmanov, Alexey V. Shchuplev:
An algorithm for constructing toric compactifications. 207-211 - Ekaterina Shemyakova:
A package to work with linear partial differential operators. 212-219
Volume 39, Number 5, September 2013
- Anatoly G. Bakhmurov, R. L. Smelyansky:
Problems of instrumental support for the development of distributed embedded real-time systems. 221-232 - R. L. Smelyansky:
Model of distributed computing system operation with time. 233-241 - R. L. Smelyansky, Anatoly G. Bakhmurov, Dmitry Yu. Volkanov, E. V. Chemeritskii:
Integrated environment for the analysis and design of distributed real-time embedded computing systems. 242-254 - Valery A. Kostenko:
Scheduling algorithms for real-time computing systems admitting simulation models. 255-267
Volume 39, Number 6, November 2013
- Igor B. Bourdonov, Alexander S. Kossatchev:
Agreement between conformance and composition. 269-278 - I. E. Bronshteyn:
Study of defects in a program code in Python. 279-284 - Alexander Kudryavtsev, Vladimir Koshelev, Arutyun Avetisyan:
Prospects for virtualization of high-performance x64 systems. 285-294 - Dmitry Grushin, Nikolay N. Kuzyurin:
Energy-efficient computing for a group of clusters. 295-300 - S. S. Marchenkov:
Bounded monotone recursion and multihead automata. 301-308 - Anna Yarygina:
Execution and optimization techniques for approximate queries in heterogeneous systems. 309-317
a service of 
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-07-03 21:31 CEST 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:
