DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://biblio.umsf.dp.ua/jspui/handle/123456789/2010Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Акуловский, В.Г. | - |
| dc.contributor.author | Дорошенко, А.Е. | - |
| dc.contributor.author | Яценко, Е.А. | - |
| dc.date.accessioned | 2017-03-23T14:21:57Z | - |
| dc.date.available | 2017-03-23T14:21:57Z | - |
| dc.date.issued | 2017-03-23 | - |
| dc.identifier.citation | 1. Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – Киев: Академпериодика, 2007. – 631 с. 2. Дорошенко А.Е., Жереб К.А., Яценко Е.А. Формализованное проектирование эффективных многопоточных программ // Проблеми програмування. – 2007. – № 1. – С. 17–30. 3. Дорошенко А.Е., Яценко Е.А., Жереб К.А. Средства синтеза параллельных MPIпрограмм // Проблеми програмування. – 2008. – № 2–3. – С. 595–604. 4. Дорошенко А.Ю., Бекетов О.Г., Жереб К.А., Яценко О.А. Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів // Проблеми програмування. – 2013. – № 3. – С. 38–46. 5. Акуловский В.Г. Алгебра алгоритмов, базирующаяся на данных // Кибернетика и системный анализ. – 2012. – № 2. – С. 151–166. 6. Акуловский В.Г., Дорошенко А.Е. Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата // Проблеми програмування. – 2013. – № 3. – С. 13–21. 7. Sannella D., Tarlecki A. Foundations of algebraic specification and formal software development. – Berlin: Springer-Verlag, 2012. – 594 p. 8. Flener P. Achievements and prospects of program synthesis // Lecture Notes in Artificial Intelligence. – 2002. – Vol. 2407. – P. 310–346. 9. Gulwani S. Dimensions in program synthesis // Proc. 12th Int. ACM SIGPLAN symposium on Principles and Practice of Declarative Programming, Hagenberg, Austria (26–28 July, 2010). – New York: ACM, 2010. – P. 13–24. 10. OpenMP Application Program Interface. – http://www.openmp.org/mp-documents/ OpenMP4.0.0.pdf. 11. Doroshenko A., Shevchenko R. A rewriting framework for rule-based programming dynamic applications // Fundamenta Informaticae. – 2006. – 72, N 1–3. – P. 95–108. 12. Odd–even sort. – http://en.wikipedia.org/wiki/ Odd–even_sort 13. Pacheco P. More about loops in OpenMP: sorting // An introduction to parallel programming. – Burlington: Morgan Kaufmann, 2011. – P. 232–236. 14. Parallel Computing Lecture 15: OpenMP III. – http://cs.nyu.edu/courses/spring14/ CSCI-UA.0480-003/lecture15.pdf 15. Суперкомп'ютер ІК НАН України. – http://icybcluster.org.ua. | uk_UA |
| dc.identifier.issn | 1727-4907 | - |
| dc.identifier.uri | http://hdl.handle.net/123456789/2010 | - |
| dc.description.abstract | Предложено развитие алгеброалгоритмического инструментария проектирования и синтеза программ для конструирования спецификаций алгоритмов, сочетающих совместное описание данных и потоков управления в алгебре алгоритмов с данными. Применение предложенных алгебраического подхода и инструментария проиллюстрировано на примере разработки программ сортировки. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Національна академія наук України; Інститут програмних систем | uk_UA |
| dc.relation.ispartofseries | Проблеми програмування;2015. № 2 | - |
| dc.title | Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными | uk_UA |
| dc.type | Article | uk_UA |
| Розташовується у зібраннях: | Кафедра комп`ютерних наук та інженерії програмного забезпечення | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 6.pdf | Електронне видання | 806,66 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.