Oтрасли промышленности и ремесла для изготовления и обработки различных изделий УДК: 68

Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM

Димитриева Н.Ф., Чашечкин Ю.Д.

Реализация параллельных вычислений в программном комплексе "LS-STAG_TURB" для моделирования течений вязкой несжимаемой среды на системах с общей памятью

Пузикова В.В.

Свободное программное обеспечение для моделирования жидкости со свободной поверхностью

Давыдова Е.В., Корчагова В.Н.

Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов

Кузьмина К.С., Марчевский И.К.

Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы

Варданян В.Г.

Оптимизация динамической загрузки библиотек на архитектуре ARM

Кудряшов Е.А., Мельник Д.М., Монаков А.В.

Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU

Платонов В.А., Монаков А.В.

Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах

Пальчевский Е.В., Халиков А.Р.

Certified grammar transformation to Chomsky normal form in F

Polubelova M.I., Bozhko S.N., Grigorev S.V.

Investigating concurrency in the co-simulation orchestration engine for Into-CPS

Thule C., Larsen P.G.

Practical experience of software and system engineering approaches in requirements management for software development in aviation industry

Koverninskiy I.V., Kan A.V., Volkov V.B., Popov Yu. S., Gorelits N.K.

Design and architecture of real-time operating system

Mallachiev K.M., Pakulin N.V., Khoroshilov A.V.

Developing a debugger for real-time operating system

Emelenko A.N., Mallachiev K.A., Pakulin N.V.

Modelling the people recognition pipeline in access control systems

Gossen F., Margaria T., Gke T.

Parallel processing and visualization for results of molecular simulation problems

Puzyrkov D.V., Podryga V.O., Polyakov S.V.

Memristor-based hardware neural networks modelling review and framework concept

Kozhevnikov D.D., Krasilich N.V.

Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем

Чукляев И.И.

Visual dataflow language for educational robots programming

Zimin G.A., Mordvinov D.A.

Approach to anti-pattern detection in service-oriented software systems

Yugov A.S.

Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток

Ермакова В.О., Ломазова И.А.

Поиск ошибок доступа к буферу в программах на языке C/ C++

Дудина И.А., Кошелев В.К., Бородин А.Е.

Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению

Юдин В.Н., Карпов Л.Е.

Обзор современных методов планирования движения

Казаков К.А., Семенов В.А.

Scalable sandbox environments for a modern organization

Topchyan Artyom

A model checking-based method of functional test generation for HDL descriptions

Lebedev M.S., Smolov S.A.

Checking parameterized Promela models of cache coherence protocols

Burenkov V.S., Kamkin A.S.

Language for describing templates for test program generation for microprocessors

Tatarnikov A.D.

Комбинация методов статической верификации композиции требований

Мордань В.О.

Experiments on parallel composition of timed finite state machines

Sotnikov A.P., Shabaldina N.V., Gromov M.L.

Объектно-ориентированный каркас для программной реализации приложений теории расписаний

Аничкин А.С., Семенов В.А.

ADV_SPM - формальные модели политики безопасности на практике

Хорошилов А.В., Щепетков И.В.

Анализ программ на языке Java в инструменте Svace

Меркулов А.П., Поляков С.А., Белеванцев А.А.

О проблеме представления формальной модели политики безопасности операционных систем

Девянин П.Н.

Логика первого порядка для задания требований к безопасному программному коду

Козачок А.В.

Обещающая компиляция в ARMv8.3

Подкопаев А.В., Лахав О., Вафеядис В.

Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ

Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С.

Объектно-ориентированная среда для разработки приложений планирования движения

Казаков К.А., Семенов В.А.

A modified Scrum story points estimation method based on fuzzy logic approach

Semenkovich S.A., Kolekonova O.I., Degtiarev K.Y.

Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса

Аничкин А.С., Морозов С.В., Семенов В.А., Тарлапан О.А.

Моделирование программно-аппаратных систем и анализ их безопасности

Зеленов С.В., Зеленова С.А.

Oтрасли промышленности и ремесла для изготовления и обработки различных изделий - 68

Научные статьи