| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adaptation of General Concepts of Software Testing to Neural Networks
|
Karpov, Yu. L.
|
|
2018
|
|
5 |
p. 324-334
|
artikel
|
| 2 |
Adaptive terrain triangulation using the representation of quad trees by vertex textures and wavelet estimation of vertex significance
|
Yusov, E. A.
|
|
2008
|
|
5 |
p. 245-256
|
artikel
|
| 3 |
A Diffusion Filtering Method for Image Processing
|
G. V. Borisenko
|
|
2004
|
|
5 |
p. 273-277
5 p.
|
artikel
|
| 4 |
A Diffusion Filtering Method for Image Processing
|
Borisenko, G. V.
|
|
2004
|
|
5 |
p. 273-277
|
artikel
|
| 5 |
A diffusion method for image filtering and sharpening
|
Borisenko, G. V.
|
|
2008
|
|
5 |
p. 267-270
|
artikel
|
| 6 |
Algorithm for photorealistic rendering of transparent optically active isotropic crystals
|
Kozlov, D. S.
|
|
2015
|
|
5 |
p. 267-272
|
artikel
|
| 7 |
Algorithms and Programs for Calculating the Roots of Polynomial of One or Two Variables
|
Bruno, A. D.
|
|
|
|
5 |
p. 353-373
|
artikel
|
| 8 |
A lightweight method for virtual machine introspection
|
Fursova, N. I.
|
|
2017
|
|
5 |
p. 307-313
|
artikel
|
| 9 |
A mathematical model of the OLAP cubes
|
Kuznetsov, S. D.
|
|
2009
|
|
5 |
p. 257-265
|
artikel
|
| 10 |
A method of test-suite reduction for regression integration testing
|
Kichigin, D. Yu.
|
|
2009
|
|
5 |
p. 282-290
|
artikel
|
| 11 |
A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments
|
V. V. Prokhorov
|
|
2001
|
|
5 |
p. 252-259
8 p.
|
artikel
|
| 12 |
A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments
|
Prokhorov, V. V.
|
|
2001
|
|
5 |
p. 252-259
|
artikel
|
| 13 |
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
|
A. V. Zamulin
|
|
2004
|
|
5 |
p. 295-302
8 p.
|
artikel
|
| 14 |
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
|
Zamulin, A. V.
|
|
2004
|
|
5 |
p. 295-302
|
artikel
|
| 15 |
Analysis of equivalence relations of event structures with continuous time
|
Bozhenkova, E. N.
|
|
|
|
5 |
p. 249-257
|
artikel
|
| 16 |
An Approach to the Verification of Symmetric Parameterized Distributed Systems
|
Konnov, I. V.
|
|
2005
|
|
5 |
p. 225-236
|
artikel
|
| 17 |
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3–6, 2001, Novosibirsk, Akademgorodok
|
Zamulin, A. V.
|
|
|
|
5 |
p. 292-294
|
artikel
|
| 18 |
An Effective Tone Mapping Operator for High Dynamic Range Images
|
B. Kh. Barladian
|
|
2004
|
|
5 |
p. 266-272
7 p.
|
artikel
|
| 19 |
An Effective Tone Mapping Operator for High Dynamic Range Images
|
Barladian, B. Kh.
|
|
2004
|
|
5 |
p. 266-272
|
artikel
|
| 20 |
An extension of the light meshes method for three-dimensional scenes with semitransparent surfaces
|
Debelov, V. A.
|
|
2008
|
|
5 |
p. 271-278
|
artikel
|
| 21 |
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization
|
Mallika, G. C.
|
|
|
|
5 |
p. 402-414
|
artikel
|
| 22 |
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm
|
Borisov, A. V.
|
|
|
|
5 |
p. 388-400
|
artikel
|
| 23 |
Application of Fuzzy DEMATEL Approach in Analyzing Mobile App Issues
|
Pandey, Mamta
|
|
2019
|
|
5 |
p. 268-287
|
artikel
|
| 24 |
Application of if-conversion to verification and optimization of workflows
|
Kalenkova, A. A.
|
|
2010
|
|
5 |
p. 276-288
|
artikel
|
| 25 |
Applying Time Series for Background User Identification Based on Their Text Data Analysis
|
Korolev, V. Yu.
|
|
2018
|
|
5 |
p. 353-362
|
artikel
|
| 26 |
Approaches to Improving the Efficiency of Data Centers
|
Kostenko, V. A.
|
|
2019
|
|
5 |
p. 251-256
|
artikel
|
| 27 |
Approaches to User Interface Development
|
Lukin, V. N.
|
|
|
|
5 |
p. 316-323
|
artikel
|
| 28 |
Approximation of Color Images Based on the Clusterization of the Color Palette and Smoothing Boundaries by Splines and Arcs
|
Kasimov, D. R.
|
|
2018
|
|
5 |
p. 295-302
|
artikel
|
| 29 |
A Priori and A Posteriori Error Estimates in Recovery of 3D Scenes by Factorization Algorithms
|
N. V. Sveshnikova
|
|
2004
|
|
5 |
p. 278-294
17 p.
|
artikel
|
| 30 |
A Priori and A Posteriori Error Estimates in Recovery of 3D Scenes by Factorization Algorithms
|
Sveshnikova, N. V.
|
|
2004
|
|
5 |
p. 278-294
|
artikel
|
| 31 |
A survey of methods for the extraction of information from Web resources
|
Varlamov, M. I.
|
|
2016
|
|
5 |
p. 279-291
|
artikel
|
| 32 |
Automata-Based Software Engineering with Event-B
|
Shelekhov, V. I.
|
|
|
|
5 |
p. 470-483
|
artikel
|
| 33 |
Automated atlas-based segmentation of NISSL-stained mouse brain sections using supervised learning
|
Senyukova, O. V.
|
|
2011
|
|
5 |
p. 245-251
|
artikel
|
| 34 |
Automated Construction of Identification Procedures for Objects Belonging to Several Classes
|
D. Yu. Buryak
|
|
2003
|
|
5 |
p. 239-244
6 p.
|
artikel
|
| 35 |
Automated Construction of Identification Procedures for Objects Belonging to Several Classes
|
Buryak, D. Yu.
|
|
2003
|
|
5 |
p. 239-244
|
artikel
|
| 36 |
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
|
Fedotov, I. A.
|
|
|
|
5 |
p. 448-454
|
artikel
|
| 37 |
Automatic construction of systems of distributed components from nested Petri nets models
|
Dworzanski, L. W.
|
|
2016
|
|
5 |
p. 292-306
|
artikel
|
| 38 |
Automation of C Program Deductive Verification without Using Loop Invariants
|
Kondratyev, D. A.
|
|
|
|
5 |
p. 331-346
|
artikel
|
| 39 |
Backward compatibility of software interfaces: Steps towards automatic verification
|
Ponomarenko, A.
|
|
2012
|
|
5 |
p. 257-267
|
artikel
|
| 40 |
Baget real-time operating system family (features, comparison, and future development)
|
Godunov, A. N.
|
|
2014
|
|
5 |
p. 259-264
|
artikel
|
| 41 |
Biased solution of integral illumination equation via irradiance caching and path tracing on GPUs
|
Frolov, V. A.
|
|
2011
|
|
5 |
p. 252-259
|
artikel
|
| 42 |
Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method
|
A. G. Voloboi
|
|
2004
|
|
5 |
p. 258-265
8 p.
|
artikel
|
| 43 |
Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method
|
Voloboi, A. G.
|
|
2004
|
|
5 |
p. 258-265
|
artikel
|
| 44 |
Binarization of the Swallow Swarm Optimization for Feature Selection
|
Slezkin, A. O.
|
|
|
|
5 |
p. 374-388
|
artikel
|
| 45 |
Canonical Forms of XML Schemas
|
L. G. Novak
|
|
2003
|
|
5 |
p. 283-293
11 p.
|
artikel
|
| 46 |
Canonical Forms of XML Schemas
|
Novak, L. G.
|
|
2003
|
|
5 |
p. 283-293
|
artikel
|
| 47 |
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems
|
Chen, H.
|
|
|
|
5 |
p. 312-321
|
artikel
|
| 48 |
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables
|
Kornyak, V. V.
|
|
|
|
5 |
p. 423-432
|
artikel
|
| 49 |
Complete system of equivalent transformations for two-tape automata with disjoint loops
|
Podlovchenko, R. I.
|
|
|
|
5 |
p. 237-248
|
artikel
|
| 50 |
Component approach for construction of optimizing compilers
|
Drozdov, A. Yu.
|
|
2009
|
|
5 |
p. 291-300
|
artikel
|
| 51 |
Component architecture of model-based testing environment
|
Kuliamin, V. V.
|
|
2010
|
|
5 |
p. 289-305
|
artikel
|
| 52 |
Computation of Janet Bases for Toric Ideals
|
Yu. A. Blinkov
|
|
2002
|
|
5 |
p. 290-292
3 p.
|
artikel
|
| 53 |
Computation of Janet Bases for Toric Ideals
|
Blinkov, Yu. A.
|
|
2002
|
|
5 |
p. 290-292
|
artikel
|
| 54 |
Conceptual and ontological modeling in information systems
|
Kogalovsky, M. R.
|
|
2009
|
|
5 |
p. 241-256
|
artikel
|
| 55 |
Conference Report: Perspectives of Information Systems
|
Zamulin, A. V.
|
|
|
|
5 |
p. 289-291
|
artikel
|
| 56 |
Conjunctive Grammars and Systems of Language Equations
|
A. S. Okhotin
|
|
2002
|
|
5 |
p. 243-249
7 p.
|
artikel
|
| 57 |
Conjunctive Grammars and Systems of Language Equations
|
Okhotin, A. S.
|
|
2002
|
|
5 |
p. 243-249
|
artikel
|
| 58 |
Convergence of Computer Graphics and Machine Vision (From the Editor of the Special Issue)
|
Yu. M. Bayakovskii
|
|
2004
|
|
5 |
p. 241-241
1 p.
|
artikel
|
| 59 |
Convergence of Computer Graphics and Machine Vision (From the Editor of the Special Issue)
|
Bayakovskii, Yu. M.
|
|
2004
|
|
5 |
p. 241
|
artikel
|
| 60 |
CORBA and MPI code coupling
|
Kopysov, S. P.
|
|
2006
|
|
5 |
p. 276-283
|
artikel
|
| 61 |
Creating and Animating Personalized Head Models from Digital Photographs and Video
|
V. G. Zhislina
|
|
2004
|
|
5 |
p. 242-257
16 p.
|
artikel
|
| 62 |
Creating and Animating Personalized Head Models from Digital Photographs and Video
|
Zhislina, V. G.
|
|
2004
|
|
5 |
p. 242-257
|
artikel
|
| 63 |
Database Migration from ORACLE to PostgreSQL
|
Kurako, E. A.
|
|
|
|
5 |
p. 455-463
|
artikel
|
| 64 |
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates
|
Ivankov, A. A.
|
|
|
|
5 |
p. 347-358
|
artikel
|
| 65 |
Data representation model for in-depth analysis of network traffic
|
Get’man, I.
|
|
2016
|
|
5 |
p. 316-323
|
artikel
|
| 66 |
Decentralized Data Storages: Technologies of Construction
|
Kryukov, A. P.
|
|
2018
|
|
5 |
p. 303-315
|
artikel
|
| 67 |
Detecting Near Duplicates in Software Documentation
|
Luciv, D. V.
|
|
2018
|
|
5 |
p. 335-343
|
artikel
|
| 68 |
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra
|
Shchetinin, E. Yu.
|
|
|
|
5 |
p. 324-329
|
artikel
|
| 69 |
Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
|
Gerasimov, A. Yu.
|
|
2018
|
|
5 |
p. 316-323
|
artikel
|
| 70 |
Effective Code Generation for Processor Architectures with Explicit Parallelism
|
N. I. V'yukova
|
|
2002
|
|
5 |
p. 261-279
19 p.
|
artikel
|
| 71 |
Effective Code Generation for Processor Architectures with Explicit Parallelism
|
V'yukova, N. I.
|
|
2002
|
|
5 |
p. 261-279
|
artikel
|
| 72 |
Effective Lower Bounds on the Matrix Rank and Their Applications
|
Zverkov, O. A.
|
|
|
|
5 |
p. 441-447
|
artikel
|
| 73 |
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor
|
Anikeev, F. A.
|
|
|
|
5 |
p. 335-343
|
artikel
|
| 74 |
Electronic Publication Maintenance Systems
|
S. V. Agoshkov
|
|
2002
|
|
5 |
p. 293-300
8 p.
|
artikel
|
| 75 |
Electronic Publication Maintenance Systems
|
Agoshkov, S. V.
|
|
2002
|
|
5 |
p. 293-300
|
artikel
|
| 76 |
Elimination of Negative Circuits in Certain Neural Network Structures to Achieve Stable Solutions
|
Karpov, Yu. L.
|
|
2019
|
|
5 |
p. 241-250
|
artikel
|
| 77 |
Ensuring Fault-Tolerance in Distributed Media
|
A. G. Tormasov
|
|
2001
|
|
5 |
p. 245-251
7 p.
|
artikel
|
| 78 |
Ensuring Fault-Tolerance in Distributed Media
|
Tormasov, A. G.
|
|
2001
|
|
5 |
p. 245-251
|
artikel
|
| 79 |
Evolution of the UniTESK test development technology
|
Kulyamin, V. V.
|
|
2014
|
|
5 |
p. 296-304
|
artikel
|
| 80 |
Extraction of Data from Mass Media Web Sites
|
Yatskov, A. K.
|
|
2018
|
|
5 |
p. 344-352
|
artikel
|
| 81 |
Feature selection: Comparative Analysis of Binary Metaheuristics and Population Based Algorithm with Adaptive Memory
|
Hodashinsky, I. A.
|
|
2019
|
|
5 |
p. 221-227
|
artikel
|
| 82 |
Fine-Grained Address Space Layout Randomization on Program Load
|
Nurmukhametov, A. R.
|
|
2018
|
|
5 |
p. 363-370
|
artikel
|
| 83 |
Formalization of test experiments
|
Bourdonov, I. B.
|
|
2007
|
|
5 |
p. 239-260
|
artikel
|
| 84 |
Formal logical language to set requirements for secure code execution
|
Kozachok, A. V.
|
|
2017
|
|
5 |
p. 314-319
|
artikel
|
| 85 |
Formal Semantics of Java Expressions and Statements
|
A. V. Zamulin
|
|
2003
|
|
5 |
p. 259-270
12 p.
|
artikel
|
| 86 |
Formal Semantics of Java Expressions and Statements
|
Zamulin, A. V.
|
|
2003
|
|
5 |
p. 259-270
|
artikel
|
| 87 |
Functional Parallel Typified Language and Its Implementation on Clusters
|
Bazhanov, S. E.
|
|
2005
|
|
5 |
p. 237-269
|
artikel
|
| 88 |
Functional Programming Library for C++
|
Krasnov, M. M.
|
|
|
|
5 |
p. 330-340
|
artikel
|
| 89 |
Graph-Based Software Framework for Implementation of Complex Computational Methods
|
Sokolov, A. P.
|
|
2019
|
|
5 |
p. 257-267
|
artikel
|
| 90 |
Graphical inheritance notation for state-based classes
|
Shopyrin, D. G.
|
|
2007
|
|
5 |
p. 283-292
|
artikel
|
| 91 |
Heuristics in Programming of Nondeterministic Games
|
B. F. Melnikov
|
|
2001
|
|
5 |
p. 277-288
12 p.
|
artikel
|
| 92 |
Heuristics in Programming of Nondeterministic Games
|
Melnikov, B. F.
|
|
2001
|
|
5 |
p. 277-288
|
artikel
|
| 93 |
Higher-level supercompilation as a metasystem transition
|
Klyuchnikov, I. G.
|
|
2012
|
|
5 |
p. 231-244
|
artikel
|
| 94 |
Highly Realistic Visualization of Caustics and Rough Surfaces
|
Vyatkin, S. I.
|
|
|
|
5 |
p. 322-330
|
artikel
|
| 95 |
Illumination Modeling and Generation of Realistic Images Using Internet Technologies
|
Barladyan, B. Kh.
|
|
2005
|
|
5 |
p. 282-291
|
artikel
|
| 96 |
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request
|
Thang, Nguyen Manh
|
|
|
|
5 |
p. 351-361
|
artikel
|
| 97 |
Improving quality of graph partitioning using multi-level optimization
|
Pastukhov, R. K.
|
|
2015
|
|
5 |
p. 302-306
|
artikel
|
| 98 |
Incompletely described objects in decision support
|
Yudin, V. N.
|
|
2017
|
|
5 |
p. 294-299
|
artikel
|
| 99 |
Influence of regular system interrupts on performance of parallel stencil computations
|
Kalgin, K. V.
|
|
2014
|
|
5 |
p. 223-228
|
artikel
|
| 100 |
Integrated environment for the analysis and design of distributed real-time embedded computing systems
|
Smelyansky, R. L.
|
|
2013
|
|
5 |
p. 242-254
|
artikel
|
| 101 |
Interaction semantics with refusals, divergence, and destruction
|
Bourdonov, I. B.
|
|
2010
|
|
5 |
p. 247-263
|
artikel
|
| 102 |
Interprocedural Static Analysis for Finding Bugs in Go Programs
|
Bolotnikov, I. V.
|
|
|
|
5 |
p. 344-352
|
artikel
|
| 103 |
Investigation of the restricted problem of three bodies of variable masses using computer algebra
|
Prokopenya, A. N.
|
|
2017
|
|
5 |
p. 289-293
|
artikel
|
| 104 |
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
|
I. B. Bourdonov
|
|
2003
|
|
5 |
p. 245-258
14 p.
|
artikel
|
| 105 |
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
|
Bourdonov, I. B.
|
|
2003
|
|
5 |
p. 245-258
|
artikel
|
| 106 |
Live Migration Schemes in Data Centers
|
Kostenko, V. A.
|
|
|
|
5 |
p. 312-315
|
artikel
|
| 107 |
Local search gradient algorithm based on functional voxel modeling
|
Grigor’ev, S. N.
|
|
2017
|
|
5 |
p. 300-306
|
artikel
|
| 108 |
Metaclasses in UML and in Programming Languages
|
Sergievskiy, M. V.
|
|
|
|
5 |
p. 464-469
|
artikel
|
| 109 |
Methods and software tools to support combined binary code analysis
|
Padaryan, V. A.
|
|
2014
|
|
5 |
p. 276-287
|
artikel
|
| 110 |
Model-based testing of internet e-mail protocols
|
Pakulin, N. V.
|
|
2012
|
|
5 |
p. 268-275
|
artikel
|
| 111 |
Model of distributed computing system operation with time
|
Smelyansky, R. L.
|
|
2013
|
|
5 |
p. 233-241
|
artikel
|
| 112 |
Multidimensional data analysis and visualization for time-dependent CFD problems
|
Bondarev, A. E.
|
|
2015
|
|
5 |
p. 247-252
|
artikel
|
| 113 |
Multi-Party Coordination in the Context of MOWS
|
R. Corchuelo
|
|
2002
|
|
5 |
p. 280-289
10 p.
|
artikel
|
| 114 |
Multi-Party Coordination in the Context of MOWS
|
Corchuelo, R.
|
|
2002
|
|
5 |
p. 280-289
|
artikel
|
| 115 |
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code
|
Savchenko, V. V.
|
|
|
|
5 |
p. 362-372
|
artikel
|
| 116 |
Object-oriented description of graph data structures
|
Demakov, A. V.
|
|
2007
|
|
5 |
p. 261-271
|
artikel
|
| 117 |
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream
|
Bobkov, V. A.
|
|
|
|
5 |
p. 301-311
|
artikel
|
| 118 |
Obtaining Affine Transformations to Improve Locality of Loop Nests
|
Likhoded, N. A.
|
|
2005
|
|
5 |
p. 270-281
|
artikel
|
| 119 |
On a generalization of regular expression
|
Gomozov, A. L.
|
|
|
|
5 |
p. 258-267
|
artikel
|
| 120 |
On complementary principles of object-oriented constraint programming
|
Semenov, V. A.
|
|
2010
|
|
5 |
p. 264-275
|
artikel
|
| 121 |
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
|
Baddour, A.
|
|
|
|
5 |
p. 412-422
|
artikel
|
| 122 |
On Program Schemes with Commuting and Monotone Operators
|
R. I. Podlovchenko
|
|
2003
|
|
5 |
p. 270-276
7 p.
|
artikel
|
| 123 |
On Program Schemes with Commuting and Monotone Operators
|
Podlovchenko, R. I.
|
|
2003
|
|
5 |
p. 270-276
|
artikel
|
| 124 |
Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators
|
Abramov, S. A.
|
|
2019
|
|
5 |
p. 288-297
|
artikel
|
| 125 |
Particular Solutions of Linear Differential and (q-) Difference Systems with Hypergeometric Right-hand Sides
|
Ryabenko, A. A.
|
|
2019
|
|
5 |
p. 298-302
|
artikel
|
| 126 |
Performance analysis of concurrent systems in algebra dtsiPBC
|
Tarasyuk, I. V.
|
|
2014
|
|
5 |
p. 229-249
|
artikel
|
| 127 |
Photorealistic volume scattering model in the bidirectional stochastic ray tracing problem
|
Zhdanov, D. D.
|
|
2015
|
|
5 |
p. 295-301
|
artikel
|
| 128 |
Pixel clustering for color image segmentation
|
Kharinov, M. V.
|
|
2015
|
|
5 |
p. 258-266
|
artikel
|
| 129 |
Practical approach to the fast Monte-Carlo ray-tracing
|
Gruzdev, A. M.
|
|
2015
|
|
5 |
p. 253-257
|
artikel
|
| 130 |
Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery
|
Volegov, D. B.
|
|
2008
|
|
5 |
p. 279-293
|
artikel
|
| 131 |
Probabilistic generalization of formal concepts
|
Vityaev, E. E.
|
|
2012
|
|
5 |
p. 219-230
|
artikel
|
| 132 |
Problems of instrumental support for the development of distributed embedded real-time systems
|
Bakhmurov, A. G.
|
|
2013
|
|
5 |
p. 221-232
|
artikel
|
| 133 |
Program models for diagnosis of information control systems
|
Bezmen, G. V.
|
|
2014
|
|
5 |
p. 250-258
|
artikel
|
| 134 |
ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms
|
V. A. Vasenin
|
|
2003
|
|
5 |
p. 277-282
6 p.
|
artikel
|
| 135 |
ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms
|
Vasenin, V. A.
|
|
2003
|
|
5 |
p. 277-282
|
artikel
|
| 136 |
PSI’11 call for papers Eighth International Andrei Ershov Conference “Perspectives of System Informatics” 27 June–1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru
|
Virbitskaite, I. B.
|
|
2010
|
|
5 |
p. 306-308
|
artikel
|
| 137 |
Reconstruction of structure and texture of city building facades
|
Yakubenko, A. A.
|
|
2011
|
|
5 |
p. 260-269
|
artikel
|
| 138 |
Region analysis for deductive verification of C programs
|
Mandrykin, M. U.
|
|
2016
|
|
5 |
p. 257-278
|
artikel
|
| 139 |
Replication in Distributed Systems: Models, Methods, and Protocols
|
Nasibullin, A. R.
|
|
|
|
5 |
p. 341-350
|
artikel
|
| 140 |
Representation of segment Voronoi diagram by Bezier curves
|
Mestetskii, L. M.
|
|
2015
|
|
5 |
p. 279-288
|
artikel
|
| 141 |
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights
|
Prokopenya, A. N.
|
|
|
|
5 |
p. 433-440
|
artikel
|
| 142 |
Satisfiability of Dataflow Models of Distributed Programs
|
V. V. Toporkov
|
|
2001
|
|
5 |
p. 238-244
7 p.
|
artikel
|
| 143 |
Satisfiability of Dataflow Models of Distributed Programs
|
Toporkov, V. V.
|
|
2001
|
|
5 |
p. 238-244
|
artikel
|
| 144 |
Scheduling algorithms for real-time computing systems admitting simulation models
|
Kostenko, V. A.
|
|
2013
|
|
5 |
p. 255-267
|
artikel
|
| 145 |
Seamless design: Impedance mismatch revisited
|
Cherkasova, P. G.
|
|
2006
|
|
5 |
p. 268-275
|
artikel
|
| 146 |
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients
|
Abramov, S. A.
|
|
|
|
5 |
p. 401-411
|
artikel
|
| 147 |
Simplified photon mapping for real-time caustics rendering
|
Bogolepov, D. K.
|
|
2011
|
|
5 |
p. 229-235
|
artikel
|
| 148 |
Simulation of natural daylight illumination determined by a high dynamic range image
|
Voloboi, A. G.
|
|
2006
|
|
5 |
p. 284-297
|
artikel
|
| 149 |
Simulation program complex for studying motion control methods for autonomous underwater vehicles
|
Bobkov, V. A.
|
|
2008
|
|
5 |
p. 257-266
|
artikel
|
| 150 |
Some Aspects of Associative Memory Construction Based on a Hopfield Network
|
Karpov, Yu. L.
|
|
|
|
5 |
p. 305-311
|
artikel
|
| 151 |
Spectral ray tracing in problems of photorealistic imagery construction
|
Zhdanov, D. D.
|
|
2011
|
|
5 |
p. 236-244
|
artikel
|
| 152 |
Stance Detection Based on Ensembles of Classifiers
|
Vychegzhanin, S. V.
|
|
2019
|
|
5 |
p. 228-240
|
artikel
|
| 153 |
Static analyzer Svace for finding defects in a source program code
|
Ivannikov, V. P.
|
|
2014
|
|
5 |
p. 265-275
|
artikel
|
| 154 |
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
|
A. A. Shalyto
|
|
2001
|
|
5 |
p. 260-276
17 p.
|
artikel
|
| 155 |
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
|
Shalyto, A. A.
|
|
2001
|
|
5 |
p. 260-276
|
artikel
|
| 156 |
Synchronous incremental update of materialized views for PostgreSQL
|
Quoc Vinh, Nguyen Tran
|
|
2016
|
|
5 |
p. 307-315
|
artikel
|
| 157 |
Synthesis of parallel recursive programs in structural functional models
|
Novoseltsev, V. B.
|
|
2007
|
|
5 |
p. 293-298
|
artikel
|
| 158 |
Synthesizing structures of real-time computer systems using genetic algorithms
|
Kostenko, V. A.
|
|
|
|
5 |
p. 281-288
|
artikel
|
| 159 |
Systems of agents controlled by logical programs: Complexity of verification
|
Valiev, M. K.
|
|
2009
|
|
5 |
p. 266-281
|
artikel
|
| 160 |
Texterra: A framework for text analysis
|
Turdakov, D. Yu.
|
|
2014
|
|
5 |
p. 288-295
|
artikel
|
| 161 |
The method of real-time implementation of tone mapping and bloom effect
|
Mikhaylyuk, M. V.
|
|
2015
|
|
5 |
p. 289-294
|
artikel
|
| 162 |
The use of coherent ray tracing for physically accurate rendering
|
Barladyan, B. Kh.
|
|
2008
|
|
5 |
p. 294-303
|
artikel
|
| 163 |
The use of contract specifications for representing requirements and for functional testing of hardware models
|
Ivannikov, V. P.
|
|
2007
|
|
5 |
p. 272-282
|
artikel
|
| 164 |
The use of hardware virtualization in the context of information security
|
Silakov, D. V.
|
|
2012
|
|
5 |
p. 276-280
|
artikel
|
| 165 |
Towards deductive verification of C programs with shared data
|
Mandrykin, M. U.
|
|
2016
|
|
5 |
p. 324-332
|
artikel
|
| 166 |
Transaction management in RDBMSs with XML support
|
Pleshachkov, P. O.
|
|
2006
|
|
5 |
p. 243-254
|
artikel
|
| 167 |
Transformation of XML data using updates without side effects
|
Boldakov, A. A.
|
|
2006
|
|
5 |
p. 255-267
|
artikel
|
| 168 |
Translating Iterative Algorithms into Automaton Ones
|
A. A. Shalyto
|
|
2002
|
|
5 |
p. 250-260
11 p.
|
artikel
|
| 169 |
Translating Iterative Algorithms into Automaton Ones
|
Shalyto, A. A.
|
|
2002
|
|
5 |
p. 250-260
|
artikel
|
| 170 |
‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies
|
Virbitskaite, I. B.
|
|
|
|
5 |
p. 389-401
|
artikel
|
| 171 |
Twenty Similarity Functions for Two Finite Sequences
|
Burdonov, I.
|
|
|
|
5 |
p. 373-387
|
artikel
|
| 172 |
Ultrasound image texture analysis for liver fibrosis stage diagnostics
|
Kvostikov, A. V.
|
|
2015
|
|
5 |
p. 273-278
|
artikel
|
| 173 |
Universal numerical algorithms and their software implementation
|
Litvinov, G. L.
|
|
|
|
5 |
p. 275-280
|
artikel
|
| 174 |
Using linux device drivers for static verification tools benchmarking
|
Mandrykin, M. U.
|
|
2012
|
|
5 |
p. 245-256
|
artikel
|
| 175 |
Using static symbolic execution to detect buffer overflows
|
Dudina, I. A.
|
|
2017
|
|
5 |
p. 277-288
|
artikel
|
| 176 |
Visualization Metaphors
|
V. L. Averbukh
|
|
2001
|
|
5 |
p. 227-237
11 p.
|
artikel
|
| 177 |
Visualization Metaphors
|
Averbukh, V. L.
|
|
2001
|
|
5 |
p. 227-237
|
artikel
|
Tijdschrift beschrijving