- БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание [статья из журнала]
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)
- Отладка и верификация функционально-потоковых параллельных программ : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей "" [диссертация]
2015
присутствует в РИНЦ (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), Список ВАК