СЕМАНТИКА ТИПОВ ДАННЫХ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ЯЗЫКА ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР

Συγγραφείς: УШАКОВА МАРИЯ СЕРГЕЕВНА

Θεματικοί όροι: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ТИПОВ ДАННЫХ,ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР,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

A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language ; Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования

Συγγραφείς: Ушакова, Мария Сергеевна, Легалов, Александр Иванович

Πηγή: 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

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ

Συγγραφείς: Ушакова, Мария Сергеевна

Relation: https://research.sfu-kras.ru/node/14728

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/146610

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ

Συγγραφείς: Ушакова, Мария Сергеевна

Relation: https://research.sfu-kras.ru/node/14728

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/147040

Формальная верификация функционально-потоковых параллельных программ.

Συγγραφείς: Ушакова, Мария Сергеевна

Συνεισφορές: Легалов, Александр Иванович, Институт космических и информационных технологий, Кафедра вычислительной техники

Θεματικοί όροι: 20.51

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/74734

Междисциплинарный курсовой проект базового уровня

Συγγραφείς: Редькина, Александра Васильевна, Ушакова, Мария Сергеевна

Συνεισφορές: Сибирский федеральный университет

Θεματικοί όροι: электронное учебно-методическое обеспечение, Междисциплинарный курсовой проект базового уровня, образовательное направление 09.03.01 Информатика и вычислительная техника

Διαθεσιμότητα: https://ipuniversity.ru/object/IPC-RU.IPU.LO.2018-0OMRHS7L.1
https://elib.sfu-kras.ru/handle/2311/123858

Основы программирования

Συγγραφείς: Редькина, Александра Васильевна, Ушакова, Мария Сергеевна

Συνεισφορές: Сибирский федеральный университет

Θεματικοί όροι: электронное учебно-методическое обеспечение, Основы программирования, образовательное направление 09.03.01 Информатика и вычислительная техника

Διαθεσιμότητα: https://ipuniversity.ru/object/IPC-RU.IPU.LO.2018-0I4PDWNH.7
https://elib.sfu-kras.ru/handle/2311/123439