Реализация мультимедийных приложений средствами JCSP
Алгебра процессов Хоара как математическое описание синхронизации процессов, а также средства анализа, верификации, исключения тупиков, замыкания. Основное средство синхронизации и взаимодействия процессов. Пример реализации CSP-процесса на Java.
Подобные документы
Математическое моделирование технического объекта. Обзор методов компьютерного моделирования, основные концепции и их применение. Анализ исходных и результирующих данных. Построение графической схемы алгоритма. Описание реализации задачи в MathCad.
курсовая работа, добавлен 09.12.2013- 52. Процессы и потоки. Общие определения, основные атрибуты, способы создания и завершения процессов
Понятие и характеристика процесса как адресного пространства потоков управления в системном ресурсе. Особенности нормального и аварийного завершение процесса. Опрос и изменение атрибутов процессов, утилита ps. Создание и приоритет процессов, утилит kill.
лабораторная работа, добавлен 27.11.2013 Рассмотрение средств анализа, способных своевременно отслеживать и устранять возникающие коллизии процессов информационного обмена в распределенных управляющих системах. Задачи поиска угроз и своевременного информирования лиц, принимающих решения.
статья, добавлен 24.08.2020Общая характеристика процессов сбора, передачи, обработки и накопления информации. Технические и программные средства реализации информационных процессов, модели решения функциональных и вычислительных задач. Результативность и правильность алгоритма.
контрольная работа, добавлен 29.09.2017Основные понятия информатики. Характеристика процессов сбора, передачи, обработки и накопления информации, ее виды, свойства и кодирование. Технические средства реализации информационных процессов. Алгоритмизация и программирование, базы данных; сети ЭВМ.
учебное пособие, добавлен 25.11.2013Программные средства реализации информационных процессов. Основные методы теории информации и кодирования. Общая характеристика процессов сбора, передачи, обработки и накопления информации. Алгоритм и его свойства. Основы компьютерных коммуникаций.
методичка, добавлен 27.09.2014Выявление артефактов контекста, построения иерархии и жизненного цикла. Экстернализация неявных знаний исполнителей, которые оказывают влияние на ход выполнения процесса. Построение моделей бизнес-процессов на основе анализа журналов регистрации событий.
статья, добавлен 19.06.2018Соответствие точно синхронизированного времени с компьютерами и системами как задача при использовании технических устройств. Принципы и перспективы получения единого времени на всех устройствах распределенной сети. Использование временной синхронизации.
статья, добавлен 22.02.2019Система критериев автоматизации бизнес-процессов для перевода на платформу публичного облака в виде SaaS-приложений. Взаимосвязь характеристик бизнес-процессов и типовых платформенных характеристик, построенных на технологиях публичного облака ИТ-решений.
статья, добавлен 14.03.2019Применение Scilab, как программного обеспечения (ПО) по компьютерной математике для моделирования и изучения физических процессов. Роль алгоритмического языка Java, как программного ядра ПО Scilab. Средства визуального моделирования в ПО Scilab: Xcos.
дипломная работа, добавлен 23.01.2017Анализ бизнес-процессов предприятия. Описание процессов автоматизации, выполнение структурного подхода данных. Выбор сервера для сайта и оптимального движка для него. Создание и настройка сайта. Техническое обеспечение и реализация информационной системы.
дипломная работа, добавлен 25.09.2017Описание JavaFX как платформы для создания приложений различной тематики с насыщенным графическим интерфейсом для работы в операционных системах, браузерах, мобильных устройствах. Средства разработки, структура и особенности реализации программы.
курсовая работа, добавлен 17.02.2019Постановка и проведение имитационных экспериментов с моделями технологических процессов на базе методов компьютерной оценки вероятностно-временных характеристик. Математическое моделирование – процесс построения и изучения математических моделей.
курсовая работа, добавлен 27.04.2019Разработка мобильных приложений с помощью среды разработки Android Studio на языке Java. Создание разметки приложений и элементов интерфейса. Использование эмулятора Genymotion для тестирования приложений. Работа с акселерометром и отрисовки графики.
курсовая работа, добавлен 17.02.2019Пути разрешения проблемы синхронизации и предотвращения состояния состязания в системах. Семафоры, мьютексы и мониторы как примитив синхронизации и набор процедур, переменных и других структур данных, которые объединены в особый модуль или пакет.
статья, добавлен 05.04.2019Описание предназначения системного, прикладного и инструментального программного обеспечения. Рассмотрение видов операционных систем и средств расширения их функций – утилит и драйверов. Изучение процесса инсталляции, установки релизов и версий программ.
презентация, добавлен 28.12.2013Применение языка WS-BPEL в системах автоматизации бизнес-процессов: общая схема решения и опыт реализации. Представление нотации IDEF3 в формате XML. Метод описания интегрированной модели бизнес-процессов путем объединения IDEF3-диаграмм и языка WS-BPEL.
статья, добавлен 25.08.2020Раскрытие сущности, основных целей и задач автоматизации бизнес-процессов, их классификация в зависимости от степени сложности, предназначения и места в иерархии целей организации. Рассмотрение этапов моделирования и анализа бизнес-процессов "как есть".
контрольная работа, добавлен 11.06.2014Создание веб-сервера программным путем с помощью разнообразных фреймворков. Разработка и конфигурация для современных бизнес-приложений на Java. Разные реализации JPA. Тестирование веб-сервера. Проверка функциональности сервера с помощью JUnit тестов.
курсовая работа, добавлен 10.02.2019Анализ особенностей обоснования выбора языка программирования. Характеристика аспектов практической реализации алгоритма сортировки данных. Исследование основ метода сортировки Хоара. Рассмотрение его реализации на процедурном языке программирования.
контрольная работа, добавлен 19.05.2014Моделирование бизнес-процесса внедрения платежной системы с участием информационной системы. Анализ функций участников автоматизируемых процессов. Исследование и характеристика результатов сравнения информационных систем по сформированным критериям.
дипломная работа, добавлен 30.08.2016Обзор технологии Struts и её использование в разработке веб-приложений. Особенности технологии JSP и её возможности в аспекте развития программирования. Характеристика понятия "Веб-приложение", характеристика создания ряда веб-приложений на языке Java.
контрольная работа, добавлен 11.03.2019Цели разработки Microsoft.NET-технологии. Основные средства технологии NET для разработки бизнес-приложений. Роли, поддерживаемые Team System. Критерии применимости Workflow и ASP.NET. Разработка графического интерфейса – WPF. Специфика бизнес-процессов.
курсовая работа, добавлен 13.11.2011Анализ теории, методологии и практики мониторинга компьютерных сетей. Описание характеристик наблюдаемых процессов, обобщаемых в виде информационных моделей, исследование их априорной определенности. Пример оценивания разработанных информационных моделей.
статья, добавлен 30.10.2016Основные программные средства моделирования и визуализации результатов бизнес-процессов предприятий в системах поддержки принятия управленческих решений. Документирование, анализ и организация автоматизированной обработки и поддержки бизнес-процессов.
статья, добавлен 14.07.2018