Arbitrary program extension at run time in language-based VMs, eg, Java's dynamic class
loading, comes at a startup cost: high memory footprint and slow warmup. Cloud computing …

Reliable sensor network software is difficult to create: applications are concurrent and
distributed, hardware-based memory protection is unavailable, and severe resource …

Heterogeneous systems show a lot of promise for extracting high-performance by combining
the benefits of conventional architectures with specialized accelerators in the form of …

Many sensor nodes contain resource constrained microcontrollers where user level
applications, operating system components, and device drivers share a single address …

Despite the continuous research to facilitate WSNs development, most safety analysis and
mitigation efforts in concurrency are still left to developers, who must manage …

TinyOS applications are built with software components that communicate through narrow
interfaces. Since components enable fine-grained code reuse, this approach has been …

Many embedded systems contain resource constrained microcontrollers where applications,
operating system components and device drivers reside within a single address space with …

Wireless Sensor Networks (WSNs) form a critical component in modern computing
applications; given their size, ability to process and communicate information, and to sense …

This paper presents CapeVM, a sensor node virtual machine aimed at delivering both high
performance and a sandboxed execution environment that ensures malicious code cannot …

We describe the first software tool for the verification of TinyOS 2, MSP430 applications at
compile-time. Given assertions upon the state of the sensor node, the tool boundedly …