Научные статьи \ Прикладные науки. Медицина. Технология

Oтрасли промышленности и ремесла для изготовления и обработки различных изделий - 68

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

В разделе "Oтрасли промышленности и ремесла для изготовления и обработки различных изделий"
Реализация параллельных вычислений в программном комплексе "LS-STAG_TURB" для моделирования течений вязкой несжимаемой среды на системах с общей памятью
Свободное программное обеспечение для моделирования жидкости со свободной поверхностью
Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов
Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы
Оптимизация динамической загрузки библиотек на архитектуре ARM
Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU
Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах
Certified grammar transformation to Chomsky normal form in F
Investigating concurrency in the co-simulation orchestration engine for Into-CPS
Practical experience of software and system engineering approaches in requirements management for software development in aviation industry
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
Memristor-based hardware neural networks modelling review and framework concept
Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем
Visual dataflow language for educational robots programming
Approach to anti-pattern detection in service-oriented software systems
Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток
Поиск ошибок доступа к буферу в программах на языке C/ C++
Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению
Обзор современных методов планирования движения
Scalable sandbox environments for a modern organization
A model checking-based method of functional test generation for HDL descriptions
Checking parameterized Promela models of cache coherence protocols
Language for describing templates for test program generation for microprocessors
Комбинация методов статической верификации композиции требований
Experiments on parallel composition of timed finite state machines
Объектно-ориентированный каркас для программной реализации приложений теории расписаний
ADV_SPM - формальные модели политики безопасности на практике
Анализ программ на языке Java в инструменте Svace
О проблеме представления формальной модели политики безопасности операционных систем
Логика первого порядка для задания требований к безопасному программному коду
Обещающая компиляция в ARMv8.3
Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
Объектно-ориентированная среда для разработки приложений планирования движения
A modified Scrum story points estimation method based on fuzzy logic approach
Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса
Моделирование программно-аппаратных систем и анализ их безопасности
Распределённые алгоритмы на корневых неориентированных графах
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp