3387 search results - page 72 / 678 » Model-Checking for Real-Time Systems |
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
RTSS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes a stochastic analysis method for general periodic real-time systems. The proposed method accurately computes the response time distribution of each task in th...
ADAEUROPE
2010
Springer
14 years 2 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
CBSE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...