Volume 35, Number 1, January 2009

• 
  E. Z. Lyubimskii: On the path to building a community of programs. 2-5
• 
  V. P. Ivannikov, Arutyun Avetisyan, Sergey S. Gaissaryan, M. S. Akopyan: Implementation of parallel programs interpreter in the development environment ParJava. 6-17
• 
  V. N. Kovalenko, D. A. Koryagin: The grid: Analysis of basic principles and ways of application. 18-34
• 
  Igor S. Anureev: Operational ontological approach to formal programming language specification. 35-42
• 
  E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy: Application of the trace assertion method to the specification, design, and verification of automaton programs. 43-55

Volume 35, Number 2, March 2009

• 
  Sergei A. Abramov, A. A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral: The research seminar on computer algebra in 2007-2008. 57-62
• 
  R. Kragler: On mathematica program for "Poor Man's Integrator" implementing Risch-Norman algorithm. 63-78
• 
  N. N. Vasiliev, D. A. Pavlov: Enumeration of finite monomial orderings and combinatorics of universal Gröbner bases. 79-89
• 
  Vladimir P. Gerdt, Mikhail V. Zinin: Role of involutive criteria in computing Boolean Gröbner bases. 90-97
• 
  A. V. Purgin: Distributive lattices of right divisors of linear ordinary differential operators. 98-104
• 
  E. N. Dolgova, A. V. Chernov: Automatic reconstruction of data types in the decompilation problem. 105-119

Volume 35, Number 3, May 2009

• 
  G. G. Hrachyan: On basic semantics of untyped functional programs. 121-135
• 
  Dmitry V. Levshin, A. S. Markov: Algorithms for integrating PostgreSQL with the semantic web. 136-144
• 
  S. G. Groshev: Bug localization by constructing reduced traces. 145-157
• 
  N. S. Vassilieva: Content-based image retrieval methods. 158-180

Volume 35, Number 4, July 2009

• 
  S. D. Makhortov: LP structures on type lattices and some refactoring problems. 183-189
• 
  S. M. Achasova: Program constructor of cellular self-reproducing structures. 190-197
• 
  Igor B. Bourdonov, Alexander Kossatchev: Systems with priorities: Conformance, testing, and composition. 198-211
• 
  Victor V. Kuliamin: Integration of verification methods for program systems. 212-222
• 
  Arutyun Avetisyan, S. S. Gaisaryan, Varvara V. Babkova: Iterative development of parallel programs in the ParJava environment. 223-234
• 
  P. P. Oleynik: Implementation of the hierarchy of atomic literal types in an object system based of RDBMS. 235-240

Volume 35, Number 5, September 2009

• 
  Mikhail R. Kogalovsky, Leonid A. Kalinichenko: Conceptual and ontological modeling in information systems. 241-256
• 
  S. D. Kuznetsov, Yu. A. Kudryavtsev: A mathematical model of the OLAP cubes. 257-265
• 
  Mars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky: Systems of agents controlled by logical programs: Complexity of verification. 266-281
• 
  D. Yu. Kichigin: A method of test-suite reduction for regression integration testing. 282-290
• 
  A. Yu. Drozdov: Component approach for construction of optimizing compilers. 291-300

Volume 35, Number 6, November 2009

• 
  Igor B. Bourdonov, Alexander Kossatchev: Complete open-state testing of limitedly nondeterministic systems. 301-313
• 
  V. S. Mutilin: Multithreaded testing of program interfaces. 314-320
• 
  A. Yu. Drozdov, S. V. Novikov: A program auto-parallelizer based on the component technology of optimizing compiler construction. 321-339
• 
  A. V. Bosov: Modeling and optimization of functioning of the information web portal. 340-350
• 
  Dmitriy Vatolin, Sergey Grishin: Double up-conversion of video frame rate based on bidirectional motion compensation. 351-364

last updated on Thu May 23 04:35:32 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page