Real-time systems need time-predictable platforms to allow static analysis of the worst-case
execution time (WCET). Standard multi-core processors are optimized for the average case …

With prosperity of applications on smartphones, energy saving for smartphones has drawn
increasing attention. In this paper we devise Phone2Cloud, a computation offloading-based …

The widespread proliferation of the Chip Multi-Processor (CMP) paradigm has cemented the
criticality of the on-chip interconnection fabric. The Network-on-Chip (NoC) is becoming …

Real-time systems are reactive computer systems that must produce their reaction to a
stimulus within given time bounds. A vital verification requirement is to estimate the Worst …

Efficient management of shared resources is a critical problem in high-performance
computing (HPC) environments. Existing workload management systems often promote non …

With the increasing number of applications that require reliable runtime guarantees, the
relevance of static worst-case analysis tools that can provide such guarantees increases …

A good worst-case performance and the availability of high-quality bounds on the worst-
case execution time (WCET) of tasks are central for the construction of hard realtime …

We propose a technique based on symbolic execution for analyzing the algorithmic
complexity of programs. The technique uses an efficient guided analysis to compute bounds …

For real-time systems we need time-predictable processors. This paper presents a method
cache as a time-predictable solution for instruction caching. The method cache caches …

A primary preprocessing block of almost any typical OCR system is binarization, through
which it is intended to remove unwanted part of the input image, and only keep a binarized …