Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань
 мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих
 програм. Інструментальні засоби грунтуютьс...
Gespeichert in:
| Datum: | 2006 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1522 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862626737492328448 |
|---|---|
| author | Яценко, О.А. |
| author_facet | Яценко, О.А. |
| citation_txt | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T13:37:52Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1522 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T13:37:52Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Яценко, О.А. 2008-08-21T16:34:05Z 2008-08-21T16:34:05Z 2006 Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1522 681.3 Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань
 мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих
 програм. Інструментальні засоби грунтуються на апараті алгебри алгоритміки (стратегіях обробки, метаправилах конструювання
 схем). Розроблено низку паралельних алгоритмів сортування та пошуку, що входять до запропонованого середовища
 інструментарію для проектування та генерації програм символьної мультиобробки. Розглянуто перспективи застосування засобів
 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. uk Інститут програмних систем НАН України Формальні методи програмування Середовище конструювання алгоритмічних знань та інструментарій синтезу програм The environment of constructing of algorithmic knowledge and tools of program synthesis Article published earlier |
| spellingShingle | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм Яценко, О.А. Формальні методи програмування |
| title | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_alt | The environment of constructing of algorithmic knowledge and tools of program synthesis |
| title_full | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_fullStr | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_full_unstemmed | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_short | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_sort | середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1522 |
| work_keys_str_mv | AT âcenkooa seredoviŝekonstruûvannâalgoritmíčnihznanʹtaínstrumentaríisintezuprogram AT âcenkooa theenvironmentofconstructingofalgorithmicknowledgeandtoolsofprogramsynthesis |