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

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

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

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Гаранина, Н. О. (070)
स्वरूप:	Книга
विषय:	параллелизм параллельные процессы
ऑनलाइन पहुंच:	Перейти к просмотру издания
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

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

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

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

Операционные системы
द्वारा: Бэкон Д., और अन्य

Параллельное программирование. Лабораторный практикум
द्वारा: Абрамов Г. В.
प्रकाशित: (2021)

Кросс-платформенное программирование в системах реального времени учебник для вузов
द्वारा: Золкин А. Л.
प्रकाशित: (2025)

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

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

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

Железнодорожные станции и узлы учебно-методическое пособие
द्वारा: Гончарова Н. Ю.
प्रकाशित: (2021)

Эсперанто-русский словарь
द्वारा: Бокарев Е. А.

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

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

Организация и архитектура ЭВМ. Вычислительные системы учебное пособие для спо
द्वारा: Журавлев А. Е.
प्रकाशित: (2023)

Теория параллельного диагностирования. Дискретные объекты монография
द्वारा: Никифоров С. Н.
प्रकाशित: (2020)

Организация и архитектура ЭВМ. Вычислительные системы
द्वारा: Журавлев А. Е.
प्रकाशित: (2021)

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

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

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

Интерфейсы. Выбор и реализация
द्वारा: Лапин А. А.

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

Контрольные и самостоятельные работы Учебно-методическое пособие для студентов 1-2 курсов всех направлений подготовки
द्वारा: Карманова Г. В.
प्रकाशित: (2019)

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

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

Самостоятельные и контрольные работы по биохимии: практикум
द्वारा: Курдуманова О. И.
प्रकाशित: (2017)

Химическая кинетика. Решение обратных задач учебное пособие
द्वारा: Батыршин Н. Н.
प्रकाशित: (2020)

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

Математическое моделирование задач диффузии-конвекции для прибрежных систем на многопроцессорных системах с распределенной памятью
द्वारा: Атаян, А. М.
प्रकाशित: (2024)

Самостоятельные работы по зоологии позвоночных учебное пособие к лабораторно-практическим занятиям
द्वारा: Якушкина М. Н.
प्रकाशित: (2019)

Теоретические основы параллельного программирования учебное пособие
द्वारा: Петров Д. В.
प्रकाशित: (2022)

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

Самостоятельные путешествия: маршрутное планирование
द्वारा: Зырянов А. И.
प्रकाशित: (2015)

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

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

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

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

Техническое и программное обеспечение вычислительных машин, систем и сетей учебник для вузов
द्वारा: Золкин А. Л.
प्रकाशित: (2025)

Техническое и программное обеспечение вычислительных машин, систем и сетей учебник для спо
द्वारा: Золкин А. Л.
प्रकाशित: (2025)

Самостоятельные физкультурно-оздоровительные занятия методические рекомендации
प्रकाशित: (2017)

Самостоятельные и контрольные работы по высшей математике: сборник заданий учебное пособие
द्वारा: Плешакова Е. О.
प्रकाशित: (2024)