Системи алгоритмічних алгебр. Прикладний аспект

Скорочена інформація про документ
dc.contributor.authorПогорілий, С.Д.
dc.contributor.authorКамардіна, О.О.
dc.date.accessioned2008-08-21T17:28:52Z
dc.date.available2008-08-21T17:28:52Z
dc.date.issued2006
dc.description.abstractЗапропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу OSPF та схеми паралельних алгоритмів Флойда - Уоршала і Джонсона. Описано інструментальні засоби підтримки комп’ютерної технології алгоритмічного проектування МПС.en_US
dc.description.abstractAn 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.en_US
dc.identifier.citationСистеми алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр.en_US
dc.identifier.issn1727-4907
dc.identifier.udc681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/1538
dc.language.isouken_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectФормальні методи програмуванняen_US
dc.titleСистеми алгоритмічних алгебр. Прикладний аспектen_US
dc.title.alternativeAlgorithmic algebras systems. Applied aspecten_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
48-Pogoriliy.pdf
Розмір:
234.31 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.81 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2006, № 2-3