Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 31
Volume 31, Number 1, January 2005
- Valery A. Nepomniaschy:
Symbolic method of verification of definite iterations over altered data structures. 1-9 - Alexander S. Kossatchev, Mikhail Posypkin:
Survey of compiler testing methods. 10-19 - Alexey Ya. Kalinov, Konstantin Karganov, K. V. Khorenko:
An approach to the development of debuggers that use semantics of constructs of parallel programs. 20-28 - Ekaterina A. Gorshkova, Boris Novikov
, D. D. Belov, V. S. Gurov, S. V. Spiridonov:
A UML-based modeling of web application controller. 29-33 - D. A. Lizorkin, K. Yu. Lisovsky:
Implementation of the XML linking language XLink by functional methods. 34-46 - V. V. Lipaev:
Problems of the development and quality control of large software systems. 47-49
Volume 31, Number 2, March 2005
- Sergei A. Abramov, Alla A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral:
The research seminar on computer algebra in 2003-2004. 51-55 - Sergey P. Tsarev:
On the rational summation problem. 56-59 - S. P. Polyakov:
Symbolic additive decomposition of rational functions. 60-64 - Anna A. Ryabenko, S. L. Skorokhodov:
Asymptotics of sums of hypergeometric terms. 65-72 - Vladimir P. Gerdt, D. A. Yanovich:
Parallel computation of Janet and Gröbner bases over rational numbers. 73-80 - A. S. Semenov:
Involutive divisions: Slice and pair properties. 81-86 - Vladimir V. Kornyak:
Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis. 87-90 - Marina V. Kondratieva, A. I. Ovchinnikov:
Characteristic sets for ordinary differential equations. 91-96 - A. V. Mesyanzhin:
On a method for finding the roots of an ideal. 97-102 - A. I. Bogolubsky, S. L. Skorokhodov:
Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods. 103-109
Volume 31, Number 3, May 2005
- On the Jubilee of Nikolai Petrovich Brusentsov's Birth. 111-112
- Rimma I. Podlovchenko, Dmitry M. Rusakov:
Program Schemes with Constants. 113-122 - Victor V. Toporkov, Anna S. Toporkova:
Measuring the Execution Time of Fragmented Programs. 123-132 - D. A. Lizorkin:
The Query Language to XML Documents Connected by XLink Links. 133-148 - S. L. Skorokhodov, D. V. Khristoforov:
Overcoming Instability in Evaluation of Generalized Hypergeometric Integrals in the Case of Crowding of Singular Points. 149-156 - V. V. Monakhov, A. V. Kozhedub, P. A. Naumenko, L. A. Evstigneev, M. A. Krukelis, D. V. Solodovnikov, I. B. Kernitskii:
BARSIC: A Programming System for Physicists. 157-165
Volume 31, Number 4, July 2005
- Serhiy D. Shtovba:
Ant Algorithms: Theory and Applications. 167-178 - F. M. Puchkov, K. A. Shapchenko:
Static Analysis Method for Detecting Buffer Overflow Vulnerabilities. 179-189 - V. M. Mikhelev:
Specific Features of the Control Structure in the Programming Language MARKIZ. 190-196 - A. V. Leonov, R. R. Khusnutdinov:
Study and Development of the DTD Generation System for XML Documents. 197-210 - O. A. Slavin:
Recognition Algorithms for Structured Documents with Variable Content. 211-223
Volume 31, Number 5, September 2005
- Igor V. Konnov, Vladimir A. Zakharov:
An Approach to the Verification of Symmetric Parameterized Distributed Systems. 225-236 - S. E. Bazhanov, V. P. Kutepov, D. A. Shestakov:
Functional Parallel Typified Language and Its Implementation on Clusters. 237-269 - Nickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo:
Obtaining Affine Transformations to Improve Locality of Loop Nests. 270-281 - B. Kh. Barladian, Alexey G. Voloboi, N. I. V'yukova, Vladimir A. Galaktionov, N. B. Deryabin:
Illumination Modeling and Generation of Realistic Images Using Internet Technologies. 282-291
Volume 31, Number 6, November 2005
- L. Ya. Savel'ev:
An Algorithm for Partitioning a Set into Simple Parts. 293-300 - Victor V. Kuliamin:
Test Sequence Construction Using Minimum Information on the Tested System. 301-309 - Sergey V. Zelenov, Sophia A. Zelenova:
Generation of Positive and Negative Tests for Parsers. 310-320 - S. S. Gorelov, V. A. Vasenin:
Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas. 321-331 - O. G. Sharov, A. N. Afanas'ev:
Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars. 332-339 - Valery A. Kostenko, E. S. Gur'yanov:
An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency. 340-346 - Irina B. Virbitskaite:
Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia. 347-349
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-04-25 21:54 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:
