|
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 |
|
|
К синтезу адаптивных различающих последовательностей для конечных автоматов
А. С. Твардовский, Н. В. Евтушенко
|
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 |
|
|
Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке
В. Е. Сачков
|
195 |
|
|
Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем
Д. О. Лазарев, Н. Н. Кузюрин
|
209 |
