255 search results - page 19 / 51 » Synthesis of Functions Using Generic Programming |
SIGOPSE
2004
ACM
14 years 1 months ago
2004
ACM
Wireless ad hoc networks of sensor nodes are envisioned to be deployed in the physical environment to monitor a wide variety of real-world phenomena. Almost any sensor network appl...
GPCE
2003
Springer
14 years 26 days ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
FPL
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...