Yuri A. Klimov's Publications

2011

• Климов Ю.А. Сетевое программное обеспечение суперкомпьютеров // Международная конференция «Суперкомпьютерные технологии математического моделирования» (СKТЕММ'11) (28-30 ноября 2011, г.Якутск) (приглашенный доклад).  (conference)

• Климов Ю.А., Орлов А.Ю., Шворин А.Б. Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры // Программные системы: теория и приложения: электронный научный журнал. — 2011. — № 4 (8). — С. 45-59. — URL: http://psta.psiras.ru/read/psta2011_4_45-59.pdf.  (ISSN 2079-3316, link)

• Климов Ю.А., Орлов А.Ю., Шворин А.Б. Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры // Второй Московский Суперкомпьютерный Форум (МСКФ-2011) (26-27 октября 2011, г.Москва).  (conference, link)

• Климов Ю.А., Орлов А.Ю., Шворин А.Б. SkifCh: эффективный коммуникационный интерфейс // Вестник Южно-Уральского государственного университета. — 2011. — № 25 (242). — Серия «Математическое моделирование и программирование». — Выпуск 9. — Челябинск: Издательский центр ЮУрГУ, 2011. — С.98-106.  (ISSN 2071-0216)

• Климов Ю.А., Орлов А.Ю., Шворин А.Б. Высокоэффективный низкоуровневый интерфейс передачи сообщений SkifCh // Параллельные вычислительные технологии (ПаВТ'2011): труды международной научной конференции (Москва, 28 марта - 1 апреля 2011 г.) [Электронный ресурс]. — Челябинск: Издательский центр ЮУрГУ, 2011. — С. 219-226. — URL: http://omega.sp.susu.ac.ru/books/conference/PaVT2011.  (ISBN 978-5-696-04090-5, conference, pdf)

2010

• Адамович И.А., Климов А.В., Климов Ю.А., Орлов А.Ю., Шворин А.Б. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Программные системы: теория и приложения: электронный научный журнал. — 2010. — № 3 (3). — С. 107-123. — URL: http://psta.psiras.ru/read/psta2010_3_107-123.pdf.  (ISSN 2079-3316, link, pdf)

• Климов Ю.А. Специализатор CILPE: частичные вычисления для объектно-ориентированных языков // Программные системы: теория и приложения: электронный научный журнал. — 2010. — № 3 (3). — С. 13-36. — URL: http://psta.psiras.ru/read/psta2010_3_13-36.pdf.  (ISSN 2079-3316, link, pdf)

• Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Возможности суперкомпьютеров «СКИФ» ряда 4 по аппаратной поддержке в ПЛИС различных моделей параллельных вычислений // Материалы международной научно-технической конференции «Суперкомпьютерные технологии: разработка, программирование, применение» (СКТ-2010), 27 сентября - 2 октября 2010, Дивноморское, Россия. — Таганрог: Изд-во ТТИ ЮФУ, 2010. — Том 1. — С. 11-21.  (ISBN 978-5-8327-0383-1)

• Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Возможности суперкомпьютеров «СКИФ» ряда 4 по аппаратной поддержке в ПЛИС различных моделей параллельных вычислений // Материалы Седьмой Международной научной молодежной школы «Высокопроизводительные вычислительные системы» ВПВС-2010, 27 сентября - 2 октября 2010, Дивноморское, Геленджик, Россия. Под редакцией чл.-корр. РАН И.А. Каляева. — Ростов-на-Дону - Таганрог: Изд-во ТТИ ЮФУ, 2010. — С. 13-23.  (ISBN 978-5-8327-0382-4)

• Климов Ю.А., Орлов А.Ю., Шворин А.Б. Темп выдачи сообщений как мера качества коммуникационной сети // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Международной суперкомпьютерной конференции (20-25 сентября 2010 г., г. Новороссийск). — М.: Изд-во МГУ, 2010. — С. 414-417.  (ISBN 978-5-211-05916-0, conference, pdf)

• Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Разработка методов поддержки различных моделей параллельных вычислений и систем гибридного программирования на суперкомпьютерах с ПЛИС // Результаты целевых ориентированных фундаментальных исследований и их использование в российской промышленности // Материалы ежегодной научной конференции. — Таганрог: Изд-во ТТИ ЮФУ, 2010. — С. 49-59.  (19-22 апреля 2010 г., г. Таганрог, ISBN 978-5-8327-0375-6, conference)

2009

• Климов Ю.А. Специализация программ на объектно-ориентированных языках методом частичных вычислений // Автореферат (pdf), диссертация (pdf)

• Климов Ю.А. Метод частичных вычислений, позволяющий преобразовывать объектно-ориентированные программы в императивные // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). — М.: Изд-во МГУ, 2009. — С. 241-246.  (ISBN 978-5-211-05697-8, conference, pdf)

• Климов Ю.А. Специализатор CILPE: доказательство корректности // Препринты ИПМ им.М.В.Келдыша. — 2009. — № 33. — 32 с.  (ISSN 2071-2898, link, pdf)

• Климов Ю.А. Преобразование объектно-ориентированных программ в императивные методом частичных вычислений // Программные продукты и системы. — 2009. — № 2 (86). — С. 71-74.  (ISSN 0236-235X, link, pdf)

• Климов Ю.А. Специализатор CILPE: генерация остаточной программы // Препринты ИПМ им.М.В.Келдыша. — 2009. — № 8. — 26 с.  (ISSN 2071-2898, link, pdf)

• Климов Ю.А. Специализатор CILPE: анализ времен связывания // Препринты ИПМ им.М.В.Келдыша. — 2009. — № 7. — 28 с.  (ISSN 2071-2898, link, pdf)

2008

