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