DocumentCode
2733995
Title
A Basis Set of Operators for Space-Time Computations
Author
Beal, Jacob
Author_Institution
BBN Technol., Cambridge, MA, USA
fYear
2010
fDate
27-28 Sept. 2010
Firstpage
91
Lastpage
97
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SASOW.2010.21
Filename
5729603
Link To Document