Модели вычислений

Вики

Стрим X-Машина

Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) — модель вычислений, разработанная Гилбертом Лейкоком в 1993 году.  Основана на X-машине […]

Вики

Стрим X-Машина

Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) — модель вычислений, разработанная Гилбертом Лейкоком в 1993 году.  Основана на X-машине

Вики

Биологические вычисления

Биологические вычисления Определение и классификация биокомпьютеров Биокомпьютеры — это вычислительные системы, основанные на биологических процессах.  Они могут быть классифицированы по

Вики

Агентная модель

Агентно-ориентированная модель Основы агентного моделирования Агентное моделирование — это метод моделирования, в котором поведение системы описывается через взаимодействие множества агентов. 

Вики

Односторонний квантовый компьютер

Односторонний квантовый компьютер Основы квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений.  Квантовые состояния могут быть описаны в

Вики

Квантовая емкость

Квантовая емкость Основные понятия квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений.  Квантовые состояния могут быть представлены в

Вики

Квантовый объём

Квантовый объем Определение квантового объема Квантовый объем — это количество кубитов, необходимое для реализации заданной схемы.  IBM предлагает новое определение

Вики

Топологический квантовый компьютер

Топологический квантовый компьютер Основы топологических квантовых компьютеров Топологические квантовые компьютеры используют топологические состояния для вычислений.  Они могут быть более устойчивыми

Вики

Односторонний квантовый компьютер

Односторонний квантовый компьютер Основы квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений.  Квантовые состояния могут быть описаны в

Вики

Неограниченный недетерминизм

Неограниченный недетерминизм Определение и роль неограниченного недетерминизма Неограниченный недетерминизм — свойство параллелизма, позволяющее задержку в обслуживании запросов.  Гарантирует обработку запроса

Вики

Массовая синхронная параллель

Массовый синхронный параллельный Основы BSP BSP — это модель параллельного программирования, разработанная для распределенных вычислений.  Она была предложена в 1990

Вики

Координационный язык рео

Язык координации Reo Основы Reo Reo — специализированный язык для создания систем на основе протоколов координации.  Примеры систем включают компоненты,

Вики

Абстрактная машина состояний

Абстрактный конечный автомат Обзор статьи Статья представляет собой обзор статьи «Абстрактные конечные автоматы: методы проектирования и анализа высокоуровневых систем» авторов

Вики

Виртуальный конечный автомат

Виртуальный конечный автомат Основы виртуальных конечных автоматов Виртуальные конечные автоматы (VFSM) — это программные модели, которые имитируют поведение реальных систем. 

Вики

ДНК-вычисления

Вычисление ДНК Основы ДНК-вычислений ДНК-вычисления используют ДНК для выполнения логических операций.  ДНК-компьютеры могут быть основаны на ДНК-азимах, ферментных системах или

Вики

Алгоритм внешней памяти

Алгоритм работы с внешней памятью Основы алгоритмов с внешней памятью Алгоритмы с внешней памятью обрабатывают данные, которые слишком велики для

Вики

Машина Пост-Тьюринга

Машина пост–Тьюринга Определение и история машин Тьюринга Машины Тьюринга — это абстрактные вычислительные устройства, предложенные Аланом Тьюрингом в 1936 году. 

Вики

Характеристики алгоритмов

Характеристики алгоритма Определение алгоритма Алгоритм — это конечная последовательность инструкций, которые определяют вычислительный процесс.  Алгоритм должен быть детерминированным, конечным и

Прокрутить вверх