6308 search results - page 169 / 1262 » Modeling Urgency in Timed Systems |
140
Voted
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
148
Voted
WSC
2008
15 years 6 months ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
121
click to vote
ENTCS
2006
15 years 4 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
136
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
138
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...