Системи алгоритмічних алгебр. Прикладний аспект
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Системи алгоритмічних алгебр. Прикладний аспект
|
|
| Creator |
Погорілий, С.Д.
Камардіна, О.О. |
|
| Subject |
Формальні методи програмування
|
|
| Description |
Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу OSPF та схеми паралельних алгоритмів Флойда - Уоршала і Джонсона. Описано інструментальні засоби підтримки комп’ютерної технології алгоритмічного проектування МПС. An approach for algorithmic design stage formalization of microprocessor’s system (MPS) which is based on use the V.M. Glushkov mathematical apparatus of algorithmic algebras modified systems is proposed. The formalized specifications of the OSPF protocol and Floyd-Warshall’s and Jonson’s algorithms scheme are created. The support instrumental means of Computer technology algorithmic design of MPS are described. |
|
| Date |
2008-08-21T17:28:52Z
2008-08-21T17:28:52Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Системи алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1538 681.3 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|