Полное описание
>
004.2/К 782
Краснов, Михаил Михайлович. Применение библиотеки функционального программирования для распараллеливания вычислений на графических ускорителях с технологией CUDA / М. М. Краснов, О. Б. Феодоритова ; Институт прикладной математики имени М. В. Келдыша (Москва). - Москва : ИПМ им. М. В. Келдыша РАН, 2022. - 36 с. : ил. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 51 за 2022 г.). - Библиогр.: с. 34-36 (30 назв.). - 59 экз. - DOI 10.20948/prepr-2022-51 : 20 р. - Текст (визуальный) : непосредственный.
На обл.: Российская академия наук - 300 лет.
Содержание: >
Краткое введение в функциональное программирование. - С. 5
Принципы функционального программирования. - С. 6
Математические основы функционального программирования. - С. 8
Функторы и монады в программировании. - С. 13
Библиотека функционального программирования. - С. 18
Реализация функторов, аппликативов и монад. - С. 20
Применение библиотеки для численных методов. - С. 21
Сеточные выражения и сеточные функции. - С. 21
Объекты-заместители (proxy). - С. 22
Сеточные выражения как функторы, аппликативы и монады. - С. 23
Примеры. - С. 28-32
Сравнение эффективности. - С. 32
| ГРНТИ | УДК | |
| 50.33.03 | 004.272.2(04) | |
| 50.05.13 | 004.42:519.67(04) | |
| 004.42.046(04) |
Рубрики:
Параллельные вычисления
Программирование для ЭВМ графическое
Программирование для ЭВМ функциональное
Кл.слова (ненормированные): решение численных задач -- библиотека функционального программирования funcprog -- численные расчеты -- суперкомпьютеры -- программирования языки - c++
Аннотация: Современные графические ускорители (GPU) позволяют существенно ускорить выполнение численных задач. Однако перенос программ на графические ускорители является непростой задачей, иногда требующей практически полного их переписывания. Графические ускорители CUDA, благодаря разработанной компанией NVIDIA технологии, позволяют иметь единый исходный код как для обычных процессоров (CPU), так и для CUDA. Однако распараллеливание на общей памяти все равно делается по-разному и его нужно указывать явно.
Доп. точки доступа:
Феодоритова, Ольга Борисовна
Институт прикладной математики имени М. В. Келдыша (Москва)
>
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Обложка
Переход по DOI
Жуков, Виктор Тимофеевич. Алгоритм расчета физических процессов в высокотемпературных сверхпроводниках / В. Т. Жуков, О. Б. Феодоритова, 2020. - 27 с. - Текст (визуальный) : непосредственный.Вереина, Людмила Ивановна. Техническая механика : учебник / Л. И. Вереина, М. М. Краснов, 2021. - 348, [1] с. - Текст (визуальный) : непосредственный.Краснов, Михаил Михайлович. Применение библиотеки функционального программирования для распараллеливания вычислений на графических ускорителях с технологией CUDA / М. М. Краснов, О. Б. Феодоритова, 2022. - 36 с. (Введено оглавление). - Текст (визуальный) : непосредственный.О влиянии выбора численного потока на решение задач с ударными волнами разрывным методом Галеркина / М. М. Краснов, М. Е. Ладонкина, О. А. Неклюдова, В. Ф. Тишкин, 2022. - 21 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Жуков, Виктор Тимофеевич. О прямом методе решения задачи сопряженного теплообмена газовой смеси и твердого тела / В. Т. Жуков, Н. Д. Новикова, О. Б. Феодоритова, 2023. - 36 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Программный комплекс NOISEtte–MCFL для расчета многокомпонентных реагирующих течений / В. Е. Борисов, В. Т. Жуков, М. М. Краснов [и др.], 2023. - 23 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Краснов, Михаил Михайлович. Применение монадных вычислений при решении численных задач / М. М. Краснов, 2024. - 24 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Численное моделирование термогазодинамических процессов в модельных РДТТ с помощью трехмерного параллельного кода / Жуков В. Т., Краснов М. М., Критский Б. В. [и др.], 2024. - 29 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Вереина, Людмила Ивановна. Техническая механика : учебник : для студентов, обучающихся по укрупненным группам профессий и специальностей среднего профессионального образования "Электро- и теплоэнергетика", "Машиностроение", "Промышленная экология и биотехнологии", "Техносферная безопасность и природообустройство", "Прикладная геология, горное дело, нефтегазовое дело и геодезия", "Техника и технологии наземного транспорта", "Техника и технологии кораблестроения и водного транспорта", "Управление в технических системах", "Технологии легкой промышленности", "Сельское, лесное и рыбное хозяйство" / Л. И. Вереина, М. М. Краснов, 2024. - 348, [1] с. - Текст (визуальный) : непосредственный.Вереина, Людмила Ивановна. Техническая механика : учебник : для студентов, обучающихся по укрупненным группам профессий и специальностей среднего профессионального образования "Электро- и теплоэнергетика", "Машиностроение", "Промышленная экология и биотехнологии", "Техносферная безопасность и природообустройство", "Прикладная геология, горное дело, нефтегазовое дело и геодезия", "Техника и технологии наземного транспорта", "Управление в технических системах", "Технологии легкой промышленности", "Сельское, лесное и рыбное хозяйство" / Л. И. Вереина, М. М. Краснов, 2025. - 348, [1] с. - Текст (визуальный) : непосредственный.
Указания по восстановлению проездов, улиц и площадей, мостов и переездных труб в городах : (согласовано с Главным управлением местной противовоздушной обороны НКВД СССР) / Академия коммунального хозяйства при СНК РСФСР, 1942. - 35, [2] с. (Введено оглавление). - Текст : непосредственный.Голубев, Юрий Филиппович. Преодоление шестиногим роботом изолированных цилиндрических препятствий / Ю. Ф. Голубев, В. В. Корянов, 2020. - 34 с. - Текст (визуальный) : непосредственный.THERMOS: Согласованное решение уравнения переноса излучения с поуровневой кинетикой в простейших геометриях / И. Ю. Вичев, Д. А. Ким, А. Д. Соломянная, А. С. Грушин, 2020. - 30 с. - Текст (визуальный) : непосредственный.Исследование переноса излучения в потоке ионизующегося гелия в плазменном ускорителе / А. Н. Козлов, В. С. Коновалов, Н. С. Климов [и др.], 2020. - 27 с. - Текст (визуальный) : непосредственный.Маслова, Ирина Игоревна. О классах сверхфункций на двухэлементном множестве / И. И. Маслова, 2020. - 29 с. - Текст (визуальный) : непосредственный.Гусев, Андрей Олегович. Опыт применения библиотек Intel MKL и PETSc для решения задач тепломассопереноса с фазовым переходом / А. О. Гусев, О. В. Щерица, О. С. Мажорова, 2020. - 34 с. - Текст (визуальный) : непосредственный.Стенина, Татьяна Вячеславовна. Регуляризованные уравнения гидродинамики в задаче моделирования дискового насоса и их реализация в рамках программного комплекса / Т. В. Стенина, Т. Г. Елизарова, М. В. Крапошин, 2020. - 30 с. - Текст (визуальный) : непосредственный.Лахно, Виктор Дмитриевич. Трансляционно-инвариантные биполяроны и волны зарядовой плотности в высокотемпературных сверхпроводниках / В. Д. Лахно, 2020. - 13 с. - Текст (визуальный) : непосредственный.Заславский, Григорий Симонович. Исторический конспект архива Платонова-Казаковой и организация баллистического обеспечения полетов космических аппаратов / Г. С. Заславский, Б. Л. Будинас, 2020. - 53 с. - Текст (визуальный) : непосредственный.Кирина-Лилинская, Елизавета Петровна. Дробное уравнение Фоккера-Планка и эволюция средних значений метрик надежности беспроводной связи / Е. П. Кирина-Лилинская, 2020. - 15 с. - Текст (визуальный) : непосредственный.THERMOS: моделирование нестационарной плазмы неона / Д. А. Ким, И. Ю. Вичев, А. Д. Соломянная, А. С. Грушин, 2020. - 16 с. - Текст (визуальный) : непосредственный.Змиевская, Галина Ивановна. Стохастические модели структур нанопористости и кластеров конденсации / Г. И. Змиевская, 2020. - 16 с. - Текст (визуальный) : непосредственный.Математическое моделирование черенковского излучения, генерируемого потоком бета-частиц / М. Е. Жуковский, С. В. Подоляко, С. Г. Трофимчук, И. В. Алексеев, 2020. - 16 с. - Текст (визуальный) : непосредственный.Брюно, Александр Дмитриевич. Семейства периодических решений и инвариантных торов системы Гамильтона без параметров / А. Д. Брюно, 2020. - 15 с. - Текст (визуальный) : непосредственный.Бахтин, Александр Борисович. Инвариантные координатные подпространства нормальной формы системы обыкновенных дифференциальных уравнений / А. Б. Бахтин, 2020. - 23 с. - Текст (визуальный) : непосредственный.Белов, Александр Александрович. Численное интегрирование задач Коши с особыми точками / А. А. Белов, Н. Н. Калиткин, 2020. - 36 с. - Текст (визуальный) : непосредственный.Лукин, Владимир Владимирович. Модификация метода множителей Лагранжа с независимой контактной границей для моделирования контакта упругих тел / В. В. Лукин, П. В. Соломенцева, 2020. - 26 с. - Текст (визуальный) : непосредственный.Жданов, Андрей Дмитриевич. Реалистичный рендеринг на основе прямых и обратных фотонных карт / А. Д. Жданов, Д. Д. Жданов, Е. Д. Бирюков, 2020. - 23 с. - Текст (визуальный) : непосредственный.Плеханов, Александр Валентинович. О предельной скорости разгона плазменного сгустка в магнитоплазменном ускорителе / А. В. Плеханов, 2020. - 16 с. - Текст (визуальный) : непосредственный.Белова, Кристина Михайловна. Исследование эффективности методов оценки релевантности текстов / К. М. Белова, В. А. Судаков, 2020. - 16 с. - Текст (визуальный) : непосредственный.
Показать все результатыАстрономический вестник. Исследования солнечной системы / Российская академия наук, Институт прикладной математики имени М. В. Келдыша (Москва). - Журнал выходит с 1967г. - Текст : непосредственный.Протопопов А.А. Моделирование динамики ротора и выбор оптимальных конструктивных параметров малорасходного центробежного насоса : автореф. дис. .. канд. физ.-мат. наук : 01.02.01 / А. А. Протопопов, 2018. - 22 с.Математическое моделирование социальных процессов : сборник трудов / Институт прикладной математики им. М. В. Келдыша РАН. Вып. 20, 2018. - 280 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXI Всероссийской научной конференции, Новороссийск, 23-28 сентября 2019 г., 2019. - 666 с. - Текст : непосредственный.Математическое моделирование и информатика социальных процессов : сборник трудов / Институт прикладной математики имени М. В. Келдыша. Вып. 21 / главный редактор - А. П. Михайлов, 2019. - 161 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXIII Всероссийской научной конференции онлайн, 20-23 сентября 2021 г., 2021. - 399, [1] с. - Текст (визуальный) : непосредственный.Быстров, Владимир Сергеевич. Компьютерное моделирование и численные исследования пептидных нанотрубок на основе дифенилаланина / В. С. Быстров, С. В. Филиппов, 2021. - 54 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. О L2-диссипативности линеаризованный разностной схемы на разнесенных сетках с квазигидродинамической регуляризацией для 1D баротропных уравнений движения газа / А. А. Злотник, Т. А. Ломоносов, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Построение модели эволюции объектов малоразмерной фракции космического мусора, образующегося в результате разрушений / Г. К. Боровин, М. В. Захваткин, В. А. Степаньянц, И. В. Усовик, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Рыков, Юрий Германович. Технология использования нечетких когнитивных карт с математической точки зрения / Ю. Г. Рыков, 2021. - 22 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Расчет несжимаемых течений в системе "пористое тело - свободный поток" / С. В. Поляков, М. А. Трапезникова, А. Г. Чурбанов, Н. Г. Чурбанова, 2021. - 19 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Подлазов, Андрей Викторович. Дополнительное исследование самоорганизованно-критической модели Манны в случае верхней критической размерности / А. В. Подлазов, 2021. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. Свойства агрегированной квазигидродинамической системы уравнений гомогенной газовой смеси с общей регуляризующей скоростью / А. А. Злотник, А. С. Федченко, 2021. - 26 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Колесниченко, Александр Владимирович. К моделированию динамической эволюции Вселенной под воздействием энтропийной силы, связанной с модифицированной энтропией Шарма-Миттала / А. В. Колесниченко, М. Я. Маров, 2021. - 36 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Малинецкий, Георгий Геннадьевич. О развитии прикладной математики, искусственного интеллекта и компьютерных вычислений / Г. Г. Малинецкий, В. С. Смолин, 2021. - 49 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Варин, Виктор Петрович. Преобразование последовательностей в доказательствах иррациональности некоторых фундаментальных констант / В. П. Варин, 2021. - 32 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Кислицын, Алексей Алексеевич. Исследование статистик графов ближайших соседей / А. А. Кислицын, Ю. Н. Орлов, 2021. - 23 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Балашов, Владислав Александрович. Регуляризованная модель типа фазового поля для описания системы "жидкость - твердое тело" с учетом химических реакций / В. А. Балашов, Е. Б. Савенков, 2021. - 20 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Поташов, Марат Шамилевич. Модификация уравнений переноса излучения для включения не-ЛТР эффектов при расчете кривых блеска сверхновых радиационно-гидродинамическим кодом STELLA / М. Ш. Поташов, П. В. Бакланов, С. И. Блинников, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Атомистическое моделирование параметров критической области золота с использованием кривой сосуществования жидкость-пар / В. И. Мажукин, О. Н. Королева, М. М. Демин, А. А. Алексашкина, 2021. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.Основы компьютерной архитектуры / ВЦП. - 8 c. - Текст : непосредственный.Система вычислительных машин серии 400 : Справочник по основному курсу эксплуатации / ВЦП. - 87 c. - Текст : непосредственный.Вычислительный комплекс серии 400 : Руководство по базовому курсу технической эксплуатации / ВЦП. - 57 c. - Текст : непосредственный.Модем М 212 Секьюрити плас 11 / ВЦП. - 14 c. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Мультипроцессорный компьютер MARA 2286 C - модульная структура для приложения реального времени / ВЦП. - 62 c. - Текст : непосредственный.Болохов Ю.А. Организация вычислений на многопроцессорных вычислительных системах при решении задач с древовидными алгоритмами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Болохов, 1991. - 19 с. - Текст : непосредственный.Ченсизбаев Б.А. Разработка методов и средств обеспечения живучести распределенных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Б. А. Ченсизбаев, 1991. - 19 с. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Вольперт А.Б. Взаимодействие последовательных алгоритмов:описание,моделирование и анализ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Б. Вольперт, 1991. - 20 с. - Текст : непосредственный.Хмадех Гассан.Управляющие пространства в параллельных вычислениях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Хмадех Гассан, 1991. - 12 с. - Текст : непосредственный.Табаков В.З. Блочные методы решения задач моделирования динамических объектов для параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. З. Табаков, 1991. - 16 с. - Текст : непосредственный.Ашневиц А.А. Разработка моделей для выбора КТС распределенных систем обработки данных минимальной стоимости с заданными характеристиками временных задержек и надежности : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / А. А. Ашневиц, 1990. - 18 с. - Текст : непосредственный.Каргина Л.А. Модели и процедуры управления распределенными вычислительными процессами : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / Л. А. Каргина, 1990. - 19 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Корхмазов Г.С. Разработка специализированных вычислительных устройств и систем на основе учета особенностей разрядного представления информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Корхмазов, 1991. - 23 с. - Текст : непосредственный.Кекелидзе В.М. Разработка и исследование моделей и методов планирования параллельных вычислительных процессов на основе формального аппарата сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12;05.13.13 / В. М. Кекелидзе, 1991. - 20 с. - Текст : непосредственный.Юсупов К.М. Конвейерные мультигистограммные и разрядно-срезовые процессоры ранговой фильтрации изображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / К. М. Юсупов, 1991. - 16 с. - Текст : непосредственный.Шарафиддин Мухамед Абдул-Рауф.Обобщенное преобразование Уолша-Адамара и некоторые вопросы его применения для решения задач обработки и распознавания изображения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Шарафиддин Мухамед Абдул-Рауф, 1991. - 16 с. - Текст : непосредственный.
Показать все результатыPonse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. p. - Текст : непосредственный.Tromp J.T. On update-last schemes / J.T.Tromp, 1992. - 3 p. - Текст : непосредственный.Lioen W.M. Parallelizing a highly vectorized multigrid code with zebra relaxation / W.M.Lioen, 1992. - 16 p. - Текст : непосредственный.Louter-Nool M. Numerical multigrid software:MGD5M, a parallel multigrid code with a twisted ILLU-relaxation / M.Louter-Nool, 1992. - 11 p. - Текст : непосредственный.Moran S. A lower bound on wait-free counting / S.Moran,G.Taubenfeld, 1993. - 9 p. - Текст : непосредственный.Vaandrager F.W. Expressiveness results for process algebras / F.W.Vaandrager, 1993. - 30 p. - Текст : непосредственный.Lynch N.A. Forward and backward simulations. Pt. 1 : Untimed systems, 1993. - 35 p. - Текст : непосредственный.Филд А. Функциональное программирование / А.Филд,П.Харрисон;Пер.с англ.М.В.Горбатовой и др.;Под ред.В.А.Горбатова, 1993. - 638 c. - Текст : непосредственный.Lynch N.A. Forward and backward simulations. Pt. 2 : Timing-based systems, 1993. - 36 p. - Текст : непосредственный.Spilling P. Manray-a replicated workers program in Manifold / P.Spilling,F.Arbab, 1993. - 26 p. - Текст : непосредственный.Bakker, Jacobus Willem de. Comparative semantics for linear arrays of communicating processes / Bakker J. W. de, Breugel F. van, Bruin A. de, 1993. - 14 p. - Текст : непосредственный.Breugel F.van Three metric domains of processes for bisimulation / F.van Breugel, 1993. - 17 p. - Текст : непосредственный.Fernando R.T.P. Bisimulations and predicate logic / R.T.P.Fernando, 1993. - 15 p. - Текст : непосредственный.Fernando R.T.P. Operational semantics,bisimulations and logical complexity / R.T.P.Fernando, 1993. - 12 с. - Текст : непосредственный.Geiss D. Vom Anfanger zum GEM-Profi:Perfekte Programmierung unter DOS,TOS und FlexOS / D.Geiss,J.Geiss, 1992. - 581 S.+1 diskette. - Текст : непосредственный.Natural and artificial parallel computation / ed. M. A. Arbib, ed. J. A. Robinson, 1990. - 345 p. - Текст : непосредственный.
Показать все результатыКовтушенко А.П. Модель зависимости по данным в программном конвейере / А.П.Ковтушенко, 1992. - 43 с. - Текст : непосредственный.Важенин А.П. Параллельные алгоритмы умножения матриц с многоразрядными элементами / А.П.Важенин,А.Э.Вартазарян, 1992. - 32 с. - Текст : непосредственный.Бандман О.Л. Оптическая реализация алгоритмов параллельных подстановок / О.Л.Бандман,С.В.Пискунов, 1992. - 48 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Степанов А.М. Параллельные вычисления на ассоциативных сетях / А.М.Степанов, 1991. - 82 с. - Текст : непосредственный.Ачасова С.М. Вычисления на нейронных сетях / С.М.Ачасова, 1990. - 50 с. - Текст : непосредственный.Косьянчук В.В. Synthesis of systolic architecture arrays / В. В. Косьянчук, N. A. Likhoded, P. I. Sobolevskii, 1992. - 24 p. - Текст : непосредственный.Прихожий А.А. Систолический вычислитель для решения системы логических уравнений / А.А.Прихожий,В.Г.Брич, 1992. - 42 с. - Текст : непосредственный.Грегушова Л.Г. Исследование межсегментных связей при распараллеливании больших программ / Л.Г.Грегушова, 1991. - 10 с. - Текст : непосредственный.Коваленко Н.С. Векторизация базовых операций алгебры логики и теории множеств и их реализация / Н.С.Коваленко,В.М.Метельский, 1993. - 24 с. - Текст : непосредственный.Берзигияров П.К. Экспериментальная система построения параллельных программ по непроцедурным спецификациям алгоритма и архитектуры вычислительной системы / П.К.Берзигияров, 1990. - 19 с. - Текст : непосредственный.Берзигияров П.К. Спецификация алгоритмов и архитектуры вычислительных систем в задаче построения параллельных программ / П.К.Берзигияров, 1990. - 35 с. - Текст : непосредственный.Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е.Н.Боженкова, 1999. - 31 с. - Текст : непосредственный.Забродин А.В. Параллельные вычислительные технологии. Состояние и перспективы / А.В.Забродин, 1999. - 20 с. - Текст : непосредственный.Мурзина В.Ф. The polymodal logic based on A-spaces / В.Ф.Мурзина, 2000. - 14 p. - Текст : непосредственный.Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В.А.Евстигнеев,И.Л.Мирзуитова, 1999. - 48 с. - Текст : непосредственный.Горелик А.М. Средства поддержки параллельности в современном ФОРТРАНЕ / А.М.Горелик, 1999. - 24 с. - Текст : непосредственный.Боженкова Е.Н. Исследование эквивалентностных отношений структур событий с дискретным временем / Е.Н.Боженкова, 2000. - 28 с. - Текст : непосредственный.Устименко А.П. Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики / А.П.Устименко,Л.А.Черкасова, 1990. - 38 с. - Текст : непосредственный.Прихожий А.А. Синтез системы систолических вычислителей / А.А.Прихожий,В.Г.Брич, 1991. - 23 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