Программные средства УДК: 004.4

Преобразование типизированных функций в реляционную форму

Лозов П.А., Булычев Д.Ю.

Чистая компиляция как парадигма программирования

Столяров А.В., Французов О.Г., Аникина А.С.

In-kernel memory-mapped I/O device emulation

Cheptsov V.Yu., Khoroshilov A.V.

Building modular real-time software from unified component model

Mallachiev K.A., Khoroshilov A.V.

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

Зосимов В.В., Христодоров А.В., Булгакова А.С.

Buffer overflow detection via static analysis: expectations vs. reality

Dudina I.A.

Static dependency analysis for semantic data validation

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

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

Lesovoy S.L.

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

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

Applying deep learning to C# call sequence synthesis

Chebykin A.E., Kirilenko I.A.

Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения

Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С.

Stealth debugging of programs in QEMU emulator with WinDbg debugger

Abakumov M.A., Dovgalyuk P.M.

Configurable system call tracer in QEMU emulator

Ivanov A.V., Dovgaluk P.M., Makarov V.A.

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

Дубинина Юлия Анатольевна, Каменских Т.Г., Колбенев И.О., Веселова Е.В.

Современные цифровые технологии изготовления зубных протезов

Пивоваров В.И., Бондарь Е.С., Рыжова И.П.

Выбор компьютерных технологий для аналитической поддержки базы данных крупномасштабных медицинских информационных систем

Бирюков А.П., Васильев Е.В., Думанский С.М., Тихонова О.А., Герт Ю.А., Капитонова Н.В.

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

Еругина М.В., Тимофеев Д.А., Цвигайло М.А.

Инновационный подход к обучению студентов вуза по дисциплине «Прикладная физическая культура»

Павлов В.И., Алешкина О.Ю.

Теоретический анализ проблем информационной безопасности современного общества

Немыкина Ольга Ивановна

Истоки и причины возникновения менеджмента знаний

Оселедчик Михаил Борисович

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

Филиппская Наталья Юрьевна

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

Горбунова Ирина Борисовна, Беличенко Владимир Владимирович

Семантический анализ определений понятия "педагогическая технология"

Венгерова Наталья Николаевна

Методика реализации межпредметных связей при изучении дисциплины «Информационные технологии» с применением метода проектов

Майкова Наталья Сергеевна

Использование автоматизированных информационных систем как элемента цифровых образовательных ресурсов при изучении дисциплин специальности «Экономика и бухгалтерский учет (по отраслям)» (на примере программы 1С «Предприятие 8.2»)

Щетина Е.В.

Использование сетевых технологий в современном дистанционном образовании

Шестакова О.О.

Системы электронного образования и облачные технологии в образовании

Альбекова З.М.

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

Кутузова З.Ю.

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

Новикова С.В., Никифорова Н.А.

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

Афанасьева Наталья Иосифовна, Кулагин Алексей Леонидович, Сологубова Галина Федоровна, Юдин Андрей Леонидович, Юматова Елена Анатольевна

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

Чевардин Александр Юрьевич, Осипова Елена Владимировна

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

Вепрев Сергей Борисович, Кочуров Александр Михайлович, Лобашев Алексей Константинович

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

Минаев Владимир Александрович, Хренов Владимир Пантелеймонович

Маскирование речевой информации: перспективные методы и средства

Дворянкин Сергей Владимирович, Мишуков Андрей Андреевич

Безопасный город: интеллектуальные технологии

Дворянкин Сергей Владимирович, Жаркой Роман Михайлович, Минаев Владимир Александрович

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

Пьянков Олег Викторович

Разработка интеллектуальной системы поддержки принятия решений в задачах выявления причинно-следственных связей и нивелирования атак на компьютерную систему

Тверской Антон Николаевич

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

Фисун Владислав Андреевич

Автоматизация испытаний интегральных микросхем на стойкость к воздействию отдельных ядерных частиц с использованием аппаратно-программного комплекса National Instruments и технологий.NET

Тарараксин Александр Сергеевич, Савченков Дмитрий Владимирович, Печенкин Александр Александрович

Верифицирующий алгоритм для математической модели взаимных блокировок

Парфилов Иван Васильевич, Свирин Илья Сергеевич, Силин Павел Александрович, Шумилов Юрий Юрьевич

Программные средства - 004.4

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