Many papers have examined how to e ciently export a materialized view but to our knowledge none have studied how to e ciently import one. To import a view, i.e., to install a stre...
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
Andrew Borg, Andy J. Wellings, Christopher D. Gill...