Optimal symbolic controllers determinization for BDD storage^⁎

MAES: A Multi-Agent Systems Framework for Embedded Systems

The Eagle

Micro-Activity Recognition using Wearables for Human Augmentation

Enabling the Chaos Networking Primitive on Bluetooth LE

Gearbox Control Unit for the Paddle-shift System: Implementation and Verification of the Hardware and Software

A Compact, High Precision Position Sensing Embedded System for Fast Steering Mirror

Composable and Predictable Power Management

Composable Virtual Platforms for Mixed-Criticality Embedded Systems

Better than Worst-Case Design for Streaming Applications under Process Variation

Network-based bootloader for distributed embedded systems applications

An Embedded Spatial Computing Platform for Interactive Environments

Techniques for Memory Mapping on Multi-Core Automotive Embedded Systems

Soft Sensors Development for Model Based Control of Groundwater Treatment Plants

Hardware Algorithms For Tile-Based Real-Time Rendering

Design and analysis of a coherent memory sub-system for FPGA-based embedded systems

Free Viewpoint 3D TV Rendering Platform

Interfacing the ?-VEX with the µBlaze processor

OS evaluation for real time image processing on a multicore architecture

Control of suction distributions on Boundary layer suction systems for automotive wind tunnels