585 search results - page 25 / 117 » A MDA-based approach for real time embedded systems simulati... |
RV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
113
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
114
click to vote
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
RTSS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
114
click to vote
ECRTS
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...