327
click to vote
QEST
9 years 9 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...
311
click to vote
PATMOS
9 years 9 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...
291
click to vote
PATMOS
9 years 9 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...
284
click to vote
QEST
9 years 9 months ago
2015 IEEE 
In our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap betwe...
280
click to vote
QEST
9 years 9 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