- ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИ ПРОГРАММИРОВАНИЯ : научное издание [статья из журнала]2022, Математические методы в технологиях и техникеприсутствует в РИНЦ (eLIBRARY.RU)
- МЕТОДЫ РЕДУКЦИИ ПАРАЛЛЕЛИЗМА В ПРОЦЕССЕ ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022, МНОГОПРОЦЕССОРНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ И УПРАВЛЯЮЩИЕ СИСТЕМЫприсутствует в РИНЦ (eLIBRARY.RU)
- Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO : научное издание [статья из журнала]2022, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Методы редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем : научное издание [статья из журнала]2022, Программная инженерияприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Parallelism reduction method in the high-level VLSI synthesis implementation : научное издание [статья из журнала]2022, Труды Института системного программирования РАНприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Архитектура интеллектуальной системы тестирования : научное издание [статья из журнала]2022, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС : научное издание [статья из журнала]2022, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Eolang: Toward a New Java-Based Object-Oriented Programming Language : научное издание [статья из журнала]2021, Smart Innovation, Systems and Technologiesприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Dynamically Changing Parallelism with Asynchronous Sequential Data Flows : научное издание [статья из журнала]2021, AUTOMATIC CONTROL AND COMPUTER SCIENCESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Preface [научное издание]2021, CEUR Workshop Proceedingsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Трансформация функционально-потоковых параллельных программ в императивные : научное издание [статья из журнала]2021, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Транслятор архитектурно-независимого описания автоматных и комбинационных схем : регистрация программы для ЭВМ [патент]2021присутствует в РИНЦ (eLIBRARY.RU)
- Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового параллельного программирования : научное издание [статья из журнала]2020, Научный вестник Новосибирского государственного технического университетаприсутствует в РИНЦ (eLIBRARY.RU)
- Программный интерпретатор функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2020присутствует в РИНЦ (eLIBRARY.RU)
- Программный транслятор статически типизированного функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2020присутствует в РИНЦ (eLIBRARY.RU)
- Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание [статья из журнала]2020, Электронные библиотекиприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Specifics of semantics of a statically typed language of functional and dataflow parallel programming : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, CEUR Workshop Proceedingsприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных : научное издание [статья из журнала]2020, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Статически типизированная версия языка функционально-потокового параллельного программирования : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Параллельные вычислительные технологии (ПаВТ'2020)присутствует в РИНЦ (eLIBRARY.RU)
- Asynchronous-streamed model for describing dynamically changing parallelism [доклад, тезисы доклада, статья из сборника материалов конференций]2020, CEUR Workshop Proceedingsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Specifics of semantics of a statically typed language of functional and dataflow parallel programming [доклад, тезисы доклада, статья из сборника материалов конференций]2020, CEUR Workshop Proceedingsприсутствует в Scopus
- Особенности семантики статически типизированного языка функционально-потокового параллельного программирования : научное издание [статья из журнала]2019, Научный сервис в сети Интернетприсутствует в РИНЦ (eLIBRARY.RU)
- Improve method for processing dental images with fast spatial filter and shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Lecture Notes in Engineering and Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Программа для трансляции функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2018присутствует в РИНЦ (eLIBRARY.RU)
- Программа для оптимизации функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2018присутствует в РИНЦ (eLIBRARY.RU)
- Программа для формирования управляющего графа для функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2018присутствует в РИНЦ (eLIBRARY.RU)
- Программа для интерпретации функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ [патент]2018присутствует в РИНЦ (eLIBRARY.RU)
- МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС [статья из журнала]2018, Известия ЮФУ. Технические наукиприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Verification of Programs with Mutual Recursion in Pifagor Language : научное издание [статья из журнала]2018, AUTOMATIC CONTROL AND COMPUTER SCIENCESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- Loop-invariant Optimization in the Pifagor Language : научное издание [статья из журнала]2018, AUTOMATIC CONTROL AND COMPUTER SCIENCESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- Инструментальные средства конструирования среды многокритериального анализа, ориентированной на требуемую предметную область : научное издание [статья из журнала]2018, Успехи современной радиоэлектроникиприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Особенности разработки и преобразования функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2018присутствует в РИНЦ (eLIBRARY.RU)
- Improve method using spatial fast filters and GPU to detection of parcels of land in satellite images for cadaster purposes [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Lecture Notes in Engineering and Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке : научное издание [статья из журнала]2018, Научный сервис в сети Интернетприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- МЕТОДЫ, АЛГОРИТМЫ И ПРОГРАММНЫЕ ИНСТРУМЕНТЫ АРХИТЕКТУРНО НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА ОДНОКРИСТАЛЬНЫХ ЦИФРОВЫХ СИСТЕМ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Суперкомпьютерные технологии (СКТ-2018)присутствует в РИНЦ (eLIBRARY.RU)
- A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Communications in Computer and Information Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Верификация программ со взаимной рекурсией на языке Пифагор : научное издание [статья из журнала]2018, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Оптимизация инварианта цикла в языке Пифагор : научное издание [статья из журнала]2018, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Associative Synthesis of Finite State Automata Model of a Controlled Object with Hyperdimensional Computing : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2017, IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Noise reduction techniques for processing of medical images : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Lecture Notes in Engineering and Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание [статья из журнала]2017, Труды Института системного программирования РАНприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Научный сервис в сети Интернетприсутствует в РИНЦ (eLIBRARY.RU)
- Brain's tumor image processing using shearlet transform : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Proceedings of SPIE - The International Society for Optical Engineeringприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Эволюционная разработка программ с применением процедурно-параметрической парадигмы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Языки программирования и компиляторы - 2017присутствует в РИНЦ (eLIBRARY.RU)
- Языковая поддержка архитектурно-независимого параллельного программирования : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Языки программирования и компиляторы - 2017присутствует в РИНЦ (eLIBRARY.RU)
- Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration : научное издание [статья из журнала]2016, WSEAS Transactions on Computersприсутствует в РИНЦ (eLIBRARY.RU)
- Модель планирования на предприятии радиоэлектронной промышленности : научное издание [статья из журнала]2016, Электронные средства и системы управленияприсутствует в РИНЦ (eLIBRARY.RU)
- Эволюционное расширение программ с использованием процедурно-параметрического подхода [статья из журнала]2016, Вычислительные технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Application of numerical optimization methods to molecular docking on graphics processing units [статья из журнала]2016, Australian Journal of Political Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Генератор кода LLVM с языка процедурно-параметрического программирования : регистрация программы для ЭВМ [патент]2015присутствует в РИНЦ (eLIBRARY.RU)
- ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатикаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ [статья из журнала]2015, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Разработка языка управления космическими аппаратами [статья из журнала]2015, Информационно-управляющие системыприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]2015, Решетневские чтенияприсутствует в РИНЦ (eLIBRARY.RU)
- РАЗРАБОТКА СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ [статья из журнала]2015, Решетневские чтенияприсутствует в РИНЦ (eLIBRARY.RU)
- ВЗАИМОДЕЙСТВИЕ СИСТЕМ СКЛАДСКОГО УЧЕТА И КОМПЛЕКТАЦИИ С СИСТЕМОЙ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ ПРОИЗВОДСТВА В ЕДИНОМ ИНФОРМАЦИОННОМ ПРОСТРАНСТВЕ ПРЕДПРИЯТИЯ РАДИОЭЛЕКТРОННОЙ ПРОМЫШЛЕННОСТИ [статья из журнала]2015, Электронные средства и системы управленияприсутствует в РИНЦ (eLIBRARY.RU)
- Улучшение реализации метода дифференциальной эволюции на графических процессорах [статья из журнала]2014, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU)
- ТЕХНОЛОГИЯ АРХИТЕКТУРНО-НЕЗАВИСИМОГО, ВЫСОКОУРОВНЕВОГО СИНТЕЗА СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ [статья из журнала]2014, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]2014, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности [статья из журнала]2014, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах [статья из журнала]2014, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- КОМПЛЕКСНАЯ АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ОАО «НПП «РАДИОСВЯЗЬ» [статья из журнала]2014, Ползуновский вестникприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов [статья из журнала]2014, Системы и средства информатикиприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Оптимизация хвостовой рекурсии ФПЯП Пифагор [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Молодёжь и наука
- ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Научный сервис в сети Интернет: все грани параллелизмаприсутствует в РИНЦ (eLIBRARY.RU)
- Evolutionary software development using procedural-parametric programming : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2013, ACM International Conference Proceeding Seriesприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]2013, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU)
- ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГЕТЕРОГЕННЫХ СИСТЕМ [статья из журнала]2013, Ползуновский вестникприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ТРАНСЛЯЦИИ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]2013, Ползуновский вестникприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]2013, Ползуновский вестникприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования [статья из журнала]2013, Системы. Методы. Технологииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Formal verification of programs in the functional data-flow parallel language [статья из журнала]2013, Automatic Control and Computer Sciencesприсутствует в Scopus, РИНЦ (eLIBRARY.RU)
- Tail recursion transformation in functional dataflow parallel programs [статья из журнала]2013, Automatic Control and Computer Sciencesприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Formal Verification of Programs in the Pifagor Language [доклад, тезисы доклада, статья из сборника материалов конференций]2013, PARALLEL COMPUTING TECHNOLOGIES (PACT 2013)присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- РАЗРАБОТКА ИНТЕРПРЕТАТОРА СКРИПТОВ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ : научное издание [статья из журнала]2012, Решетневские чтенияприсутствует в РИНЦ (eLIBRARY.RU)
- Разработка интерпретатора командных скриптов для обеспечения автоматизированного управления космическим аппаратом : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2012, Теоретические и прикладные проблемы науки и образования в 21 векеприсутствует в РИНЦ (eLIBRARY.RU)
- Конструирование среды для многокритериального анализа сложных технических систем [статья из журнала]2012, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования [статья из журнала]2012, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах [статья из журнала]2012, Моделирование и анализ информационных системприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ [статья из журнала]2012, Системы. Методы. Технологииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]2011, Вестник Новосибирского государственного университета. Серия: Информационные технологииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]2011, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- поддержка многокритериального анализа в сложных иерархических системах [статья из журнала]2010, Вестник Новосибирского государственного университета. Серия: Информационные технологииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Расширение модульной структуры программы за счет подключаемых модулей [статья из журнала]2010, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]2009, Параллельные вычислительные технологии (ПаВТ'2009)присутствует в РИНЦ (eLIBRARY.RU)
- Функционально-потоковое параллельное программирование при асинхронно поступающих данных [доклад, тезисы доклада, статья из сборника материалов конференций]2009, Параллельные вычислительные технологии (ПаВТ'2009)присутствует в РИНЦ (eLIBRARY.RU)
- ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ [статья из журнала]2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU)
- Information Flow and Usage in an E-shop Operating within an Agent-based E-commerce System [статья из журнала]2009, Журнал Сибирского федерального университета. Серия: Техника и технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Инструментальная поддержка контрольно-проверочной аппаратуры испытаний узлов исполнительной автоматики космических аппаратов [статья из журнала]2009, Решетневские чтенияприсутствует в РИНЦ (eLIBRARY.RU)
- АНАЛИЗ И ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ВАРИАНТНОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ [статья из журнала]2009, Решетневские чтенияприсутствует в РИНЦ (eLIBRARY.RU)
- Solution of Large-Scale Problems of Global Optimization on the Basis of Parallel Algorithms and Cluster Implementation of Computing Processes [доклад, тезисы доклада, статья из сборника материалов конференций]2009, PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Средства отладки функционально-потоковых параллельных программ [статья из журнала]2008, Доклады Академии наук высшей школы Российской Федерацииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Событийное управление выполнением функционально-потоковых параллельных программ [статья из журнала]2008, Научный вестник Новосибирского государственного технического университетаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ : диссертация на соискание ученой степени доктора технических наук [диссертация]2005присутствует в РИНЦ (eLIBRARY.RU)
- Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ : автореферат диссертации на соискание ученой степени доктора технических наук [автореферат диссертации]2005присутствует в РИНЦ (eLIBRARY.RU)
- Функциональный язык для создания архитектурно-независимых параллельных программ [статья из журнала]2005, Вычислительные технологииприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Методы поддержки параметрического полиморфизма : научное издание [статья из журнала]2004, Научный вестник Новосибирского государственного технического университетаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Об управлении вычислениями в параллельных системах и языках программирования : научное издание [статья из журнала]2004, Научный вестник Новосибирского государственного технического университетаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Процедурный язык с поддержкой эволюционного проектирования : научное издание [статья из журнала]2003, Научный вестник Новосибирского государственного технического университетаприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.