• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Статически типизированная версия языка функционально-потокового параллельного программирования
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 9, 2026
‘Balkan Hospitality Opens Doors: Studying Dialects on the Verge of Extinction
You cannot study spoken dialects from books. Instead, you need to go to a village, seek out its elders, and earn the trust of local residents before you can record hours of spontaneous stories. This is how Natalia Muravleva, Associate Professor at the Faculty of Humanities, conducts her research. Her internship in Serbia continued her long-standing study of dialects spoken by Macedonian settlers. In this interview, she discusses how diaspora cultural centres help researchers reach informants, why native speakers need to be interviewed only in their own language (otherwise, as she puts it, they may 'break'), and how a single field season helped her finalise her monograph. She also shares warm memories of autumn in Belgrade and of colleagues with whom grammar can be discussed in three languages at once.
September 9, 2026
Scientists Train Neural Network to Generate Process Plans from 3D Models
Researchers at the HSE FCS AI and Digital Science Institute have developed CAD2TechSpec, a framework that converts 3D models of mechanical parts into machining process plans—step-by-step instructions for machine tools. The solution aims to reduce the time required for the design and preparation of technical process documentation in mechanical engineering, aircraft manufacturing, and other high-tech industries. The study findings have been published in PeerJ Computer Science.
September 7, 2026
Biologists Discover 'Molecular Fingerprint' of Preeclampsia
Researchers at HSE University employed a new method to model hypoxia in placental cells during pregnancies complicated by preeclampsia and identified molecular markers of tissue hypoxia. Since hypoxia is one of the key mechanisms underlying preeclampsia, these findings are important for a more accurate and timely diagnosis of the disease and for the development of effective treatment methods. The paper has been published in Placenta.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Статически типизированная версия языка функционально-потокового параллельного программирования

Гл. 19. С. 185–192.
Легалов А. И., Легалов И. А., Матковский И. В.
Language: Russian
Full text
Text on another site
Keywords: полиморфизмпараллельное программированиепарадигмы программированиястатическая типизациямодели параллельных вычисленийфункционально-потоковое параллельное программирование

In book

