ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИ ПРОГРАММИРОВАНИЯ : научное изданиестатья из журнала
Похожие публикации
БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ… : научное издание
- Удалова Юлия Васильевна
- 2019 год
Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного… : статья из журнала
- Васильев В.С. и др.
- 2013 год
ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ : статья из журнала
- Удалова Юлия Васильевна и др.
- 2014 год
ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО… : статья из журнала
- Ушакова Мария Сергеевна и др.
- 2015 год
Верификация функционально-потоковых параллельных программ с помощью интервальных формул : статья из журнала
- Удалова Юлия Васильевна
- 2016 год
Оптимизация параллельных списков функционально-потокового языка программирования «Пифагор» : статья из журнала
- Васильев В.С. и др.
- 2014 год
МОДУЛЬНОЕ ТЕСТИРОВАНИЕ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада
- Дудинков Данил Михайлович и др.
- 2024 год
Семантика типов данных функционально-потокового языка параллельного программирования Пифагор : статья из журнала
- Ушакова Мария Сергеевна
- 2016 год
Методы редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем : научное издание
- Романова Д.С. и др.
- 2022 год
ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : статья из журнала
- Легалов Александр Иванович и др.
- 2013 год
Трансформация модели памяти языка программирования C в объектно-ориентированное представление на… : научное издание
- Легалов Александр Иванович и др.
- 2022 год