5683 search results - page 424 / 1137 » Interactive Schedulability Analysis |
188
click to vote
ICMCS
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
187
click to vote
WICON
2008
15 years 9 months ago
2008
We present a fluid flow model to analyze backlog-based CSMA policies. The model is obtained using a CSMA fixed point approximation that has been recently proposed and analyzed. We...
165
click to vote
SERP
2003
15 years 9 months ago
2003
It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML ...
163
click to vote
WSC
2000
15 years 9 months ago
2000
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
234
click to vote
AOR
2010
15 years 5 months ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...