-
1Academic Journal
Subject Terms: преобразование программ, система дистанционного обучения, электронное обучение, дистанционное обучение, методика преподавания, преподавание математики, электронные учебно-методические комплексы, ЭУМК, математические дисциплины
File Description: application/pdf
Access URL: https://elib.belstu.by/handle/123456789/56992
-
2Academic Journal
Source: Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 29-44 (2018)
Subject Terms: преобразование программ, 0209 industrial biotechnology, объектно-ориентированный язык, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, анализ программ, интерактивная специализация программ, QA75.5-76.95, 02 engineering and technology, частичные вычисления, среда разработки программ
-
3Academic Journal
Source: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)Subject Terms: преобразование программ, функционально-потоковое параллельное программирование, tail recursion, хвостовая рекурсия, язык программирования Пифагор, programs transformation, functional dataflow parallel programming, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64
Access URL: https://www.mais-journal.ru/jour/article/download/40/36
https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba
https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569
https://link.springer.com/content/pdf/10.3103/S0146411613070237.pdf
https://dblp.uni-trier.de/db/journals/accs/accs47.html#LegalovNMK13
https://link.springer.com/article/10.3103/S0146411613070237
https://rd.springer.com/article/10.3103%2FS0146411613070237 -
4Academic Journal
Source: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)
Subject Terms: функционально-потоковое параллельное программирование, хвостовая рекурсия, преобразование программ, язык программирования Пифагор, Information technology, T58.5-58.64
File Description: electronic resource
-
5Academic Journal
Authors: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva, Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
Contributors: грант в рамках ФЦП «Научные и научно-педагогические кадры инновационной России»
Source: Modeling and Analysis of Information Systems; Том 19, № 4 (2012); 48-58 ; Моделирование и анализ информационных систем; Том 19, № 4 (2012); 48-58 ; 2313-5417 ; 1818-1015
Subject Terms: язык программирования Пифагор, tail recursion, programs transformation, Pifagor programming language, хвостовая рекурсия, преобразование программ
File Description: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/40/36; Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.; Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». 2011. Том 4, №2. С. 213–224.; Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ // Научный вестник НГТУ. 2008. №3 (32). С. 111–120.; Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных // Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С. 1272–1281. (Электронное издание)
-
6Academic Journal
Subject Terms: математические дисциплины, преподавание математики, методика преподавания, преобразование программ, электронное обучение, электронные учебно-методические комплексы, ЭУМК, система дистанционного обучения, дистанционное обучение
File Description: application/pdf
Relation: https://elib.belstu.by/handle/123456789/56992; 37.016:51
Availability: https://elib.belstu.by/handle/123456789/56992
-
7Academic Journal
Authors: ШТЕЙНБЕРГ Б.Я., КРАВЧЕНКО Е. Н, МОРЫЛЕВ Р.И., НИС З.Я., ПЕТРЕНКО В.В., СКИБА И. С. СКИБА, ШАПОВАЛОВ В.Н., ШТЕЙНБЕРГ О.Б., ШТЕЙНБЕРГ Р.Б.
Subject Terms: РАСПАРАЛЛЕЛИВАНИЕ,ПРЕОБРАЗОВАНИЕ ПРОГРАММ,ОПТИМИЗАЦИЯ
File Description: text/html
-
8Academic Journal
Source: Engineering Software; Vol. 4 No. 4 (2010); 35 ; Инженерия программного обеспечения; Том 4 № 4 (2010); 35 ; Інженерія програмного забезпечення; Том 4 № 4 (2010); 35
Subject Terms: Graphical processing units, rewriting rules technique, automated program transformations, formal design methods, development tools, Microsoft .NET framework, 681.3, Графические процессоры, переписывание правил техники, автоматизированные преобразование программ, формальные методы проектирования, средства разработки, Графічні процесори, переписування правил техніки, автоматизовані перетворення програм, формальні методи проектування, засоби розробки
File Description: application/pdf
Relation: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019/2956; https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019
Availability: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019
-
9Academic Journal
Subject Terms: program transformation, algorithm, интегральная схема, integrated circuit, высокоуровневое проектирование, верификация, преобразование программ, функционально-потоковое параллельное программирование, functional data-flow programming, параллельные потоки данных, high-level design, parallel data flows, алгоритм, verification
Access URL: https://openrepository.ru/article?id=429967
-
10Academic Journal
Source: Известия высших учебных заведений. Приборостроение.
Subject Terms: РАСПАРАЛЛЕЛИВАНИЕ,ПРЕОБРАЗОВАНИЕ ПРОГРАММ,ОПТИМИЗАЦИЯ
File Description: text/html
-
11Academic Journal
Source: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.
Subject Terms: ПРЕОБРАЗОВАНИЕ ПРОГРАММ, РЕФАКТОРИНГ, РАЗРЕЖЕННЫЕ МАТРИЦЫ
File Description: text/html
-
12Academic Journal
Subject Terms: преобразование программ, программы, среда MS DOS, среда WINDOWS
File Description: application/pdf
Access URL: https://rep.bsatu.by/handle/doc/9255
-
13Academic Journal
Authors: Nepomnyashchy, Oleg V., Legalov, Alexander I., Sirotinina, Natalia J., Непомнящий, О.В., Легалов, А.И., Сиротинина, Н.Ю.
Subject Terms: integrated circuit, high-level design, verification, algorithm, parallel data flows, program transformation, functional data-flow programming, интегральная схема, высокоуровневое проектирование, верификация, алгоритм, параллельные потоки данных, преобразование программ, функционально-потоковое параллельное программирование
Relation: Журнал Сибирского федерального университета. Техника и технологии. Journal of Siberian Federal University. Engineering & Technologies;2014 7 (6)
Availability: https://elib.sfu-kras.ru/handle/2311/13372
-
14
Authors: Балашов Илья Вадимович, Balasov Ila Vadimovic
Contributors: Ахин Марат Халимович, Ahin Marat Halimovic, Березун Даниил Андреевич, Berezun Daniil Andreevic
Subject Terms: специализация, компиляторы, оптимизация программ, частичные вычисления, автоматическое преобразование программ, алгоритмы линейной алгебры, partial evaluation, compilers, program optimization, automatic program transformation, linear algebra-based algorithms
Relation: 062090; http://hdl.handle.net/11701/32360
Availability: http://hdl.handle.net/11701/32360
-
15Academic Journal
Authors: Песляк, В. И.
Subject Terms: среда MS DOS, программы, преобразование программ, среда WINDOWS
File Description: application/pdf
Relation: Моделирование сельскохозяйственных процессов и машин: тезисы второй республиканской научно-технической конференции, Минск, 21-23 мая 1996 г.; https://rep.bsatu.by/handle/doc/9255; 621
Availability: https://rep.bsatu.by/handle/doc/9255
