1521 search results - page 4 / 305 » On Sampled Semantics of Timed Systems |
WSC
2004
13 years 8 months ago
2004
In the analysis of a manufacturing system, the analyst is often interested in the change in mean cycle time as a function of different throughput (start rate) levels. Since the va...
RTSS
2005
IEEE
14 years 29 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper considers the environment of interleaved, multi-channel measurements as arises for example in time-interleaved A/D converters and in distributed sensor networks. Such s...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
FORMATS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...