Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-84226 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-842262015-07-04T03:02:19Z Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. Программно-технические комплексы Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють ви соку ефективність перетворень. 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. 2011 Article Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84226 681.3 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Программно-технические комплексы Программно-технические комплексы |
| spellingShingle |
Программно-технические комплексы Программно-технические комплексы Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители Кибернетика и системный анализ |
| description |
Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють ви соку ефективність перетворень. |
| format |
Article |
| author |
Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. |
| author_facet |
Андон, Ф.И. Дорошенко, А.Е. Жереб, К.А. |
| author_sort |
Андон, Ф.И. |
| title |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_short |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_full |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_fullStr |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_full_unstemmed |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| title_sort |
программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2011 |
| topic_facet |
Программно-технические комплексы |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84226 |
| citation_txt |
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT andonfi programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčislenijformalʹnyemodeliigrafičeskieuskoriteli AT dorošenkoae programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčislenijformalʹnyemodeliigrafičeskieuskoriteli AT žerebka programmirovanievysokoproizvoditelʹnyhparallelʹnyhvyčislenijformalʹnyemodeliigrafičeskieuskoriteli |
| first_indexed |
2023-10-18T19:28:29Z |
| last_indexed |
2023-10-18T19:28:29Z |
| _version_ |
1796147056765566976 |