- Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language : научное издание [статья из журнала]
Legalov A. I., Bugayenko Y. G., Chuykin N. K., Shipitsin M. V., Riabtsev Y. I., Kamenskiy A. N. 2023, Automatic Control and Computer Sciences
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis : научное издание [статья из журнала]
2023, Automatic Control and Computer Sciences
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИ ПРОГРАММИРОВАНИЯ : научное издание [статья из журнала]
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 [научное издание]
Kovalev I., Semenkin E., Gulyaev Y., Barakaev N., Shaidurov V., Škraba A., Tsarev R., Legalov A., Saramud M., Grosspietsch K. -E., Stupina A. 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 [статья из журнала]
Drozdowicz Michaal, Ganzha Maria, Paprzycki Marcin, Gawinecki Maciej, Legalov Alexander 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), Список ВАК