Programming Manifolds

Computing Media and Languages for Space-Oriented Computation

计算机科学;物理学

Jacob Beal ; Jonathan Bachrach

Others  :  http://drops.dagstuhl.de/opus/volltexte/2007/1023/pdf/06361.BealJacob.Paper.1023.pdf
PID  :  10315

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Many programming domains involve the manipulation of values distributed through a manifold— examples include sensor networks, smart materials, and biofilms. This paper describes a programming semantics for manifolds based on the amorphous medium abstraction, which places a computational device at every point in the manifold. This abstraction enables the creation of programs that automatically scale to networks of different size and device density. This semantics is currently implemented in our language Proto and compiles for execution on Mica2 Motes.