• 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