Volume 33, Number 1, February 2007

• 
  On the jubilee of Lev Nikolaevich Korolev's birth. 1
• 
  A. V. Babichev, V. 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
• 
  A. 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, A. 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. Myllari: 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, Michael 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
• 
  S. 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 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 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 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, A. 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

• 
  D. 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, A. A. Shalyto: Tools for support of automata-based programming. 343-355

last updated on Tue May 21 03:20:07 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page