79 search results - page 3 / 16 » Feedback Thermal Control for Real-time Systems |
RTCSA
1999
IEEE
13 years 12 months ago
1999
IEEE
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
RTSS
2000
IEEE
14 years 2 days ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
NOSSDAV
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...