Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
|
|
| Creator |
Яценко, О.А.
|
|
| Subject |
Формальні методи програмування
|
|
| Description |
Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих програм. Інструментальні засоби грунтуються на апараті алгебри алгоритміки (стратегіях обробки, метаправилах конструювання схем). Розроблено низку паралельних алгоритмів сортування та пошуку, що входять до запропонованого середовища інструментарію для проектування та генерації програм символьної мультиобробки. Розглянуто перспективи застосування засобів Grid-обчислень для реалізації паралельних алгоритмів та програм. The article is devoted to consideration of the results got within farther development of the environment of constructing of algorithmic knowledge of multiprocessing and integrated tool of designing and synthesis of consecutive and parallel object-oriented programs. The tools are based on algorithmics algebra apparatus (strategies of processing, metarules of schemes constructing). Several concurrent sort and search algorithms, which belong to the environment proposed, were developed. The tools are applied for designing and generation of programs of symbol multiprocessing. The prospects of applying of Grid-computation means for realization of parallel algorithms and programs are considered. |
|
| Date |
2008-08-21T16:34:05Z
2008-08-21T16:34:05Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1522 681.3 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|