71 search results - page 15 / 15 » Symbolic Execution of Virtual Devices |
SENSYS
2010
ACM
13 years 3 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...