As system integration becomes an increasingly important challenge for complex real-time
systems, there has been a significant demand for supporting real-time systems in virtualized …

The rise of big data age in the Internet has led to the explosive growth of data size. However,
trust issue has become the biggest problem of big data, leading to the difficulty in data safe …

It is desirable to develop large complex systems using components based on systematic
abstraction and composition. Our goal is to develop a compositional real-time scheduling …

Compositional schedulability analysis of hierarchical scheduling frameworks is a well
studied problem, as it has wide-ranging applications in the embedded systems domain …

Recent years have witnessed two major trends in the development of complex real-time
embedded systems. First, to reduce cost and enhance flexibility, multiple systems are …

Distributed integrated modular avionics (DIMA) system design through the distributed
integrated technology, mixed critical task scheduling, real-time fault tolerant scheduling and …

Our goal is to develop a compositional real-time scheduling framework so that global
(system-level) timing properties can be established by composing independently (specified …

Similarity search in multimedia databases requires an efficient support of nearest neighbor
search on a large set of high dimensional points as a basic operation for query processing …

We show that for any asymptotically controllable homogeneous system in euclidean space
(not necessarily Lipschitz at the origin) there exists a homogeneous control Lyapunov …

The recent developments in virtualisation technologies have made feasible the execution of
complex and performance-critical applications in virtual machines. Some of such …