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

Распределённые алгоритмы на корневых неориентированных графах

Бурдонов И., Косачев А., Сортов А.

Программное обеспечение для создания адаптивных сеток

Семакин А.Н.

Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем

Сапожников В.В., Сапожников вЛ.В., Ефанов Д.В.

Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)

Матросова А.Ю., Останин С.А., Николаева Е.А.

The study into "Cross-Site Request Forgery" attacks within the framework of analysis of software vulnerabilities

Barabanov A.V., Lavrov A.I., Markov A.S., Polotnyanschikov I.A., Tsirlov V.L.

A flat chart technique for embedded OS testing

Nikiforov V.V., Baranov S.N.

Designing variability models for software, operating systems and their families

Lavrischeva E.M., Mutilin V.S., Ryzhov A.G.

Обзор расширяемого протокола аутентификации и его методов

Никешин А.В., Шнитман В.З.

Синтаксический анализ графов с использованием конъюнктивных грамматик

Азимов Р.Ш., Григорьев С.В.

Проблема отката в ориентированной распределенной системе

Бурдонов И.Б., Косачев А.С.

Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных

Гилязев Р.А., Турдаков Д.Ю.

Анализ баллистокардиограммы на граничных вычислительных узлах

Нужный А.С., Прозоров А.А., Бугаев В.И., Шувалов Н.Д., Подымов В.В.

Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом

Смирнова Е.В., Марчевский И.К., Бондарчук В.О.

Автоматизированная генерация декодеров машинных команд

Фокина Н.Ю., Соловьев М.А.

Алгоритм удаления невидимых поверхностей на основе программных проверок видимости

Гонахчян В.И.

Methods of protecting decentralized autonomous organizations from crashes and attacks

Andryukhin A.A.

Cryptographic stack machine notation one

Prokopev S.E.

Verification of system on chip integrated communication controllers

Petrochenkov M.V., Mushtakov R.E., Shpagilev D.I.

Buffer overflow detection via static analysis: expectations vs. reality

Dudina I.A.

Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution

Beresneva E., Avdoshin S.

Static dependency analysis for semantic data validation

Ilyin D.V., Fokina N.Yu., Semenov V.A.

Simulating behavior of multi-agent systems with acyclic interactions of agents

Nesterov R.A., Mitsyuk A.A., Lomazova I.A.

On the model checking of finite state transducers over semigroups

Gnatenko A.R., Zakharov V.A.

Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach

Lesovoy S.L.

On the verification of strictly deterministic behavior of timed finite state machines

Vinarskii E.M., Zakharov V.A.

Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах

Трифанов В.Ю.

Stealth debugging of programs in QEMU emulator with WinDbg debugger

Abakumov M.A., Dovgalyuk P.M.

Анализ методов оценки надежности оборудования и систем. Практика применения методов

Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В.

A static approach to estimation of execution time of components in AADL models

Troitskiy A.M., Buzdalov D.V.

Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов

Солоделов Ю.А., Горелиц Н.К.

Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении

Авдеева А.Н., Пузикова В.В.

Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода "2 из 4"

Ефанов Д.В., Сапожников В.В., Сапожников вЛ.В., Пивоваров Д.В.

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

Посненкова Ольга Михайловна, Гриднев В.И., Киселев А.Р., Шварц В.А.

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

Норкин И.А., Свистунов А.А., Марков Д.А., Кауц О.А., Шпиняк С.П., Хачатрян А.Г., Белоногов В.Н.

Оценка морфологических изменений твердых зубных тканей, обработанных лазером и ротационными инструментами с помощью ультразвукового электронного микроскопа

Томов Георгий

Профилактика нарушений фонетической адаптации при изготовлении несъемных ортопедических конструкций

Бизяев А.А., Коннов В.В., Перунов А.Ю., Кречетов С.А., Бизяева Н.Д.

Методика формирования рельефа промывного пространства под телом мостовидного протеза для улучшения гигиенического ухода за несъемными ортопедическими конструкциями

Перунов А.Ю., Кречетов С.А., Бизяев А.А., Масленников Д.Н., Перунова Я.О., Прядильщиков И.О.

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

Бизяев А.А., Коннов Валерий Владимирович, Лепилин Александр Викторович, Масленников Дмитрий Николаевич, Бизяева Наталья Дмитриевна

Биологические эффекты импульсного электротока по данным лабораторных испытаний электрошоковых устройств

Григорьев О.А., Коклин А.Е., Лукьянова С.Н., Алексеева В.А.

Оценка тяжести состояния и прогнозирование течения заболевания при язвенных гастродуоденальных кровотечениях

Потахин С.Н., Шапкин Ю.Г., Чалык Ю.В., Зевякина В.А.

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

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