Synchronous systems offer a clean semantics and an easy verification path at the expense
of often inefficient implementations. Capturing design specifications as synchronous models …

The traditional hallmark in embedded systems is to minimize energy consumption
considering hard or soft real-time deadlines. The basic principle is to transfigure the …

Various kinds of asynchronous interconnect and synchronisation mechanisms are being
proposed for designing low power, low emission and high-speed SOCs. They facilitate …

Sharing knowledge in a timely fashion is important in distributed software development.
However, because experts are difficult to locate, developers tend to broadcast information to …

We propose a system-level design flow for building automation and control (BAC) systems.
The input to the design flow is a high level description of the control algorithms given in a …

A joint algorithm-architecture study has resulted into a new version of a picture segmentation
system complying with multimedia mobile terminal constraints, ie, real-time computing, and …

Colorization refers to the process of adding color to black & white images or videos. This
paper extends the term to handle surfaces in three dimensions. This is important for …

The writing of this chapter has been inspired by the motivating ideas of incorporating self-
awareness into systems that have been studied by Professor Cheung in connection to …

Traditional hierarchical modelling methods tend to have layers of abstraction corresponding
to naturally existing layers of concern in multi-level systems. Although logically and …

This paper describes a rely-guarantee proof to show that Simpson's 4-slot single-reader,
single-writer ACM is Lamport atomic (as described fully in the paper). First an abstract ACM …