3387 search results - page 72 / 678 » Model-Checking for Real-Time Systems |
146
click to vote
ECRTS
2005
IEEE
15 years 11 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...
185
click to vote
RTSS
2002
IEEE
15 years 11 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...
175
click to vote
ADAEUROPE
2010
Springer
15 years 11 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...
176
click to vote
CBSE
2010
Springer
15 years 11 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...
167
click to vote
IPPS
1999
IEEE
15 years 10 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...