Научные статьи \ Общие вопросы науки и культуры \ Информационные технологии. Вычислительная техника. Обработка данных

Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров - 004.9

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

В разделе "Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров"
Specification-based test program generation for MIPS64 memory management units
Kamkin A.S., Kotsynyak A.M.
Обзор задач и методов их решения в области классификации сетевого трафика
Гетьман А.И., Маркин Ю.В., Евстропов Е.Ф., Обыденков Д.О.
Комбинация методов статической верификации композиции требований
Мордань В.О.
Объектно-ориентированный каркас для программной реализации приложений теории расписаний
Аничкин А.С., Семенов В.А.
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.
Моделирование программно-аппаратных систем и анализ их безопасности
Зеленов С.В., Зеленова С.А.
Распределённые алгоритмы на корневых неориентированных графах
Бурдонов И., Косачев А., Сортов А.
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.
Синтаксический анализ графов с использованием конъюнктивных грамматик
Азимов Р.Ш., Григорьев С.В.
Онтология предметной области "Удобство использования программного обеспечения"
Сытник А.А., Шульга Т.Э., Данилов Н.А.
Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
Гилязев Р.А., Турдаков Д.Ю.
Чистая компиляция как парадигма программирования
Столяров А.В., Французов О.Г., Аникина А.С.
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
Гонахчян В.И.
In-kernel memory-mapped I/O device emulation
Cheptsov V.Yu., Khoroshilov A.V.
Methods of protecting decentralized autonomous organizations from crashes and attacks
Andryukhin A.A.
Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе
Зосимов В.В., Христодоров А.В., Булгакова А.С.
Variants of Chinese postman problems and a way of solving through transformation into vehicle routing problems
Gordenko M.K., Avdoshin S.M.
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-программах
Трифанов В.Ю.
Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С.
Configurable system call tracer in QEMU emulator
Ivanov A.V., Dovgaluk P.M., Makarov V.A.
A static approach to estimation of execution time of components in AADL models
Troitskiy A.M., Buzdalov D.V.
Разработка базы данных кишечных инфекций с водным путем передачи
Наркайтис Лидия Игоревна, Елисеев Юрий Юрьевич, Яшечкин Юрий Иванович, Куклев Евгений Валентинович, Данилов Алексей Николаевич, Кожанова Ольга Ивановна, Минаева Маргарита Евгеньевна
Метод оценки содержания меланина в радужной оболочке глаза
Коблова Е.В., Каменских Т.Г., Баш Катов А.Н., Генина Е.А., Тучин В.В.
Биоинформатика и средства компьютерного анализа и визуализации макромолекул
Порозов Ю.Б.
Состояние постуральных функций при болезни Паркинсона по данным компьютерной стабилометрии
Третьякова Наталья Александровна, Повереннова Ирина Евгеньевна
Возможности различных методов автоматического распознавания стадий сна
Антипов О.И., Захаров А.В., Повереннова И.Е., Неганов В.А., Ерофеев А.Е.
Возможности различных CAD-комплексов при построении математической модели костной ткани
Иванов Д.В., Лепилин А.В., Смирнов Д.А., Доль А.В.
Выбор компьютерных технологий для аналитической поддержки базы данных крупномасштабных медицинских информационных систем
Бирюков А.П., Васильев Е.В., Думанский С.М., Тихонова О.А., Герт Ю.А., Капитонова Н.В.
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp