БУМАГА

От / / Оставьте комментарий

Оглавление1 ПЕПА1.1 Основы PEPA1.2 Математические основы1.3 Применение и инструменты1.4 Синтаксис и инструменты1.5 Рекомендации и внешние ссылки1.6 Полный текст статьи:2 БУМАГА […]

Process calculi, Theoretical computer science, Процесс исчисления, Теоретическая информатика

ПЕПА

  • Основы PEPA

    • PEPA – стохастическая алгебра процессов для моделирования компьютерных и коммуникационных систем. 
    • Язык расширяет классические алгебры, добавляя вероятностное ветвление и синхронизацию. 

  • Математические основы

    • Показатели рассчитываются на основе экспоненциального распределения. 
    • Модели PEPA являются конечными, что приводит к марковским процессам с непрерывным временем. 

  • Применение и инструменты

    • PEPA используется для изучения количественных и качественных свойств систем. 
    • Язык имеет формальное определение с использованием структурированной операционной семантики. 
    • В языке всего четыре комбинатора, что делает его экономным. 

  • Синтаксис и инструменты

    • Синтаксис PEPA описан в грамматике BNF. 
    • Существуют инструменты для работы с PEPA, включая подключаемый модуль для Eclipse и компилятор для анализа массивно-параллельных систем. 

  • Рекомендации и внешние ссылки

    • Статья содержит ссылки на внешние ресурсы, связанные с PEPA. 

Полный текст статьи:

БУМАГА — Википедия, бесплатная энциклопедия

Похожие статьи:

  1. Форма Бэкуса–Наура Оглавление1 Форма Бэкуса–Наура1.1 История и развитие BNF1.2 Описание и применение BNF1.3 Влияние и использование BNF1.4 Варианты...
  2. Форма Бэкуса–Наура Оглавление1 Форма Бэкуса–Наура1.1 История и развитие BNF1.2 Описание и применение BNF1.3 Влияние и использование BNF1.4 Современное...
  3. Арамейский – Arc.Ask3.Ru Оглавление1 Арамейский1.1 Происхождение и распространение арамейского языка1.2 Современные разновидности и использование1.3 Лингвистическая классификация и алфавит1.4 Историческое...
  4. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  5. Adobe Photoshop Оглавление1 Программа Adobe Photoshop1.1 История и развитие Photoshop1.2 Версии Photoshop1.3 Версии Photoshop для Macintosh1.4 Версии Photoshop...
  6. Плагин (компьютерный) Оглавление1 Подключаемый модуль (вычислительный)1.1 Определение подключаемого модуля1.2 Тема и обложка1.3 Цели и примеры использования1.4 Механизм работы1.5...
  7. Исчисление взаимодействующих систем Оглавление1 Математический анализ взаимодействующих систем1.1 Основы CCS1.2 Формальный язык1.3 Интерпретация и семантическая эквивалентность1.4 Синтаксис и связанные...
  8. Использование инструментов нелюдьми – Arc.Ask3.Ru Оглавление1 Использование инструментов нелюдями1.1 Использование орудий труда нечеловеческими существами1.2 Определение и терминология1.3 Примеры использования орудий труда1.4...
  9. IMP (язык программирования) – Arc.Ask3.Ru Оглавление1 IMP (язык программирования)1.1 История и разработка IMP1.2 Компиляторы и версии IMP1.3 Расширяемый синтаксис в IMP721.4...
  10. Маньчжурский язык – Arc.Ask3.Ru Оглавление1 Маньчжурский язык1.1 История и значение маньчжурского языка1.2 Историческая лингвистика1.3 Отказ от использования1.4 Использование маньчжурского языка1.5...
  11. Языки Алжира – Википедия Оглавление1 Языки Алжира1.1 Языковая ситуация в Алжире1.2 Арабский язык1.3 Берберский язык1.4 Французский язык1.5 Политические дебаты и...
  12. Список китайских музыкальных инструментов Оглавление1 Список китайских музыкальных инструментов1.1 Классификация китайских музыкальных инструментов1.2 Инструменты из шелка1.3 Инструменты из бамбука1.4 Инструменты...
  13. Испанские обычаи именования Оглавление1 Испанские обычаи присвоения имен1.1 Структура испанских имен1.2 Использование имен и фамилий1.3 Формы обращения1.4 Имена и...
  14. Массачусетский язык Оглавление1 Массачусетский язык1.1 История и возрождение языка1.2 Классификация и взаимоотношения1.3 Особенности и диалекты1.4 Происхождение и названия1.5...
  15. Список типов теории систем Оглавление1 Список типов теории систем1.1 Обзор типов теории систем1.2 Типы теории систем1.3 Связанные темы и рекомендации2...
  16. Ньиакенг Пуачуэ Хмонг Оглавление1 Ньякенг Пуачуэ Хмонг1.1 Мероитский период1.2 Угаритский язык1.3 Божественный язык1.4 Хангыль1.5 Таана1.6 Адлам1.7 Самаритянский язык1.8 Харошти1.9...
  17. Развитие ребенка Оглавление1 Развитие ребенка1.1 Развитие ребенка1.2 Этапы детства1.3 Факторы развития1.4 Теории развития1.5 Этапы когнитивного развития по Пиаже1.6...
  18. Левантийский арабский Оглавление1 Левантийский арабский1.1 Левантийский арабский язык1.2 Использование и признание1.3 Классификация и наименования1.4 Генеалогия и классификация1.5 Географическое...
  19. Науатль Оглавление1 Науатль1.1 Происхождение и распространение1.2 История и влияние1.3 Классификация и терминология1.4 Доколумбовый период1.5 Происхождение языка науатль1.6...
  20. Язык описания страниц Оглавление1 Язык описания страницы1.1 Основы языка описания страницы (PDL)1.2 Адаптация и смешение с другими технологиями1.3 Примеры...
  21. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  22. Мандаринский китайский Оглавление1 Мандаринский китайский1.1 Происхождение и распространение мандаринского языка1.2 Особенности мандаринского языка1.3 История и развитие1.4 Литературная традиция1.5...

Оставьте комментарий