QEST
2015
IEEE
8 years 7 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...
QEST
2015
IEEE
8 years 7 months ago
2015
IEEE
In Ambient Assisted Living (AAL), Activity Recognition (AR) plays a crucial role in filling the semantic gap between sensor data and interpretation needed at the application level...
QEST
2015
IEEE
8 years 7 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...
QEST
2015
IEEE
8 years 7 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...
QEST
2015
IEEE
8 years 7 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...
PATMOS
2015
Springer
8 years 7 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...
PATMOS
2015
Springer
8 years 7 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...
PATMOS
2015
Springer
8 years 7 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...
PADS
2015
ACM
8 years 7 months ago
2015
ACM
MSWIM
2015
ACM
8 years 7 months ago
2015
ACM
Thanks to their abundant on-board resources, ubiquity, and mobility, smart vehicles can be considered major candidates for providing pervasive information services. With the diver...