2042 search results - page 310 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
VLSID
2008
IEEE
14 years 3 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
ACMDIS
2010
ACM
13 years 9 months ago
2010
ACM
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...