- БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание [статья из журнала]2020, Международный научно-исследовательский журналприсутствует в РИНЦ (eLIBRARY.RU)
- БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание [статья из журнала]2019, Вестник Бурятского государственного университета. Математика, информатикаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- LIBRARY OF MATHEMATICAL FUNCTIONS WITH PARALLELISM AT THE OPERATIONAL LEVEL IN THE PYTHAGOR LANGUAGE : научное издание [статья из журнала]2019, Сибирский журнал науки и технологийприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Верификация и доказательство завершения функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Языки программирования и компиляторы - 2017присутствует в РИНЦ (eLIBRARY.RU)
- Верификация функционально-потоковых параллельных программ с помощью интервальных формул [статья из журнала]2016, Образовательные ресурсы и технологииприсутствует в РИНЦ (eLIBRARY.RU)
- ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]2014, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Научный сервис в сети Интернет: все грани параллелизмаприсутствует в РИНЦ (eLIBRARY.RU)
- ОТЛАДКА ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ И ПОЛЬЗОВАТЕЛЬСКИХ ФОРМУЛ [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналовприсутствует в РИНЦ (eLIBRARY.RU)
- ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]2013, Ползуновский вестникприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]2011, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]2009, Параллельные вычислительные технологии (ПаВТ'2009)присутствует в РИНЦ (eLIBRARY.RU)
- Средства отладки функционально-потоковых параллельных программ [статья из журнала]2008, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.