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

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

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

В разделе "Программные средства"
Design and architecture of real-time operating system
Developing a debugger for real-time operating system
Modelling the people recognition pipeline in access control systems
Parallel processing and visualization for results of molecular simulation problems
Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем
Refinement types in Jolie
Language support for generic programming in object-oriented languages: design challenges
Context-based model for concern markup of a source code
Approach to anti-pattern detection in service-oriented software systems
Technology for application family creation based on domain analysis
Метод оценки эксплуатируемости программных дефектов
Поиск ошибок доступа к буферу в программах на языке C/ C++
Поддержка стандарта OpenMP4.0 для архитектуры NVIDIA PTX в компиляторе GCC
Некоторые задачи на графовых базах данных
Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL
Information retrieval and analysis for a modern organization
Language for describing templates for test program generation for microprocessors
Specification-based test program generation for MIPS64 memory management units
Обзор задач и методов их решения в области классификации сетевого трафика
Комплекс алгоритмов функционирования системы безопасного исполнения программного кода
Обзор методов динамической компиляции запросов
О представлении результатов обратной инженерии бинарного кода
Анализ программ на языке Java в инструменте Svace
Обзор подходов к улучшению качества результатов статического анализа программ
Сравнительный анализ двух подходов к статическому анализу помеченных данных
Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
Логика первого порядка для задания требований к безопасному программному коду
Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
Объектно-ориентированная среда для разработки приложений планирования движения
A modified Scrum story points estimation method based on fuzzy logic approach
Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса
The study into "Cross-Site Request Forgery" attacks within the framework of analysis of software vulnerabilities
Designing variability models for software, operating systems and their families
Обзор расширяемого протокола аутентификации и его методов
Синтаксический анализ графов с использованием конъюнктивных грамматик
Онтология предметной области "Удобство использования программного обеспечения"
Распараллеливание реализаций сугубо последовательных алгоритмов
Преобразование типизированных функций в реляционную форму
Чистая компиляция как парадигма программирования
In-kernel memory-mapped I/O device emulation
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp