المؤلفون: Igor Nikolaevich Ryzhenko, Oleg Vladimirovich Nepomnyaschy, Aleksandr Ivanovich Legalov, Vladimir Viktorovich Shaidurov

المصدر: Моделирование и анализ информационных систем, Vol 29, Iss 1, Pp 60-72 (2022)

مصطلحات موضوعية: параллельные вычисления, потоки данных, функционально-потоковое параллельное программирование, цифровая интегральная схема, высокоуровневый синтез, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/1608; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/2dd2786a54844fa2b7e69a57b11192f2

الاتاحة: https://doi.org/10.18255/1818-1015-2022-1-60-72
https://doaj.org/article/2dd2786a54844fa2b7e69a57b11192f2

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

المصدر: Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)

مصطلحات موضوعية: трансформация программ, функционально-потоковое параллельное программирование, анализ программ, типизация, промежуточные представления программ, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/1488; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/abc98536f0eb4f4c8eea69c60139402f

الاتاحة: https://doi.org/10.18255/1818-1015-2021-2-198-214
https://doaj.org/article/abc98536f0eb4f4c8eea69c60139402f

المؤلفون: A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova

المصدر: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)

مصطلحات موضوعية: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/358; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 347-357 (2018)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования пифагор, оптимизация кода, оптимизация циклов, оптимизация инварианта, граф программных зависимостей, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/728; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/5a6efb63057643e4b874192613e2ffc6

الاتاحة: https://doi.org/10.18255/1818-1015-2018-4-347-357
https://doaj.org/article/5a6efb63057643e4b874192613e2ffc6

المؤلفون: Mariya S. Ushakov, Alexander I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 358-381 (2018)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования пифагор, корректность рекурсий, удаление взаимной рекурсии, универсальная рекурсивная функция, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/729; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/9a9effe4500e4de3a2d6461f0c623422

الاتاحة: https://doi.org/10.18255/1818-1015-2018-4-358-381
https://doaj.org/article/9a9effe4500e4de3a2d6461f0c623422

المؤلفون: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, хвостовая рекурсия, преобразование программ, язык программирования Пифагор, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569

المؤلفون: M. S. Kropacheva, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://mais-journal.ru/jour/article/view/59; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67

المؤلفون: УШАКОВА МАРИЯ СЕРГЕЕВНА

مصطلحات موضوعية: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ТИПОВ ДАННЫХ,ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР,AXIOMATIC SEMANTICS OF PROGRAM DATA TYPES,FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING,PIFAGOR PROGRAMMING LANGUAGE

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/semantika-tipov-dannyh-funktsionalno-potokovogo-yazyka-parallelnogo-programmirovaniya-pifagor
http://cyberleninka.ru/article_covers/16785968.png

المؤلفون: Ушакова, Мария Сергеевна, Легалов, Александр Иванович

المصدر: Computational Mathematics and Software Engineering; Том 4, № 2 (2015); 58-70 ; Вычислительная математика и информатика; Том 4, № 2 (2015); 58-70 ; 2410-7034 ; 2305-9052

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации

وصف الملف: application/pdf

Relation: https://vestnik.susu.ru/cmi/article/view/3008/3310; https://vestnik.susu.ru/cmi/article/downloadSuppFile/3008/56; https://vestnik.susu.ru/cmi/article/downloadSuppFile/3008/57; https://vestnik.susu.ru/cmi/article/view/3008

الاتاحة: https://vestnik.susu.ru/cmi/article/view/3008
https://doi.org/10.14529/cmse150205

المؤلفون: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, хвостовая рекурсия, преобразование программ, язык программирования пифагор, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba

الاتاحة: https://doi.org/10.18255/1818-1015-2012-4-48-58
https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba

المؤلفون: M. S. Kropacheva, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования пифагор, формальная верификация программ, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/59; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe

الاتاحة: https://doi.org/10.18255/1818-1015-2012-5-81-99
https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe

المؤلفون: M. S. Ushakova, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 22, Iss 4, Pp 578-589 (2015)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования пифагор, формальная верификация программ, инструментальные средства для поддержки формальной верификации, Information technology, T58.5-58.64

Relation: https://www.mais-journal.ru/jour/article/view/274; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417; https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96

الاتاحة: https://doi.org/10.18255/1818-1015-2015-4-578-589
https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96

المؤلفون: Ушакова, Мария, Легалов, Александр

مصطلحات موضوعية: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР, ВЕРИФИКАЦИЯ ПРОГРАММ, ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ДЛЯ ПОДДЕРЖКИ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/instrumentalnaya-podderzhka-formalnoy-verifikatsii-programm-napisannyh-na-yazyke-funktsionalno-potokovogo-parallelnogo
http://cyberleninka.ru/article_covers/15763534.png

المؤلفون: Дудинков, Данил Михайлович

المساهمون: Васильев, Владимир Сергеевич, Институт космических и информационных технологий, Кафедра вычислительной техники

مصطلحات موضوعية: тестирование программ, модульное тестирование, функционально-потоковое параллельное программирование, инструментальные средства разработки программного обеспечения, 20.53.21

Relation: Дудинков, Данил Михайлович. Фреймворк модульного тестирования для функционально-потоковых параллельных программ [Электронный ресурс] : выпускная квалификационная работа бакалавра : 09.03.01 / Д. М. Дудинков. — Красноярск : СФУ, 2024.; https://elib.sfu-kras.ru/handle/2311/153053

الاتاحة: https://elib.sfu-kras.ru/handle/2311/153053

المؤلفون: Легалов, Александр, Матковский, Иван, Анкудинов, Александр

مصطلحات موضوعية: ХРАНЕНИЕ ПРОГРАММ, РЕПОЗИТОРИЙ, ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, РАСШИРЕНИЕ ПРОГРАММ, ИНСТРУМЕНТЫ ДЛЯ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/osobennosti-hraneniya-funktsionalno-potokovyh-parallelnyh-programm
http://cyberleninka.ru/article_covers/15167712.png

المؤلفون: Кропачева, Мария

مصطلحات موضوعية: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/formalnaya-verifikatsiya-parallelnyh-programm
http://cyberleninka.ru/article_covers/15730106.png

المؤلفون: Ushakova, V S Vasilyev, A I Legalov, I V Matkovskii

المصدر: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)

مصطلحات موضوعية: информационный граф, управляющий граф, Computer science, Dataflow, Programming language, трансформация программ, computer.software_genre, lcsh:QA75.5-76.95, Transformation (music), функционально-потоковое параллельное программирование, средства разработки программ, General Earth and Planetary Sciences, lcsh:Electronic computers. Computer science, архитектурно-независимое параллельное программирование, computer, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04b5e6fa606e17fb059aa6c93d710e35
https://doi.org/10.15514/ispras-2017-29(5)-10

المصدر: Образовательные ресурсы и технологии.

مصطلحات موضوعية: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ТИПОВ ДАННЫХ,ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР,AXIOMATIC SEMANTICS OF PROGRAM DATA TYPES,FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING,PIFAGOR PROGRAMMING LANGUAGE

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::4a83443f98fd5a62868ddffe1ba62b71
http://cyberleninka.ru/article_covers/16785968.png

المؤلفون: Ушакова, М. С., Легалов, А. И., Ushakova, M. S., Legalov, A. I.

مصطلحات موضوعية: УДК 004.052.42, функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, Pifagor programming language, programs formal verification, toolkit for supporting formal verification, УДК 004.4, ГРНТИ 50.41

وصف الملف: application/pdf

Relation: Вестник ЮУрГу. Серия Вычислительная математика и информатика; Bulletin of South Ural State University. Series 'Computational mathematics and software engineering"; Вычислительная математика и информатика;Том 4; Ушакова, М. С. Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования / М. С. Ушакова, А. И. Легалов // Вестник ЮУрГУ. Серия Вычислительная математика и информатика.- 2015.- Т. 4. № 2.- С. 58-70.- Библиогр.: с. 67-68 (12 назв.); http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500

الاتاحة: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500

المؤلفون: Ushakova, M. S., Legalov, A. I.

مصطلحات موضوعية: УДК 004.4, УДК 004.052.42, функционально-потоковое параллельное программирование, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, toolkit for supporting formal verification, ГРНТИ 50.41, Pifagor programming language, верификация программ

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2425::7482a87792f46d7e2dcd408625bfd1e1
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500