default search action
Programming and Computer Software, Volume 37
Volume 37, Number 1, January 2011
- Igor B. Bourdonov
, Alexander S. Kossatchev
Specification completion for IOCO. 1-14 - B. A. Pozin, Igor V. Galakhov:
Models in performance testing. 15-25 - A. V. Nikeshin, Nikolay V. Pakulin
Development of a test suite for the verification of implementations of the IPsec v2 security protocol. 26-40 - Denis V. Silakov, Alexey V. Khoroshilov
Ensuring portability of software. 41-47 - E. A. Gavrilova:
Implementation features a university data portal using the Semantic Web technology. 48-55
Volume 37, Number 2, March 2011
- Sergei A. Abramov
The research seminar on computer algebra in 2009-2010. 57-61 - Thomas Wolf:
The parametric solution of underdetermined linear ODEs. 62-70 - Ivan Dimovski, Margarita Spiridonova:
Construction of nonlocal linear vibration models using a computer algebra system. 71-77 - Sergei A. Abramov
Rational solutions of linear difference equations: Universal denominators and denominator bounds. 78-86 - A. B. Aranson:
Calculation of power expansion solutions of N. Kowalewski modified ODE system by power geometry algorithms. 87-98 - Victor F. Edneral
Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools. 99-103 - Nikita Gogin, Aleksandr Mylläri:
Construction of the weight polynomial for autocorrelation of q-ary words. 104-112 - Oleg V. Kaptsov:
Partial differential equations with finite-dimensional solution manifolds. 113-119
Volume 37, Number 3, May 2011
- Victor V. Kuliamin
A survey of methods for constructing covering arrays. 121-146 - Alexander S. Kamkin
Survey of modern technologies of simulation-based verification of hardware. 147-152 - Ruslan L. Smelyanskiy
On frequency analysis of sequential program code execution. 153-160 - Vartan A. Padaryan
Simulation of operational semantics of machine instructions. 161-170 - O. G. Sharov, A. N. Afanas'ev:
Methods and tools for translation of graphical diagrams. 171-179
Volume 37, Number 4, July 2011
- M. V. Sosnin:
An algorithm for the decomposition of differential polynomials in the general case. 181-186 - Anna A. Ryabenko
A definite summation of hypergeometric terms of special kind. 187-191 - E. S. Shemyakova:
X- and Y-invariants of partial differential operators in the plane. 192-196 - R. S. Katerinenko, I. A. Bessmertnyi:
A method for acceleration of logical inference in the production knowledge model. 197-199 - Peter E. Bulychev:
Game-theoretic simulation checking tool. 200-209 - Valeri P. Il'in, I. N. Skopin:
Computational programming technologies. 210-222 - A. V. Fedorov:
Optimization of the NPTL thread library in Linux for hard real-time systems. 223-227
Volume 37, Number 5, September 2011
- D. K. Bogolepov, D. P. Sopin, V. E. Turlapov
Simplified photon mapping for real-time caustics rendering. 229-235 - Dmitry D. Zhdanov
Spectral ray tracing in problems of photorealistic imagery construction. 236-244 - Olga V. Senyukova, A. S. Lukin, Dmitry P. Vetrov:
Automated atlas-based segmentation of NISSL-stained mouse brain sections using supervised learning. 245-251 - Vladimir A. Frolov
Biased solution of integral illumination equation via irradiance caching and path tracing on GPUs. 252-259 - Anton Yakubenko, Vladimir Kononov, I. S. Mizin, V. S. Konushin, Anton Konushin
Reconstruction of structure and texture of city building facades. 260-269
Volume 37, Number 6, November 2011
- A. V. Giglavyi:
Introduction. 271-272 - Victor A. Sadovnichy:
Informatics and teaching it at school. 273-278 - M. A. Plaksin:
TRIZformatics: A metasubject uniting computer and intelligence technologies of information processing (Response to information society challenge). 279-283 - Alexander G. Gein:
Informatics in schools: Problems of content. 284-287 - N. K. Zavriev:
Experience of teaching programming in the lyceum of information technologies. 288-291 - Rimma I. Podlovchenko:
On an equivalence checking technique for algebraic models of programs. 292-298 - Igor V. Mashechkin, Mikhail Petrovskiy
Automatic text summarization using latent semantic analysis. 299-305 - D. M. Zhurikhin:
Energy-saving compilation for mobile systems. 306-314 - Dmitrij V. Koznov, E. V. Larchik, Michel Pliskin, N. Artamonov:
Mind maps merging in collaborative work. 315-321 - S. P. Polyakov:
Indefinite summation of rational functions with factorization of denominators. 322-325
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-11-14 20:50 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: