Title :
A Basis Set of Operators for Space-Time Computations
Author_Institution :
BBN Technol., Cambridge, MA, USA
Abstract :
Although many different models of spatial computation have been proposed, no unifying theory of computation over continuous space-time has yet been developed. Lack of such a theory has made it difficult to compare spatial computing models and impossible to determine their completeness. This paper takes a step toward the goal of a unifying model by identifying a mathematical basis set of operators from which any finitely-approximable causal computation can be constructed. The utility of this basis set of operators is then further demonstrated by using it to analyze the universality of the Proto spatial computing programming language.
Keywords :
approximation theory; programming languages; programming theory; Proto spatial computing; continuous space-time computations; finitely-approximable causal computation; programming language; spatial computation; unifying model; Approximation methods; Computational modeling; Computer languages; Computers; Manifolds; Mathematical model; Trajectory;
Conference_Titel :
Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010 Fourth IEEE International Conference on
Conference_Location :
Budapest
Print_ISBN :
978-1-4244-8684-7
Electronic_ISBN :
978-0-7695-4229-4
DOI :
10.1109/SASOW.2010.21