SoftCraft
разноликое программирование

Яндекс.Метрика

Функционально-потоковое параллельное программирование


Инструментальная поддержка

Загрузка инструментальной системы, поддерживающей программирование на языке "Пифагор"

Примеры программ на языке "Пифагор"


Статьи на сайте

А. И. Легалов, Ф. А. Казаков, Д. А. Кузьмин, Д. В. Привалихин. Функциональная модель параллельных вычислений и язык программирования "Пифагор" (2003)

А. И. Легалов, Д. В. Привалихин. Эволюционное расширение программ в языке "Пифагор" (2004)

А. И. Легалов. Использование асинхронных списков в потоковой модели вычислений (2006)


Список публикаций

  1. Kuzmin D.A., Kazakov F.A., Legalov A.I. Description of parallel-functional programming language. - Advances in Modeling & Analysis, A, AMSE Press, Vol.28, N3, 1995, pp.1-17.
  2. Легалов А.И., Казаков Ф.А., Кузьмин Д.А. Потоковая модель параллельных вычислений. - Вестник Красноярского государственного технического университета. Сб. научных трудов. Вып. 6. Красноярск, 1996. с. 60-67.
  3. Легалов А.И., Казаков Ф.А., Кузьмин Д.А. Водяхо А.И. Модель параллельных вычислений функционального языка. Известия ГЭТУ, Сборник научных трудов. Выпуск 500. Структуры и математическое обеспечение специализированных средств. С.-Петербург, 1996. с. 56-63.
  4. Казаков Ф.А., Кузьмин Д.А., Легалов А.И. Параллельный язык управления потоков данных. - Математическое обеспечение и архитектура ЭВМ: Сб. научных работ. Вып. 2. КГТУ, Красноярск, 1997. с. 105-113.
  5. Легалов А.И. Стратегии управления в вычислительных системах и языках программирования. Распределенные и кластерные вычисления. Избранные материалы Школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2001, с. 94-108.
  6. Легалов А.И., Кузьмин Д.А., Казаков Ф.А., Привалихин Д.В. На пути к переносимым параллельным программам. – Открытые системы, No 5 (май), 2003, с. 36-42.
  7. Легалов А.И., Казаков Ф.А., Кузьмин Д.А., Привалихин Д.В. Модель функционально-потоковых параллельных вычислений и язык программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы второй Школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2002, с. 101-120.
  8. Казаков Ф.А., Легалов А.И. Параллельное программирование в языках Haskell и Пифагор. – Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов. Красноярск: ИПЦ КГТУ, 2002. С. 48-55.
  9. Легалов А.И., Привалихин Д.В. Использование типов в языке программирования Пифагор. –Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов. Красноярск: ИПЦ КГТУ, 2002. С. 55-61.
  10. Легалов А.И. Методы сортировки, полученные из анализа максимально параллельной программы. – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 119-134.
  11. Легалов А.И., Казаков Ф.А. Эквивалентные преобразования функционально-параллельных программ. – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 134-141.
  12. Легалов А.И., Привалихин Д.В. Эволюционное расширение пользовательских типов в языке программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 141-153.
  13. Кузьмин Д.А., Рыженко И.Н., Легалов А.И. Интерпретация функциональных программ под управлением Mosix. – Вестник Красноярского государственного технического университета. Вып. 33. Математические методы и моделирование. Красноярск: ИПЦ КГТУ, 2004. С. 218-227.
  14. Легалов А.И., Привалихин Д.В. Перегрузка функций и пользовательские типы в языке программирования «Пифагор». – Вестник Красноярского государственного технического университета. Вып. 33. Математические методы и моделирование. Красноярск: ИПЦ КГТУ, 2004. С. 228-234.
  15. Кузьмин Д.А., Легалов А.И. Интерпретация функционально-параллельных программ с использованием кластерных систем. – Высокопроизводительные вычисления на кластерных системах. Материалы четвертого Международного научно-практического семинара и Всероссийской молодежной школы. / Под ред. В.А. Сойфера. Самара, 2004. С. 136-144.
  16. Кузьмин Д.А., Легалов А.И. Использование кластера для интерпретации функционально параллельных программ. – Актуальные проблемы электронного машиностроения. Материалы VII международной конференции. Том 6. Новосибирск, 2004. С. 257-260.
  17. Легалов А.И. Построение параллельных алгоритмов. – Открытые системы, No 9 (101), 2004. С. 64-68.
  18. Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования – Научный вестник НГТУ, No 3 (18), 2004. С. 63-72.
  19. Легалов А.И., Привалихин Д.В. Эволюционное расширение программ в функциональном языке параллельного программирования. – Вестник Красноярского государственного университета, 2004, No 5/2, 2004. С. 40-48.
  20. Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ. – Вычислительные технологии, No 1 (10), 2005. С. 71-89.
  21. Кузьмин Д.А., Легалов А.И. Трехуровневая эмуляция функционально-параллельных программ. – Распределенные и кластерные вычисления. Избранные материалы четвертой школы семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 140-147.
  22. Легалов А.И. Использование асинхронных вычислений в функциональных языках параллельного программирования. – Распределенные и кластерные вычисления. Избранные материалы четвертой школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 172-183.
  23. Легалов А.И., Привалихин Д.В. Разработка эволюционно расширяемых программных объектов в языке программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы четвертой школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 183-198.
  24. Легалов А.И. Использование асинхронно поступающих данных в потоковой модели вычислений. / Третья сибирская школа-семинар по параллельным вычислениям. / Томск. Изд во Томского ун-та, 2006. С 113-120.
  25. Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных. / Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. – ISBN 5-201-14990-1. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С 1272-1281. (Электронное издание)
  26. Удалов а Ю.В., Легалов А.И., Сиротинина Н.Ю. Средства отладки функционально-потоковых параллельных программ. / Доклады АН ВШ РФ, No 1 (10). – 2008. – С. 96-105.
  27. Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ. / Научный вестник НГТУ, No 3 (32). – 2008. – С. 111-120.
  28. Легалов А.И., Редькин А.В., Матковский И.В. Функционально-потоковое параллельное программирование при асинхронно поступающих данных. / Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта – 3 апреля 2009 г.). – ISBN 978-5-696-03854-4 – Челябинск: Изд. ЮУрГУ, 2009. С. 573-578. (Электронное издание)
  29. Удалов а Ю.В., Легалов А.И., Сиротинина Н.Ю., Кропачева М.С. Об отладке и верификации функционально-потоковых параллельных программ. / Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта – 3 апреля 2009 г.). – ISBN 978-5-696-03854-4 – Челябинск: Изд. ЮУрГУ, 2009. С. 757-764. (Электронное издание)
  30. Удалова Ю.В. Методы отладки и верификации функционально-потоковых параллельных программ / Ю.В. Удалова, А.И. Легалов, Н.Ю. Сиротинина // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2) – С. 213-224.
  31. Легалов А.И., Савченко Г.В., Васильев В.С. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ. / Системы. Методы. Технологии. No 1 (13). - 2012. - С. 113-119.
  32. Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах. / Моделирование и анализ информационных систем. Том 19, No 4. - 2012. С. 48-58.
  33. 


Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. / Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. – St. Petersburg, Russia. // Lecture Notes in Computer Science 7979, Springer, 2013. – Pp. 80-89. Васильев В.С., Легалов А.И., Постников А.И. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования // Системы. Методы. Технологии. 2013. No3(17). С. 106-111.
  34. Легалов А.И., Матковский И.В., Кропачева М.С., Удалова Ю.В., Васильев В.М. Технологические аспекты создания, преобразования и выполнения функционально-потоковых параллельных программ. / Научный сервис в сети Интернет: все грани параллелизма: Труды Международной суперкомпьютерной конференции (23-28 сентября 2013 г., Новороссийск). - М.: Изд-во МГУ, 2013. С. 443-447.
  35. Legalov A. I., Nepomnyaschy O. V., Matkovsky I. V., Kropacheva M. S. Tail Recursion Transformation in Functional Dataflow Parallel Programs. / Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 366–372. ISSN 0146-4116. © Allerton Press, Inc., 2013.
  36. Kropacheva M. S., Legalov A. I. Formal Verification of Programs in the Functional Data-flow Parallel Language. / Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 373–384. ISSN 0146-4116. © Allerton Press, Inc., 2013.
  37. Легалов А.И., Непомнящий О.В., Рыженко И.Н. Технология архитектурно-независимого синтеза сверхбольших интегральных схем. / Доклады АН ВШ РФ, No1 (22), 2014. С. 93-103.
  38. Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Отладка программ на функционально-потоковом параллельном языке Пифагор с подстановкой интервальных значений. / Ползуновский вестник, № 2. - 2013. С. 46-48.
  39. Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. / Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. – St. Petersburg, Russia. // Lecture Notes in Computer Science 7979, Springer, 2013. – Pp. 80-89.
  40. Васильев В.С., Легалов А.И., Постников А.И. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования // Системы. Методы. Технологии. 2013. №3(17). С. 106-111.
  41. Удалова Ю.В., Легалов А.И. Верификация функционально-потоковых параллельных программ методом индуктивных утверждений. / Доклады АН ВШ РФ, №2-3(23-24), 2014. С. 125-132.
  42. Ушакова М.С., Легалов А.И. Автоматизация формальной верификации программ на языке Пифагор. Моделирование и анализ информационных систем. 2015.;22(4):578-589. DOI:10.18255/1818-1015-2015-4-578-589.
  43. Легалов А.И. Языковая поддержка архитектурно-независимого параллельного программирования. // Языки программирования и компиляторы — 2017: труды конференции / Южный федеральный университет; под ред. Д.В. Дуброва. - Ростов-на-Дону: Изд-во ЮФУ, 2017. - С. 169-172.
  44. Легалов А.И., Васильев В.С., Матковский И.В. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании. / Труды XIX Всероссийской научной конференции «Научный сервис в сети Интернет» (18-23 сентября 2017 г., Новороссийск). - М.: ИПМ им. М.В. Келдыша, 2017. -- С. 341-350. ISBN 978-5-98354-037-8 doi:10.20948/abrau-2017. URL: http://keldysh.ru/abrau/2017/proc.pdf.
  45. Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ. / Труды ИСП РАН, том 29, вып. 5, 2017 г. С. 165-184.
  46. Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. (2018) A Toolkit for the Development of Data-Driven Functional Parallel Programmes. In: Sokolinsky L., Zymbler M. (eds) Parallel Computational Technologies. PCT 2018. Communications in Computer and Information Science, vol 910. Springer, Cham, pp 16-30. DOI https://doi.org/10.1007/978-3-319-99673-8_2.
  47. Васильев В.С., Легалов А.И. Оптимизация инварианта цикла в языке Пифагор. Моделирование и анализ информационных систем. 2018;25(4):347-357. https://doi.org/10.18255/1818-1015-2018-4-347-357
  48. Ушакова М.С., Легалов А.И. Верификация программ со взаимной рекурсией на языке Пифагор. Моделирование и анализ информационных систем. 2018;25(4):358-381. https://doi.org/10.18255/1818-1015-2018-4-358-381
  49. Непомнящий О.В., Рыженко И.Н., Легалов А.И. Методы, алгоритмы и программные инструменты архитектурно независимого высокоуровневого синтеза однокристальных цифровых систем. // «Суперкомпьютерные технологии (СКТ-2018)» Материалы 5-й Всероссийской научно-технической конференции. 17-22 сентября 2018 г. Дивноморское, Геленджик. - Изд-во Южного федерального университета. С. 104-109.