Book ChapterDOI
Organizing the Aggregate: Languages for Spatial Computing
TLDR
A framework for analyzing and comparing spatial computing DSLs is developed, the current state of the art is surveyed, and a roadmap for future spatial Computing DSL investigation is provided.Abstract:
As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specic languages (DSLs) have emerged across diverse domains, from biology and recongurable computing, to sensor networks and agent-based systems. In this paper, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.read more
Citations
More filters
Journal ArticleDOI
Aggregate Programming for the Internet of Things
TL;DR: Through field calculus constructs and building-block APIs, aggregate programming could help unlock the IoT's true potential by allowing complex distributed Services to be specified succinctly and by enabling such services to be safely encapsulated, modulated, and composed with one another.
Journal ArticleDOI
A review of morphogenetic engineering
TL;DR: Particular emphasis is set on the programmability and computational abilities of self-organization, properties that are often underappreciated in CS science—while, conversely, the benefits of self -organization areoften underapp appreciated in engineering methodologies.
Proceedings ArticleDOI
Protelis: practical aggregate programming
TL;DR: Protelis is introduced, a functional language based on computational fields and embedded in Java, thereby enabling the construction of widely reusable components of aggregate systems and demonstrating the simplicity of Protelis integration and programming.
Proceedings ArticleDOI
Buzz: An extensible programming language for heterogeneous swarm robotics
TL;DR: Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm, and its run-time platform is designed to be laid on top of other frameworks, such as the Robot Operating System.
Journal ArticleDOI
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
TL;DR: In this paper, the authors propose an engineering methodology coupling formal theory and computer simulation to identify core building blocks of collective behavior and select implementations that improve system performance while leaving overall system function and resiliency properties unchanged.
References
More filters
Journal ArticleDOI
Exact Stochastic Simulation of Coupled Chemical Reactions
TL;DR: In this article, a simulation algorithm for the stochastic formulation of chemical kinetics is proposed, which uses a rigorously derived Monte Carlo procedure to numerically simulate the time evolution of a given chemical system.
MPI: A Message-Passing Interface Standard
TL;DR: This document contains all the technical features proposed for the interface and the goal of the Message Passing Interface, simply stated, is to develop a widely used standard for writing message-passing programs.
BDI Agents: From Theory to Practice
Anand S. Rao,Michael P. Georgeff +1 more
TL;DR: This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.
Book
The Algorithmic Beauty of Plants
TL;DR: Graphical modeling using L-systems and turtle interpretation of symbols for plant models and iterated function systems, and Fractal properties of plants.
Book
Using MPI: Portable Parallel Programming with the Message-Passing Interface
TL;DR: Using MPI as mentioned in this paper provides a thoroughly updated guide to the MPI (Message-Passing Interface) standard library for writing programs for parallel computers, including a comparison of MPI with sockets.
Related Papers (5)
Programming pervasive and mobile computing applications: The TOTA approach
Marco Mamei,Franco Zambonelli +1 more
Infrastructure for engineered emergence on sensor/actuator networks
Jacob Beal,Jonathan Bachrach +1 more