Параллельные вычислительные технологии – XIV международная конференция, ПаВТ’2020
Челябинск: Издательский центр ЮУрГУ, 2020.
Similar publications
Алгоритм матричного произведения на графических ускорителях для платформ с неравномерными каналами передачи данных
Choi Y. R., Мальковский С. И., Stegailov V., В кн.: "Информационные технологии и высокопроизводительные вычисления": Материалы VIII Международной научно-практической конференции, Хабаровск, 15-17 сентября 2025 г.: Хабаровск: Хабаровский Федеральный исследовательский центр, 2025. Гл. 81 С. 317–320.
Работа посвящена разработке и экспериментальному исследованию параллельных алгоритмов матричного умножения и матричной экспоненты с асинхронным обменом данными, использующих принцип наложения вычислений и коммуникаций для максимизации производительности, для систем с несколькими графическими ускорителями и неоднородной топологией. Также представлены теоретические модели оптимизации размера блоков для повышения эффективности расчетов. Алгоритм матричной экспоненты реализован с поддержкой комплексных матриц через ...
Added: October 15, 2025
«Cтройка» – компьютерная игра для знакомства с параллельным программированием
Воронова К. Д., Plaksin M. A., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 25–29.
The rapid development of parallel computing technologies makes it urgent to include propaedeutics of parallel computing in the school computer science course. Since this topic is not yet included in the school curriculum, it can be done through extracurricular activities, in particular, through Internet contests. Since 2013, parallel computing tasks have become a compulsory part ...
Added: February 29, 2024
Теория центральных мест: этапы развития и новые вызовы
Dmitriev R., Горохов С. А., Вестник Воронежского государственного университета. Серия: География. Геоэкология 2023 Т. 1 С. 35–43
Цель исследования – выявить преимущества теории центральных мест в сравнении с другими конструктами в отношении объяснения развития систем расселения. Материалы и методы. Проведен анализ публикаций за 90-летний период в контексте истории развития теории центральных мест (ТЦМ), в ходе которого авторы приходят к выводу о преобладающей роли сетевых теорий в качестве альтернативы теории центральных мест в ...
Added: February 16, 2024
Эволюция систем расселения в аспекте классической теории центральных мест
Dmitriev R., Известия РАН. Серия географическая 2021 Т. 85 № 2 С. 165–175
При рассмотрении в аспекте теории центральных мест особенностей эволюционного развития систем расселения установлено, что, вопреки преобладающей точке зрения, в общем случае не существует выраженной зависимости между долей городского населения и числом центральных мест более низкого уровня иерархии, подчиненных центральному месту данного уровня. При этом аксиома теории о неоднородности распределения только лишь городского населения должна быть ...
Added: February 15, 2024
Расширение языка C для поддержки процедурно-параметрического полиморфизма
Легалов А. И., Косов П. В., Моделирование и анализ информационных систем 2023 Т. 30 № 1 С. 40–62
Software development is often about expanding functionality. To improve reliability in this case, it is necessary to minimize the change in previously written code. For instrumental support of the evolutionary development of programs, a procedural-parametric programming paradigm was proposed, which made it possible to increase the capabilities of the procedural approach. This allows to extend ...
Added: April 29, 2023
Transformation of Functional Dataflow Parallel Programs into Imperative Programs
Vasilev V. S., A. I. Legalov, Zykov S. V., Automatic Control and Computer Sciences, Latvia 2022 Vol. 56 No. 7 P. 815–827
The functional dataflow paradigm of parallel programming is focused on the development of parallel portable programs. The source code of functional dataflow programs is translated into a set of graphs reflecting information and control dependences. The main method of their execution is interpretation, which makes it impossible to perform calculations efficiently on real parallel computing systems ...
Added: February 20, 2023
ЗНАКОМСТВО С ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ В РАМКАХ ДИСТАНЦИОННОГО КОНКУРСА «ТРИЗФОРМАШКА-2022»
Воронова К. Д., Plaksin M. A., В кн.: Дистанционное обучение – образовательная среда XXI века : материалы XII Междунар. науч.-метод. конф. (Республика Беларусь, Минск, 26 мая 2022 года).: Мн.: БГУИР, 2022. С. 163–163.
It is proposed to introduce schoolchildren and students to the basics of parallel computing using the distance competition "TRIZformashka". For the competition "TRIZformashka-2022" the computer game "Builder" was specially developed for teaching how to build parallel algorithms. A description of the game and a download link are given. ...
Added: October 31, 2022
Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС
Рыженко И. Н., Непомнящий О. В., Легалов А. И. et al., Моделирование и анализ информационных систем 2022 Т. 29 № 1 С. 60–72
In this paper methods for increasing the efficiency of VLSI development based on the method of architecture-independent design are proposed. The route of high-level VLSI synthesis is considered. The principle of constructing a VLSI hardware model based on the functional-flow programming paradigm is stated. The results of the development of methods and algorithms for transformation functional-parallel ...
Added: March 18, 2022
Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового параллельного программирования
Васильев В. С., Легалов А. И., Научный вестник Новосибирского государственного технического университета 2020 № 4 С. 37–46
Functional dataflow programming languages are intended for the development of architecture-independent parallel programs and support the control of computations based on data availability. Due to the fact that at present parallel computing systems are very widespread, and their programming in imperative languages is associated with portability problems, the development of architecturally independent parallel programming tools ...
Added: August 26, 2021
Трансформация функционально-потоковых параллельных программ в императивные
Васильев В. С., Легалов А. И., Zykov S. V., Моделирование и анализ информационных систем 2021 Т. 28 № 2 С. 198–214
Functional dataflow programming languages are designed to create parallel portable programs. The source code of such programs is translated into a set of graphs that reflect information and control dependencies. The main way of their execution is interpretation, which does not allow to perform calculations efficiently on real parallel computing systems and leads to poor ...
Added: June 12, 2021
Возможная ассоциация полиморфизмов генов DRD2 и BDNF c определенными личностными характеристиками успешных предпринимателей
Богданенко Е. В., Vlasov A., Нурбеков М. К., Патогенез 2018 Т. 16 № 3 С. 31–38
Актуальность. Гены DRD2 и BDNF находятся на одной и той же 11-й хромосоме и могут участвовать в регуляции ряда психических проявлений поведения человека. Полиморфизм гена DRD2 Taq1A так же, как полиморфизм гена BDNF Val66Met, ассоциируют с агрессивностью, психическими расстройствами и высоким уровнем показателя «Поиск новизны». Вероятно, что существует эпистатическое или плейотропное влияние этих вариантов генов на проявление некоторых психологических ...
Added: November 5, 2020
Особенности семантики статически типизированного языка функционально-потокового параллельного программирования
Легалов А. И., Легалов И. А., Матковский И. В., В кн.: Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции.: Институт прикладной математики им. М.В. Келдыша РАН, 2019. С. 489–500.
The features of the dataflow functional parallel programming language using static data typing are considered. The previously developed language Pifagor supports only dynamic typing, which does not provide an effective transformation of written programs into programs for modern parallel computing systems. The analysis of changes in the dataflow functional model of calculations and programming language ...
Added: November 1, 2020
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit