Системи алгоритмічних алгебр. Прикладний аспект
Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу OSPF та схеми паралельних алгоритмів Флойда - Уоршала і Джонсо...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1538 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Системи алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі
математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації
протоколу OSPF та схеми паралельних алгоритмів Флойда - Уоршала і Джонсона. Описано інструментальні засоби підтримки
комп’ютерної технології алгоритмічного проектування МПС. |
|---|