Сортировать по:
Выпуск | Название | |
Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
"... подхода. Описана формальная система для функционально-потокового языка параллельного программирования ..." | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... программирования Пифагор. В императивных языках при оптимизации инварианта из цикла выносятся вычисления, не ..." | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..." | ||
Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Павел Владимирович Косов | ||
"... включение процедурно-параметрического программирования в язык C. Предлагаются дополнительные синтаксические ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
"... особенности как языка программирования, так и архитектуры исполнителя. В настоящее время наиболее ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
"... аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.Представлены результаты ..." | ||
Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
"... В работе проводится анализ возможностей трансформации конструкций языка программирования C в ..." | ||
1 - 8 из 8 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)