14360 search results - page 309 / 2872 » Time Modeling in MARTE |
126
Voted
PRDC
2000
IEEE
15 years 5 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
114
Voted
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
147
click to vote
RTSS
1992
IEEE
15 years 4 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
114
click to vote
DCOSS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...
97
Voted
WSC
2007
15 years 3 months ago
2007
We study an approximation for the zero-variance change of measure to estimate the probability of a rare event in a continuous-time Markov chain. The rare event occurs when the cha...