• Климов Ю.А., Орлов А.Ю. Параллельное программирование на языке Рефал // Научный сервис в сети Интернет: решение больших задач: Труды Всероссийской научной конференции (22-27 сентября 2008 г., г. Новороссийск). — М.: Изд-во МГУ, 2008. — C. 241-243.  (ISBN 978-5-211-05616-9, conference, pdf)

• Klimov Yu.A., Orlov A.Yu. XSG: Fair Language with Built-in Equality // First International Workshop on Metacomputation in Russia // Proceedings of the first International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A. P. Nemytykh. — Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008. — P. 85-93.  (ISBN 978-5-901795-12-5, conference, link, pdf)

• Klimov Yu.A. An Approach to Polyvariant Binding Time Analysis for a Stack-Based Language // First International Workshop on Metacomputation in Russia // Proceedings of the first International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A. P. Nemytykh. — Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008. — P. 78-84.  (ISBN 978-5-901795-12-5, conference, link, pdf)

• Климов Ю.А. SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ // Препринты ИПМ им.М.В.Келдыша. — 2008. — № 44. — 32 с.  (link, pdf)

• Климов Ю.А. Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках // Препринты ИПМ им.М.В.Келдыша. — 2008. — № 30. — 28 с.  (link, pdf)

• Климов Ю.А., Орлов А.Ю., Романенко С.А. Рефал Плюс в среде Eclipse // Программные системы: теория и приложения (к пятнадцатилетию УГП им. А. К. Айламазяна) // Сборник трудов научно-практической совместной конференции студентов, аспирантов, преподавателей и научных сотрудников Института программных систем Российской академии наук и «Университета города Переславля» им. А. К. Айламазяна, г. Переславль-Залесский, апрель 2008 / Под редакцией С. М. Абрамова и С. В. Знаменского. В двух томах. — Переславль-Залесский: Изд-во "Университет города Переславля", 2008. — Т. 1. — С. 123-132.  (ISBN 978-5-901795-11-8, pdf)

• Климов Ю.А. Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках // Препринты ИПМ им.М.В.Келдыша. — 2008. — № 12. — 27 с.  (link, pdf)

2007

• Климов Ю.А., Орлов А.Ю., Романенко С.А. Язык Рефал Плюс на платформе Java // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ: Труды Всероссийской научной конференции (24-29 сентября 2007 г., г. Новороссийск). — М.: Изд-во МГУ, 2007. — С. 207-209.  (ISBN 978-5-211-05419-6, conference, pdf)

• Sergei Abramov, Robert Gluck, and Yuri Klimov. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages // I. Virbitskaite and A. Voronkov (Eds.): Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Lecture Notes in Computer Science, volume 4378/2007, pages 27-40. Springer-Verlag Berlin Heidelberg, 2007.  (ISBN 978-3-540-70880-3, link, bibtex)

2006

• Климов Ю.А. Генератор остаточной программы и корректность специализатора объектно-ориентированного языка // Научный сервис в сети Интернет: технологии параллельного программирования: Труды Всероссийской научной конференции (18-23 сентября 2006 г., г. Новороссийск). — М.: Изд-во МГУ, 2006. — С. 137-140.  (ISBN 5-211-05296-X, conference, pdf)

• Sergei Abramov, Robert Gluck, and Yuri Klimov. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages // Perspectives of Systems Informatics (Proceedings of Sixth International Andrei Ershov Memorial Conference). Novosibirsk: A.P.Erchov Institute of Informatics Systems, 2006. 316 p. (pp.9-16)

2005

• Климов Ю.А. О поливариантном анализе времен связывания в специализаторе объектно-ориентированного языка // Научный сервис в сети Интернет: технологии распределенных вычислений: Труды Всероссийской научной конференции (19-24 сентября 2005 г., г. Новороссийск). — М.: Изд-во МГУ, 2005. — С. 89-91.  (ISBN 5-211-05141-6, conference, pdf)

• Климов Ю.А. Поливариантный анализ времен связывания в специализаторе CILPE для Common Intermediate Language платформы Microsoft.NET // Технологии Microsoft в теории и практике программирования: Труды Всероссийской конференции студентов, аспирантов и молодых ученых. Центральный регион. Москва, 17-18 февраля 2005 г. — М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. — С. 128.  (ISBN 5-7038-2668-3, conference, pdf)

2004

• Yu.Klimov, A.Korzh, S.Natanzon From 2D Toda Hierarchy to Conformal Maps for Domains of the Riemann Sphere // Geometry, Topology, and Mathematical Physics: S.P. Novikov's Seminar, 2002-2003. American Mathematical Society Translations (2), Vol.212. — American Mathematical Society, 2004. ISBN 0-8218-3613-7. Pp.207-218.  (link, pdf)

• Yu.Klimov, A.Korzh, S.Natanzon From 2D Toda hierarchy to conformal map for domains of Riemann sphere // arXiv:math/0212361  (pdf)

2003

• Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, and Sergei Yu. Skorobogatov. Partial Evaluation for Common Intermediate Language // M. Broy and A.V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science, volume 2890/2003, pages 171-177. Springer-Verlag Berlin Heidelberg, 2003.  (ISBN 978-3-540-20813-6, link, bibtex)

• Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, and Sergei Yu. Skorobogatov. Partial Evaluation for Common Intermediate Language // Perspectives of Systems Informatics (Proceedings of Andrei Ershov Fifth International Conference). Novosibirsk: A.P.Ershov Institute of Informatics Systems, 2003. Pages 120-124.

• S. Abramov, R. Gluck, Y. Klimov. An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages // Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля / Под редакцией А. К. Айламазяна. Переславль-Залесский: Изд-во "Университет города Переславля", 2003. С. 11-23.  (ISBN 5-901795-02-4)