default search action
Programming and Computer Software, Volume 35
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
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
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
Systems with priorities: Conformance, testing, and composition. 198-211 - Victor V. Kuliamin
Integration of verification methods for program systems. 212-222 - Arutyun Avetisyan, Sergey S. Gaisaryan
Iterative development of parallel programs in the ParJava environment. 223-234 - Pavel 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
Conceptual and ontological modeling in information systems. 241-256 - Sergey D. Kuznetsov
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 - Alexander Yu. Drozdov:
Component approach for construction of optimizing compilers. 291-300
Volume 35, Number 6, November 2009
- Igor B. Bourdonov
Complete open-state testing of limitedly nondeterministic systems. 301-313 - Vadim S. Mutilin:
Multithreaded testing of program interfaces. 314-320 - Alexander Yu. Drozdov, S. V. Novikov:
A program auto-parallelizer based on the component technology of optimizing compiler construction. 321-339 - Alexey V. Bosov
Modeling and optimization of functioning of the information web portal. 340-350 - Dmitriy S. Vatolin
Double up-conversion of video frame rate based on bidirectional motion compensation. 351-364
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-03 20:31 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: