Теория параллелизма. Самостоятельные работы учебно-методическое пособие

Теория параллелизма. Самостоятельные работы учебно-методическое пособие

Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие пре...

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Гаранина, Н. О. (070)
Format:	Книга
Fag:	параллелизм параллельные процессы
Online adgang:	Перейти к просмотру издания
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Всероссийская научная конференция с элементами научной школы для молодежи "Параллельная компьютерная алгебра", 11-15 октября 2010 г.

Параллельные вычислительные системы учебное пособие

Организация ЭВМ и систем учебное пособие
af: Извозчикова, В. В.

Операционные системы
af: Бэкон Д., и др.

Параллельное программирование. Лабораторный практикум
af: Абрамов Г. В.
Udgivet: (2021)

Кросс-платформенное программирование в системах реального времени учебник для вузов
af: Золкин А. Л.
Udgivet: (2025)

Теория и практика параллельных вычислений учебное пособие
af: Гергель, В. П.

Параллельные системы баз данных учебное пособие
af: Соколинский, Л. Б.

Параллельные алгоритмы вычислительной алгебры учебно-методическое пособие
af: Гололобов, С. В.

Железнодорожные станции и узлы учебно-методическое пособие
af: Гончарова Н. Ю.
Udgivet: (2021)

Эсперанто-русский словарь
af: Бокарев Е. А.

Вычислительная математика и структура алгоритмов учебник
af: Воеводин, В. В.

Проектирование и анализ параллелизма в процессах и программах монография
af: Черемисинов, Д. И.

Организация и архитектура ЭВМ. Вычислительные системы учебное пособие для спо
af: Журавлев А. Е.
Udgivet: (2023)

Теория параллельного диагностирования. Дискретные объекты монография
af: Никифоров С. Н.
Udgivet: (2020)

Организация и архитектура ЭВМ. Вычислительные системы
af: Журавлев А. Е.
Udgivet: (2021)

Численные методы и параллельные вычисления учебное пособие
af: Рычков, А. Д.

Теоретическая механика в примерах и задачах. Статика учебное пособие

Основы параллельного программирования с использованием Visual Studio 2010 учебное пособие
af: Алексеев, А. А.

Интерфейсы. Выбор и реализация
af: Лапин А. А.

Самостоятельные и контрольные работы по биохимии практикум
af: Курдуманова, О. И.

Контрольные и самостоятельные работы Учебно-методическое пособие для студентов 1-2 курсов всех направлений подготовки
af: Карманова Г. В.
Udgivet: (2019)

Intel Parallel Programming Professional (Introduction) учебное пособие

Параллельные вычисления на GPU. Архитектура и программная модель CUDA учебное пособие

Самостоятельные и контрольные работы по биохимии: практикум
af: Курдуманова О. И.
Udgivet: (2017)

Химическая кинетика. Решение обратных задач учебное пособие
af: Батыршин Н. Н.
Udgivet: (2020)

Руководство к Прогрессивным Матрицам Равена и Словарным Шкалам. Раздел 3. Стандартные Прогрессивные Матрицы (включая Параллельные и Плюс версии)
af: Равен, Дж. К.

Математическое моделирование задач диффузии-конвекции для прибрежных систем на многопроцессорных системах с распределенной памятью
af: Атаян, А. М.
Udgivet: (2024)

Самостоятельные работы по зоологии позвоночных учебное пособие к лабораторно-практическим занятиям
af: Якушкина М. Н.
Udgivet: (2019)

Теоретические основы параллельного программирования учебное пособие
af: Петров Д. В.
Udgivet: (2022)

Теоретическая механика. Статика электронное учебное пособие

Самостоятельные путешествия: маршрутное планирование
af: Зырянов А. И.
Udgivet: (2015)

Самостоятельные путешествия: маршрутное планирование
af: Зырянов, А. И.

Плавание. Самостоятельные занятия учебное пособие для студентов факультетов физической культуры
af: Савельева, О. Ю.

Самостоятельные работы по русскому языку учебное пособие для студентов, обучающихся по направлению 050100 педагогическое образование
af: Архипова, Л. В.

Самостоятельные занятия физической культурой учебное пособие для спо
af: Веденина, О. А.

Техническое и программное обеспечение вычислительных машин, систем и сетей учебник для вузов
af: Золкин А. Л.
Udgivet: (2025)

Техническое и программное обеспечение вычислительных машин, систем и сетей учебник для спо
af: Золкин А. Л.
Udgivet: (2025)

Самостоятельные физкультурно-оздоровительные занятия методические рекомендации
Udgivet: (2017)

Самостоятельные и контрольные работы по высшей математике: сборник заданий учебное пособие
af: Плешакова Е. О.
Udgivet: (2024)