1022 search results - page 148 / 205 » The Modelling of Embedded Systems Using HASoC |
118
click to vote
ECRTS
2002
IEEE
15 years 7 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
164
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
126
Voted
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
135
click to vote
FIS
2009
15 years 4 days ago
2009
Abstract. Advertising on the World Wide Web is based around automatically matching web pages with appropriate advertisements, in the form of banner ads, interactive adverts, or tex...
188
click to vote
NPL
2011
14 years 5 months ago
2011
The accuracy of a model to forecast a time series diminishes as the prediction horizon increases, in particular when the prediction is carried out recursively. Such decay is faster...