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

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

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

В разделе "Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров"
Реализация параллельных вычислений в программном комплексе "LS-STAG_TURB" для моделирования течений вязкой несжимаемой среды на системах с общей памятью
Пузикова В.В.
Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения
Дергачв А.В., Сидорин А.В.
Оптимизация динамической загрузки библиотек на архитектуре ARM
Кудряшов Е.А., Мельник Д.М., Монаков А.В.
Usability of AutoProof: a case study of software verification
Khazeev Mansur, Rivera Victor, Mazzara Manuel, Tchitchigin Alexander
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.
Modelling the people recognition pipeline in access control systems
Gossen F., Margaria T., Gke T.
Refinement types in Jolie
Tchitchigin Alexander, Safina Larisa, Elwakil Mohamed, Mazzara Manuel, Montesi Fabrizio, Rivera Victor
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.
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp