9842 search results - page 425 / 1969 » Compositional timing analysis |
151
click to vote
ANLP
1992
15 years 8 months ago
1992
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...
167
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper, the mean square (MS) stability and exponential mean square (EMS) stability of multi-variable switched stochastic systems are investigated. Based on the concept of t...
175
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
We consider the round robin (RR) scheduling policy where the server processes each job in its buffer for at most a fixed quantum, q, in a round-robin fashion. The processor sharin...
199
click to vote
TCS
2008
15 years 6 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
182
click to vote
QUESTA
2002
15 years 6 months ago
2002
This paper considers an infinite-server queue with multiple batch Markovian arrival streams. The service time distribution of customers may be different for different arrival strea...