Методы отладки и верификации функционально-потоковых параллельных программ ЮВ Удалова, АИ Легалов, НЮ Сиротинина Журнал Сибирского федерального университета. Техника и технологии 4 (2 …, 2011 | 19 | 2011 |
Технологические аспекты создания, преобразования и выполнения функционально-потоковых параллельных программ АИ Легалов, ИВ Матковский, МС Кропачева, ЮВ Удалова, ... Научный сервис в сети Интернет: все грани параллелизма, 443-447, 2013 | 8 | 2013 |
Параллельные вычислительные системы НЮ Сиротинина, ОВ Непомнящий, КВ Коршун, ВС Васильев Федеральное государственное автономное образовательное учреждение высшего …, 2019 | 6 | 2019 |
Верификация функционально-потоковых параллельных программ методом индуктивных утверждений ЮВ Удалова, АИ Легалов Доклады Академии наук высшей школы Российской Федерации, 125-132, 2014 | 6 | 2014 |
Отладка и верификация функционально-потоковых параллельных программ АИ Легалов | 5 | 2015 |
Средства отладки функционально-потоковых параллельных программ ЮВ Удалова, АИ Легалов, НЮ Сиротинина Доклады Академии наук высшей школы Российской Федерации, 96-105, 2008 | 4 | 2008 |
Библиотека математических функций для языка функционально-потокового параллельного программирования Пифагор ЮВ Удалова Вестник Бурятского государственного университета. Математика, информатика, 57-64, 2019 | 3 | 2019 |
Математические и алгоритмические основы объектно-ориентированного программирования ЮВ Удалова СФУ, 2012 | 3 | 2012 |
Библиотека обработки строк для языка функционально-потокового параллельного программирования Пифагор ЮВ Удалова Международный научно-исследовательский журнал, 83-87, 2020 | 2 | 2020 |
Верификация функционально-потоковых параллельных программ с помощью интервальных формул ЮВ Удалова Образовательные ресурсы и технологии, 259-262, 2016 | 2 | 2016 |
ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛ-ЛЕЛЬНОМ ЯЗЫКЕ С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ И ПОЛЬЗОВАТЕЛЬСКИХ ФОРМУЛ ЮВ Удалова Сибирский федеральный университет, 2013 | 2 | 2013 |
Об отладке и верификации функционально-потоковых параллельных программ.[Электронный ресурс] ЮВ Удалова, АИ Легалов, НЮ Сиротинина, МС Кропачева Параллельные вычислительные технологии (ПаВТ'2009): Труды международной …, 2009 | 2 | 2009 |
Верификация и доказательство завершения функционально-потоковых параллельных программ ЮВ Удалова, МС Ушакова Языки программирования и компиляторы—2017: труды конференции/Южный …, 2017 | 1 | 2017 |
МЕТОДЫ ФИНАНСОВОЙ ДИАГНОСТИКИ ДЕЯТЕЛЬНОСТИ ЭКОНОМИЧЕСКИХ СУБЪЕКТОВ ВА Лаврентьев, КД Каринцева, ЮВ Удалова Современные вопросы финансовых и страховых отношений в мировом сообществе …, 2020 | | 2020 |
Современные компьютерные платформы ЮВ Удалова Цифровая платформа обмена знаниями и управлениями авторскими правами …, 2019 | | 2019 |
Параллельное программирование ЮВ Удалова, ДА Кузьмин Цифровая платформа обмена знаниями и управлениями авторскими правами …, 2019 | | 2019 |
Высокопроизводительные вычисления на графических процессах. Учебно-методическое пособие ЮВ Удалова СФУ, 2017 | | 2017 |
Методы формальной верификации программ ЮВ Удалова СФУ, 2013 | | 2013 |
Разработка компонентов системного программного обеспечения. Процессы в Linux ДА Кузьмин, ЮВ Удалова СФУ, 2012 | | 2012 |
ОТЛАДКА ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРО-ГРАММ С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ ЮВ Удалова Сибирский федеральный университет, 2012 | | 2012 |