Sciweavers

589 search results - page 28 / 118
» Accurate Dependability Analysis of CAN-Based Networked Syste...
Sort
View
RTAS
1998
IEEE
15 years 6 months ago
Bounding Loop Iterations for Timing Analysis
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
Christopher A. Healy, Mikael Sjödin, Viresh R...
ICDE
2012
IEEE
257views Database» more  ICDE 2012»
13 years 4 months ago
LARS: A Location-Aware Recommender System
Abstract—This paper proposes LARS, a location-aware recommender system that uses location-based ratings to produce recommendations. Traditional recommender systems do not conside...
Justin J. Levandoski, Mohamed Sarwat, Ahmed Eldawy...
APLAS
2010
ACM
14 years 12 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
139
Voted
TC
2010
14 years 8 months ago
Model-Driven System Capacity Planning under Workload Burstiness
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
CDC
2009
IEEE
167views Control Systems» more  CDC 2009»
15 years 6 months ago
Factoring Dynamic Bayesian Networks based on structural observability
— Dynamic Bayesian Networks (DBNs) provide a systematic framework for robust online monitoring of dynamic systems. This paper presents an approach for increasing the efficiency ...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...