14360 search results - page 309 / 2872 » Time Modeling in MARTE |
195
click to vote
PRDC
2000
IEEE
15 years 11 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...
183
click to vote
HASE
1999
IEEE
15 years 11 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...
225
click to vote
RTSS
1992
IEEE
15 years 10 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...
188
click to vote
DCOSS
2006
Springer
15 years 10 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...
166
click to vote
WSC
2007
15 years 9 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...