Requirements management for safety-critical systems. Overview of solutions por Alexey Vladimirovitch Khoroshilov, Natalia Kirilovna Gorelits, Denis Stepanovitch Kildishev

“…Труды Института системного программирования РАН…”
Obter o texto integral

An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. por A.V. Shokurov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Building security predicates for some types of vulnerabilities por A. N. Fedotov, V. V. Kaushan, S. S. Gaissaryan, Sh. F. Kurmangaleev

“…Труды Института системного программирования РАН…”
Obter o texto integral

Data Management: 25 Years of Forecasts por S. D. Kuznetsov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Lazy source code analysis for C/C++ languages por V. O. Savitsky, D. V. Sidorov

“…Труды Института системного программирования РАН…”
Obter o texto integral

An Approach to Reconstruction of Control Flow of an Obfuscated Program por Ilya N. Ledovskikh, Maxim G. Bakulin

“…Труды Института системного программирования РАН…”
Obter o texto integral

SQLite RDBMS Extension for Data Indexing Using B-tree Modifications por Anton Mikhailovitch Rigin, Sergey Andreevich Shershakov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. por P.E. Bulychev, I.V. Konnov, V.A. Zakharov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Генерация тестовых программ для подсистемы управления памятью микропроцессора por Д.Н. Воробьев, А.С. Камкин

“…Труды Института системного программирования РАН…”
Obter o texto integral

Ontology of the “Software Usability” Domain por A. A. Sytnik, T. E. Shulga, N. A. Danilov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Axisymmetric viscous incompressible flow simulation by using the Particle finite element PFEM-2 method in the open source Kratos code por E. V. Smirnova, I. K. Marchevsky, V. O. Bondarchuk

“…Труды Института системного программирования РАН…”
Obter o texto integral

Нечеткое сравнение коллекций: семантический и алгоритмический аспекты por В.А. Семенов, С.В. Морозов, О.А. Тарлапан, И.В. Энкович

“…Труды Института системного программирования РАН…”
Obter o texto integral

Combined Classifier for Website Messages Filtration por Veniamin Tarasov, Ekaterina Mezenceva, Danila Karbaev

“…Труды Института системного программирования РАН…”
Obter o texto integral

A Crowdsourcing Engine for Mechanized Labor por D. A. Ustalov

“…Труды Института системного программирования РАН…”
Obter o texto integral

Архитектура и принципы построения операционной среды «мини-ОС». por Ю.Н. Фонин, С. Грассман

“…Труды Института системного программирования РАН…”
Obter o texto integral

Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution por A. . Dergachev, A. . Sidorin

“…Труды Института системного программирования РАН…”
Obter o texto integral

Linux Standard Base: история успеха? por А.В. Хорошилов

“…Труды Института системного программирования РАН…”
Obter o texto integral

A semi-automatic approach for parallel problem solving using the Multi-BSP model por Marcelo Orlando Alaniz, Sergio Enrique Nesmachnow Cánovas

“…Труды Института системного программирования РАН…”
Obter o texto integral

Topology-aware cloud scheduling for HPC por I. A. Dudina, A. O. Kudryavtsev, S. S. Gaissaryan

“…Труды Института системного программирования РАН…”
Obter o texto integral

Software package to calculate the aerodynamic characteristics of aircrafts por V. N. Koterov, V. M. Krivtsov, V. I. Zubov

“…Труды Института системного программирования РАН…”
Obter o texto integral