4962 search results - page 325 / 993 » Stochastic Model Checking |
118
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
133
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
143
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Heterogeneous distributed computing systems often must operate in an environment where system parameters are subject to uncertainty. Robustness can be defined as the degree to wh...
120
click to vote
CLUSTER
2006
IEEE
15 years 9 months ago
2006
IEEE
High availability plays an important role in heterogeneous clusters, where processors operate at different speeds and are not continuously available for processing. Existing sched...
134
click to vote
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
This paper considers online stochastic reservation problems, where requests come online and must be dynamically allocated to limited resources in order to maximize profit. Multi-k...