623 search results - page 37 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
IUI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
PPOPP
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
CISST
2003
13 years 10 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
EMSOFT
2006
Springer
14 years 5 days ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...