RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2018, Volume 30, Issue 4  


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
Proceedings of the Institute for System Programming of the RAS
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018