364
click to vote
QEST
9 years 12 months ago
2015 IEEE 
In this paper we present an exact sampling method for multiclass closed queuing networks. We consider networks for which stationary distribution does not necessarily have a produc...
351
click to vote
PATMOS
9 years 12 months ago
2015 Springer 
—In this paper, we present the design of a new Java based, cycle-accurate, heterogeneous architectural simulator, Tejas. Tejas is a trace driven simulator, which is platformindep...
327
click to vote
PATMOS
9 years 12 months ago
2015 Springer 
Safety critical real time systems need to meet strict timing deadlines. We use a model checking based approach to calculate the WCET, where we apply optimizations to reduce the num...
321
click to vote
QEST
9 years 12 months ago
2015 IEEE 
Electric utilities are in the process of installing millions of smart meters around the world, to help improve their power delivery service. Although many of these meters come equi...
319
click to vote
QEST
9 years 12 months ago
2015 IEEE 
Abstract. The analysis of models specified with formalisms like Markovian process algebras or stochastic automata can be based on equivalence relations among the states. In this p...
|
Modeling and Simulation