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

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

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

В разделе "Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров"
Комбинация методов статической верификации композиции требований
Объектно-ориентированный каркас для программной реализации приложений теории расписаний
ADV_SPM - формальные модели политики безопасности на практике
Анализ программ на языке Java в инструменте Svace
Обзор подходов к улучшению качества результатов статического анализа программ
Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
Логика первого порядка для задания требований к безопасному программному коду
Обещающая компиляция в ARMv8.3
A modified Scrum story points estimation method based on fuzzy logic approach
Моделирование программно-аппаратных систем и анализ их безопасности
Распределённые алгоритмы на корневых неориентированных графах
A flat chart technique for embedded OS testing
Designing variability models for software, operating systems and their families
Синтаксический анализ графов с использованием конъюнктивных грамматик
Онтология предметной области "Удобство использования программного обеспечения"
Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
Чистая компиляция как парадигма программирования
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
In-kernel memory-mapped I/O device emulation
Methods of protecting decentralized autonomous organizations from crashes and attacks
Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе
Variants of Chinese postman problems and a way of solving through transformation into vehicle routing problems
Simulating behavior of multi-agent systems with acyclic interactions of agents
On the model checking of finite state transducers over semigroups
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
On the verification of strictly deterministic behavior of timed finite state machines
К построению модульной модели распределенного интеллекта
Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
Configurable system call tracer in QEMU emulator
A static approach to estimation of execution time of components in AADL models
Разработка базы данных кишечных инфекций с водным путем передачи
Метод оценки содержания меланина в радужной оболочке глаза
Биоинформатика и средства компьютерного анализа и визуализации макромолекул
Состояние постуральных функций при болезни Паркинсона по данным компьютерной стабилометрии
Возможности различных методов автоматического распознавания стадий сна
Возможности различных CAD-комплексов при построении математической модели костной ткани
Выбор компьютерных технологий для аналитической поддержки базы данных крупномасштабных медицинских информационных систем
Интегральный подход к дооперационному определению клинической значимости рака простаты
Идентификация и счет форменных элементов крови в ее нативном состоянии на основе цифровой микроскопии
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp