Liquid Brain: The Proof of Algorithmic Universality of Quasichemical Model of Fine-grained Parallelism

Abstract

A new formal model of parallel computations - the Kirdin kinetic machine - is suggested in [1]. It is expected that this model will play the role for parallel computations similar to Markov normal algorithms, Kolmogorov and Turing machine or Post schemes for sequential computations. The basic ways in which computations are realized are described; correctness of the elementary programs for the Kirdin kinetic machine is investigated. It is proved that the deterministic Kirdin kinetic machine is an effective calculator. A simple application of the Kirdin kinetic machine - heap encoding - is suggested. Subprograms similar to usual programming enlarge the Kirdin kinetic machine.

Department(s)

Electrical and Computer Engineering

Keywords and Phrases

Distributed Computing; Fine-Grained Parallelism; Parallel Computations

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2001 International Data Group, All rights reserved.

Publication Date

01 Apr 2001

Link to Full Text

Share

 
COinS