Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными

Акуловский, В.Г.; Дорошенко, А.Е.; Яценко, Е.А.

Главная
→
Роботи вчених Університету
→
Факультет інноваційних технологій
→
Кафедра комп`ютерних наук та інженерії програмного забезпечення
→
Просмотр элемента

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