Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 38
Volume 38, Number 1, January 2012
- Ivar Jacobson, Shihong Huang, Mira Kajko-Mattsson, Paul McMahon, Ed Seymour:
Semat - Three Year Vision. 1-12 - Anna A. Gorbenko
, Vladimir Yu. Popov:
Programming for modular reconfigurable robots. 13-23 - Denis V. Silakov:
Using virtualization to protect application address space inside untrusted environment. 24-33 - Mikhail M. Chupilko:
Developing test systems for multi-modules hardware designs. 34-42 - A. A. Kalenkova:
An algorithm of automatic workflow optimization. 43-56
Volume 38, Number 2, March 2012
- Alexander D. Bruno, Alexander B. Batkhin:
Resolution of an algebraic singularity by power geometry algorithms. 57-72 - Thomas Wolf, Eberhard Schrüfer, Kenneth Webster:
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. 73-83 - Sergei A. Abramov, Denis E. Khmelnov:
Denominators of rational solutions of linear difference systems of an arbitrary order. 84-91 - Mikhail V. Zinin:
BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. 92-101 - Oleg V. Kaptsov:
On the Goursat classification problem. 102-104 - Ekaterina Shemyakova:
Laplace transformations as the only degenerate Darboux transformations of first order. 105-108
Volume 38, Number 3, June 2012
- A. Korotkov:
A new double sorting-based node splitting algorithm for R-tree. 109-118 - R. A. Sokolov, A. V. Ermolovich:
Background optimization in full system binary translation. 119-126 - Natalia Shabaldina, R. F. Galimullin:
On deriving test suites for nondeterministic finite state machines with time-outs. 127-133 - Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin:
Experience of improving the blast static verification tool. 134-142 - N. S. Kovalenko, P. A. Pavlov:
Optimal grouping algorithm of identically distributed systems. 143-149 - Elena I. Ganzha:
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. 150-155 - Alexander N. Prokopenya:
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. 156-166
Volume 38, Number 4, July 2012
- Mikhail R. Kogalovsky:
Ontology-based data access systems. 167-182 - V. A. Vasenin, Maxim A. Krivchikov:
ECMA-335 static formal semantics. 183-188 - A. I. Ilyushin, M. A. Olenin, S. A. Vasil'ev:
Solution of parallel computation problem based on "space-time" concept. 189-200 - Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann:
FSM-based testing from user defined faults adapted to incremental and mutation testing. 201-209 - A. Sapozhnikov:
Automation of the construction of models of normal program behavior. 210-217
Volume 38, Number 5, September 2012
- Evgenii Vityaev, Alexander V. Demin, Denis K. Ponomaryov:
Probabilistic generalization of formal concepts. 219-230 - Ilya G. Klyuchnikov, Sergei A. Romanenko:
Higher-level supercompilation as a metasystem transition. 231-244 - Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved:
Using linux device drivers for static verification tools benchmarking. 245-256 - Andrey V. Ponomarenko, Vladimir V. Rubanov:
Backward compatibility of software interfaces: Steps towards automatic verification. 257-267 - Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman:
Model-based testing of internet e-mail protocols. 268-275 - Denis V. Silakov:
The use of hardware virtualization in the context of information security. 276-280
Volume 38, Number 6, November 2012
- Michael A. H. Fried, Anna Fensel, Federico Michele Facca, Dieter Fensel:
Information systems for enhancing social experience in a conference context: A sensor based approach. 281-293 - Natalya Olegovna Garanina:
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. 294-303 - Elena N. Bozhenkova:
Composition methods for constructing characteristic formulas for dense-time models. 304-314 - Leonid A. Kalinichenko:
Effective support of databases with ontological dependencies: Relational languages instead of description logics. 315-326 - E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov:
Targeted data generation for application testing on databases. 327-334
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-22 20:02 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:
