|
Tolerant parsing with a special kind of «Any» symbol: the algorithm and practical application
A. V. Goloveshkin, S. S. Mikhalkovich
|
7 |
|
|
An interactive specializer based on partial evaluation for a Java subset
I. A. Adamovich, And. V. Klimov
|
29 |
|
|
Heterogeneous architectures programming library
G. V. Kirgizov, I. A. Kirilenko
|
45 |
|
|
Criteria for software to safety-critical complex certifiable systems development
N. K. Gorelits, A. S. Gukova, E. V. Peskov
|
63 |
|
|
Towards formal verification of cyber security standards
Tomas Kulik, Peter Gorm Larsen
|
79 |
|
|
Combining ACSL specifications and machine code
P. A. Putro
|
95 |
|
|
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
J. C. Carrasquel, A. Morales, M. E. Villapol
|
107 |
|
|
Simulation-based verification of system-on-chip bus controllers
M. M. Chupilko, E. A. Drozdova
|
129 |
|
|
Deriving adaptive distinguishing sequences for Finite State Machines
A. S. Tvardovskii, N. V. Yevtushenko
|
139 |
|
|
Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
I. A. Pisarev, L. K. Babenko
|
155 |
|
|
Auto-calibration and synchronization of camera and MEMS-sensors
A. R. Polyakov, A. V. Kornilova, I. A. Kirilenko
|
169 |
|
|
Medical images segmentation operations
S. A. Musatian, A. V. Lomakin, S. Yu. Sartasov, L. K. Popyvanov, I. B. Monakhov, A. S. Chizhova
|
183 |
|
|
The use of associative semantic preprocessor in the interactive dialogue systems in natural language
V. E. Sachkov
|
195 |
|
|
On on-line algorithms for Bin, Strip and Box packing, and their worst- and average-case analysis
D. O. Lazarev, N. N. Kuzyurin
|
209 |
