RTCSA
1995
IEEE
13 years 8 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
RTAS
1997
IEEE
13 years 8 months ago
1997
IEEE
In this paper, we propose and present Real-Time Channel-based Reflective Memory (RT-CRM)
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
ECOOP
1994
Springer
13 years 9 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
INFOCOM
1994
IEEE
13 years 9 months ago
1994
IEEE
Most of the solutions proposed to support real-time (i.e. guaranteed performance) communication services in packet-switching networks adopt a connection-oriented and reservation-o...
FM
1997
Springer
13 years 9 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
RTAS
1996
IEEE
13 years 9 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
ECBS
1996
IEEE
13 years 9 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
RTSS
1998
IEEE
13 years 9 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
RTAS
1998
IEEE
13 years 9 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...