341
Voted
QEST
9 years 10 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...
328
Voted
PATMOS
9 years 10 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...
307
Voted
PATMOS
9 years 10 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...
297
click to vote
QEST
9 years 10 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...
296
Voted
QEST
9 years 10 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...
|
Modeling and Simulation