Системи алгоритмічних алгебр. Прикладний аспект
Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу OSPF та схеми паралельних алгоритмів Флойда - Уоршала і Джонсо...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| id |
nasplib_isofts_kiev_ua-123456789-1538 |
|---|---|
| record_format |
dspace |
| spelling |
Погорілий, С.Д. Камардіна, О.О. 2008-08-21T17:28:52Z 2008-08-21T17:28:52Z 2006 Системи алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1538 681.3 Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу 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. uk Інститут програмних систем НАН України Формальні методи програмування Системи алгоритмічних алгебр. Прикладний аспект Algorithmic algebras systems. Applied aspect Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Системи алгоритмічних алгебр. Прикладний аспект |
| spellingShingle |
Системи алгоритмічних алгебр. Прикладний аспект Погорілий, С.Д. Камардіна, О.О. Формальні методи програмування |
| title_short |
Системи алгоритмічних алгебр. Прикладний аспект |
| title_full |
Системи алгоритмічних алгебр. Прикладний аспект |
| title_fullStr |
Системи алгоритмічних алгебр. Прикладний аспект |
| title_full_unstemmed |
Системи алгоритмічних алгебр. Прикладний аспект |
| title_sort |
системи алгоритмічних алгебр. прикладний аспект |
| author |
Погорілий, С.Д. Камардіна, О.О. |
| author_facet |
Погорілий, С.Д. Камардіна, О.О. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2006 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Algorithmic algebras systems. Applied aspect |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1538 |
| citation_txt |
Системи алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр. |
| work_keys_str_mv |
AT pogoríliisd sistemialgoritmíčnihalgebrprikladniiaspekt AT kamardínaoo sistemialgoritmíčnihalgebrprikladniiaspekt AT pogoríliisd algorithmicalgebrassystemsappliedaspect AT kamardínaoo algorithmicalgebrassystemsappliedaspect |
| first_indexed |
2025-12-07T21:11:23Z |
| last_indexed |
2025-12-07T21:11:23Z |
| _version_ |
1850885415445200896 |