default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 33
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
- Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
Formalization of test experiments. 239-260 - Alexey V. Demakov:
Object-oriented description of graph data structures. 261-271 - V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
The use of contract specifications for representing requirements and for functional testing of hardware models. 272-282 - D. G. Shopyrin, Anatoly A. Shalyto:
Graphical inheritance notation for state-based classes. 283-292 - V. B. Novoseltsev:
Synthesis of parallel recursive programs in structural functional models. 293-298
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.
last updated on 2024-12-29 01:29 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:
