Models of computation

Вики

Стрим 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 году. 

Вики

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

/

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

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