Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2011 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84226 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862562381665665024 |
|---|---|
| author | Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. |
| author_facet | Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. |
| citation_txt | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють ви соку ефективність перетворень.
We present the development of formal design methods based on the concepts of algebraic programming and algebraic dynamic models of programs using rewriting rules technique for the automated development of efficient programs for graphical processing units. The developed formal methods are illustrated by specific problems that demonstrate high performance of transformations.
|
| first_indexed | 2025-11-25T23:32:44Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84226 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-25T23:32:44Z |
| publishDate | 2011 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. 2015-07-03T18:41:42Z 2015-07-03T18:41:42Z 2011 Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84226 681.3 Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють ви соку ефективність перетворень. We present the development of formal design methods based on the concepts of algebraic programming and algebraic dynamic models of programs using rewriting rules technique for the automated development of efficient programs for graphical processing units. The developed formal methods are illustrated by specific problems that demonstrate high performance of transformations. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители Програмування високопродуктивних паралельних обчислень: формальні моделі та графічні прискорювачі Programming high-performance parallel computations: formal models and graphical processing units Article published earlier |
| spellingShingle | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. Программно-технические комплексы |
| title | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_alt | Програмування високопродуктивних паралельних обчислень: формальні моделі та графічні прискорювачі Programming high-performance parallel computations: formal models and graphical processing units |
| title_full | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_fullStr | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_full_unstemmed | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_short | Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_sort | программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| topic | Программно-технические комплексы |
| topic_facet | Программно-технические комплексы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84226 |
| work_keys_str_mv | AT andonfi programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčisleniiformalʹnyemodeliigrafičeskieuskoriteli AT dorošenkoae programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčisleniiformalʹnyemodeliigrafičeskieuskoriteli AT žerebka programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčisleniiformalʹnyemodeliigrafičeskieuskoriteli AT andonfi programuvannâvisokoproduktivnihparalelʹnihobčislenʹformalʹnímodelítagrafíčnípriskorûvačí AT dorošenkoae programuvannâvisokoproduktivnihparalelʹnihobčislenʹformalʹnímodelítagrafíčnípriskorûvačí AT žerebka programuvannâvisokoproduktivnihparalelʹnihobčislenʹformalʹnímodelítagrafíčnípriskorûvačí AT andonfi programminghighperformanceparallelcomputationsformalmodelsandgraphicalprocessingunits AT dorošenkoae programminghighperformanceparallelcomputationsformalmodelsandgraphicalprocessingunits AT žerebka programminghighperformanceparallelcomputationsformalmodelsandgraphicalprocessingunits |