Sciweavers

QEST
2015
IEEE
8 years 5 months ago
Perfect Sampling for Multiclass Closed Queueing Networks
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...
Anne Bouillard, Ana Busic, Christelle Rovetta
QEST
2015
IEEE
8 years 5 months ago
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living
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...
Laura Carnevali, Christopher Nugent, Fulvio Patara...
QEST
2015
IEEE
8 years 5 months ago
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure
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...
Varun Badrinath Krishna, Gabriel A. Weaver, Willia...
QEST
2015
IEEE
8 years 5 months ago
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses
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...
Andrea Marin, Sabina Rossi
QEST
2015
IEEE
8 years 5 months ago
Uniting Academic Achievements on Performance Analysis with Industrial Needs
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...
Bart D. Theelen, Jozef Hooman
PATMOS
2015
Springer
8 years 5 months ago
Adaptive energy minimization of embedded heterogeneous systems using regression-based learning
—Modern embedded systems consist of heterogeneous computing resources with diverse energy and performance trade-offs. This is because the computing resources exercise the applica...
Sheng Yang, Rishad A. Shafik, Geoff V. Merrett, Ed...
PATMOS
2015
Springer
8 years 5 months ago
Tejas: A java based versatile micro-architectural simulator
—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...
Smruti R. Sarangi, Rajshekar Kalayappan, Prathmesh...
PATMOS
2015
Springer
8 years 5 months ago
Calculation of worst-case execution time for multicore processors using deterministic execution
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...
Hamid Mushtaq, Zaid Al-Ars, Koen Bertels
MSWIM
2015
ACM
8 years 5 months ago
On the Provisioning of Vehicle-Based Public Sensing Services
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...
Sherin Abdel Hamid, Hossam S. Hassanein, Glen Taka...