Публикации: Ушакова Мария Сергеевна

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows : научное издание [статья из журнала]
Legalov A. I., Matkovskii I. V., Ushakova M. S., Romanova D. S.
2021, AUTOMATIC CONTROL AND COMPUTER SCIENCES
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Инструментальное средство для формальной верификации функционально-потоковых параллельных программ на языке Пифагор на основе исчисления Хоара : регистрация программы для ЭВМ [патент]
Ушакова Мария Сергеевна
2021
присутствует в РИНЦ (eLIBRARY.RU)
Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных : научное издание [статья из журнала]
Легалов Александр Иванович, Матковский Иван Васильевич, Ушакова Мария Сергеевна, Романова Дарья Сергеевна
2020, Моделирование и анализ информационных систем
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Verification of Programs with Mutual Recursion in Pifagor Language : научное издание [статья из журнала]
Ushakova M. S., Legalov A. I.
2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
Особенности разработки и преобразования функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Легалов А. И., Ушакова М. С.
2018
присутствует в РИНЦ (eLIBRARY.RU)
A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
Legalov A. I., Vasilyev V. S., Matkovskii I. V., Ushakova M. S.
2018, Communications in Computer and Information Science
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Верификация программ со взаимной рекурсией на языке Пифагор : научное издание [статья из журнала]
Ушакова Мария Сергеевна, Легалов Александр Иванович
2018, Моделирование и анализ информационных систем
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание [статья из журнала]
Легалов А. И., Васильев В. С., Матковский И. В., Ушакова М. С.
2017, Труды Института системного программирования РАН
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Верификация и доказательство завершения функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Удалова Ю. В., Ушакова М. С.
2017, Языки программирования и компиляторы - 2017
присутствует в РИНЦ (eLIBRARY.RU)
Семантика типов данных функционально-потокового языка параллельного программирования Пифагор [статья из журнала]
Ушакова Мария Сергеевна
2016, Образовательные ресурсы и технологии
присутствует в РИНЦ (eLIBRARY.RU)
ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
Ушакова Мария Сергеевна, Легалов Александр Иванович
2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.