Публикации: Удалова Юлия Васильевна

  1. Верификация и доказательство завершения функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
    присутствует в eLIBRARY.RU
  2. Верификация функционально-потоковых параллельных программ с помощью интервальных формул [статья из журнала]
    2016, Образовательные ресурсы и технологии
    присутствует в eLIBRARY.RU
  3. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (1 цит.)
  4. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
    2013, Научный сервис в сети Интернет: все грани параллелизма
    присутствует в eLIBRARY.RU (2 цит.)
  5. ОТЛАДКА ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ И ПОЛЬЗОВАТЕЛЬСКИХ ФОРМУЛ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналов
    присутствует в eLIBRARY.RU
  6. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    2013, Ползуновский вестник
    присутствует в eLIBRARY.RU (1 цит.)
  7. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в eLIBRARY.RU (8 цит.)
  8. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
    присутствует в eLIBRARY.RU (1 цит.)
  9. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    2008, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (2 цит.)

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.