-
1Academic Journal
Authors: A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova
Source: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
Subject Terms: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
2Academic Journal
Authors: M. S. Kropacheva, A. I. Legalov
Source: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)Subject Terms: функционально-потоковое параллельное программирование, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64, 16. Peace & justice, формальная верификация программ
-
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: M. S. Kropacheva, A. I. Legalov
Source: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)
Subject Terms: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ, Information technology, T58.5-58.64
File Description: electronic resource
-
6Academic Journal
Authors: УШАКОВА МАРИЯ СЕРГЕЕВНА
File Description: text/html
-
7Academic Journal
Source: Computational Mathematics and Software Engineering; Том 4, № 2 (2015); 58-70 ; Вычислительная математика и информатика; Том 4, № 2 (2015); 58-70 ; 2410-7034 ; 2305-9052
Subject Terms: функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации
File Description: application/pdf
-
8Academic Journal
Authors: Ушакова, Мария, Легалов, Александр
Subject Terms: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР, ВЕРИФИКАЦИЯ ПРОГРАММ, ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ДЛЯ ПОДДЕРЖКИ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ
File Description: text/html
-
9Academic Journal
Source: Образовательные ресурсы и технологии.
File Description: text/html
-
10Academic Journal
Subject Terms: ХРАНЕНИЕ ПРОГРАММ, РЕПОЗИТОРИЙ, ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, РАСШИРЕНИЕ ПРОГРАММ, ИНСТРУМЕНТЫ ДЛЯ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
File Description: text/html
-
11Academic Journal
Authors: Кропачева, Мария
Subject Terms: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР
File Description: text/html
-
12Academic Journal
Authors: Ushakova, M. S., Legalov, A. I.
Subject Terms: УДК 004.4, УДК 004.052.42, функционально-потоковое параллельное программирование, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, toolkit for supporting formal verification, ГРНТИ 50.41, Pifagor programming language, верификация программ
-
13Academic Journal
Source: Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика.
File Description: text/html
-
14Academic 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
-
15Academic Journal
Source: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева.
File Description: text/html
-
16Academic Journal
Source: Исследования наукограда.
Subject Terms: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР
File Description: text/html
-
17Academic Journal
-
18Dissertation/ Thesis
Authors: Дудинков, Данил Михайлович
Contributors: Васильев, Владимир Сергеевич, Институт космических и информационных технологий, Кафедра вычислительной техники
Subject Terms: тестирование программ, модульное тестирование, функционально-потоковое параллельное программирование, инструментальные средства разработки программного обеспечения, 20.53.21
Availability: https://elib.sfu-kras.ru/handle/2311/153053
-
19Academic Journal
Authors: Ушакова, М. С., Легалов, А. И., Ushakova, M. S., Legalov, A. I.
Subject Terms: УДК 004.052.42, функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, Pifagor programming language, programs formal verification, toolkit for supporting formal verification, УДК 004.4, ГРНТИ 50.41
File Description: application/pdf
Relation: Вестник ЮУрГу. Серия Вычислительная математика и информатика; Bulletin of South Ural State University. Series 'Computational mathematics and software engineering"; Вычислительная математика и информатика;Том 4; http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
Availability: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
-
20Dissertation/ Thesis
Contributors: Матковский, Иван Васильевич, Институт космических и информационных технологий, Кафедра вычислительной техники
Subject Terms: библиотека функций, функционально-потоковое параллельное программирование, программирование, 50.05.09
Access URL: https://openrepository.ru/article?id=451433
