9842 search results - page 251 / 1969 » Compositional timing analysis |
147
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
163
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
An algorithm that discovers the themes, motives and other perceptually significant repeated patterns in a musical work can be used, for example, in a music information retrieval sy...
150
click to vote
PE
2010
Springer
15 years 2 months ago
2010
Springer
We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kro...
142
click to vote
TSE
2008
15 years 4 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
129
click to vote
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...