14360 search results - page 335 / 2872 » Time Modeling in MARTE |
142
click to vote
SODA
2012
ACM
13 years 6 months ago
2012
ACM
We consider the dictionary problem in external memory and improve the update time of the wellknown buffer tree by roughly a logarithmic factor. For any λ ≥ max{lg lg n, logM/B(...
128
click to vote
TCS
2002
15 years 3 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
132
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
139
click to vote
QUESTA
2006
15 years 4 months ago
2006
In this paper we study a single-server queue where the inter-arrival times and the service times depend on a common discrete time Markov Chain. This model generalizes the well-kno...
155
click to vote
JMLR
2010
14 years 11 months ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...