Download now Free registration required
The authors address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which they call ensembles, include programmable sensor networks (where the network topology can change due to failures in the nodes or links) and modular robotics systems (whose physical configuration can be rearranged under program control).They extend Meld, a logic programming language that allows an ensemble to be viewed as a single computing system. In addition to proving some key properties of the language, they have also implemented a complete compiler for Meld.
- Format: PDF
- Size: 304.3 KB