9842 search results - page 308 / 1969 » Compositional timing analysis |
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
137
click to vote
ORL
2007
15 years 4 months ago
2007
We analyze a simple and natural on-line algorithm (dispatch policy) for a dynamic multiperiod uncapacitated routing problem, in which at the beginning of each time period a set of...
166
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
157
click to vote
MCS
2008
Springer
15 years 4 months ago
2008
Springer
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
122
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
We propose new techniques to simplify the computation of the cycle times and the absorption times for a large class of PEPA models. These techniques allow us to simplify the model ...