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

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

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

В разделе "Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров"
Visual dataflow language for educational robots programming
Zimin G.A., Mordvinov D.A.
Context-based model for concern markup of a source code
Malevannyy M.S., Mikhalkovich S.S.
Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток
Ермакова В.О., Ломазова И.А.
Метод оценки эксплуатируемости программных дефектов
Федотов А.Н.
Поиск ошибок доступа к буферу в программах на языке C/ C++
Дудина И.А., Кошелев В.К., Бородин А.Е.
Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению
Юдин В.Н., Карпов Л.Е.
Некоторые задачи на графовых базах данных
Гуральник Р.И.
Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL
Шарыгин Е.Ю., Бучацкий Р.А., Скворцов Л.В., Жуйков Р.А., Мельник Д.М.
Scalable sandbox environments for a modern organization
Topchyan Artyom
Language for describing templates for test program generation for microprocessors
Tatarnikov A.D.
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-программах
Трифанов В.Ю.
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp