315
click to vote
QEST
9 years 8 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...
296
click to vote
PATMOS
9 years 8 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...
277
click to vote
PATMOS
9 years 8 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...
274
click to vote
QEST
9 years 8 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...
271
click to vote
PATMOS
9 years 8 months ago
2015 Springer 
—Modern embedded systems consist of heterogeneous computing resources with diverse energy and performance trade-offs. This is because the computing resources exercise the applica...
|
Modeling and Simulation