Публикации

1. 1. БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание [статья из журнала]
   Удалова Ю. В.
   2020, Международный научно-исследовательский журнал
2. 2. БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание [статья из журнала]
   Удалова Юлия Васильевна, Сафонов К. В. (рец.)
   2019, Вестник Бурятского государственного университета. Математика, информатика
3. 3. LIBRARY OF MATHEMATICAL FUNCTIONS WITH PARALLELISM AT THE OPERATIONAL LEVEL IN THE PYTHAGOR LANGUAGE : научное издание [статья из журнала]
   Udalova J. V., Kuzmin D. A., Кузнецов А. А. (рец.)
   2019, Сибирский журнал науки и технологий
4. 4. Верификация и доказательство завершения функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Удалова Ю. В., Ушакова М. С.
   2017, Языки программирования и компиляторы - 2017
5. 5. Верификация функционально-потоковых параллельных программ с помощью интервальных формул [статья из журнала]
   Удалова Юлия Васильевна
   2016, Образовательные ресурсы и технологии
6. 6. Отладка и верификация функционально-потоковых параллельных программ : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей "" [диссертация]
   Удалова Юлия Васильевна
   2015
7. 7. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
   Удалова Юлия Васильевна, Легалов Александр Иванович
   2014, Доклады Академии наук высшей школы Российской Федерации
8. 8. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
   2013, Научный сервис в сети Интернет: все грани параллелизма
9. 9. ОТЛАДКА ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ И ПОЛЬЗОВАТЕЛЬСКИХ ФОРМУЛ [доклад, тезисы доклада, статья из сборника материалов конференций]
   Удалова Ю. В.
   2013, Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналов
10. 10. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю.
    2013, Ползуновский вестник
11. 11. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю.
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
12. 12. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю., Кропачева М. С.
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
13. 13. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    Удалова Юлия Васильевна, Легалов Александр Иванович, Сиротинина Наталья Юрьевна
    2008, Доклады Академии наук высшей школы Российской Федерации