365 search results - page 35 / 73 » Semi-automatic derivation of timing models for WCET analysis |
100
click to vote
IPSN
2010
Springer
14 years 11 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...
ASIAMS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents the use of angular position control approaches for a flexible robot manipulator with disturbances effect in the dynamic system. Delayed Feedback Signal (DFS) a...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper proposes a Bayesian algorithm to estimate the parameters of a smooth transition regression model. With in this model, time series are divided into segments and a linear...
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...