Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A tour of Schism: a partial evaluation system for higher-order applicative languages
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Topics in online partial evaluation
Topics in online partial evaluation
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
Region streams: functional macroprogramming for sensor networks
DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
Design and implementation of a single system image operating system for ad hoc networks
Proceedings of the 3rd international conference on Mobile systems, applications, and services
EESR '05 Proceedings of the 2005 workshop on End-to-end, sense-and-respond systems, applications and services
Kairos: a macro-programming system for wireless sensor networks
Proceedings of the twentieth ACM symposium on Operating systems principles
Design and Prototype Implementation of A Novel Automatic Vehicle Parking System
ICHIT '06 Proceedings of the 2006 International Conference on Hybrid Information Technology - Volume 02
Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA
Proceedings of the 5th workshop on Data management for sensor networks
Hi-index | 0.00 |
Wireless sensor and actuator networks consist of a large number of disparate computing devices that together aim to perform a common tasks. Management of large networks may become difficult, when the individual task of each of the devices is different from others, and memory restrictions prevent the devices from all carrying the same network-wide program. This paper presents a technique to specialize a single generic network-wide program into node-specific variants that are small enough to store in each device's memory and efficiently send across the network. We describe the details of our partial evaluation-based specializer and demonstrate that it achieves its goal of producing small device-specific programs, thereby making it a practical tool.