1243 search results - page 158 / 249 » FPZL Schedulability Analysis |
133
click to vote
HPDC
2000
IEEE
15 years 5 months ago
2000
IEEE
Large distributed systems such as Computational Grids require a large amount of monitoring data be collected for a variety of tasks such as fault detection, performance analysis, ...
86
Voted
ICMCS
2000
IEEE
15 years 5 months 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...
87
Voted
WICON
2008
15 years 2 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...
SERP
2003
15 years 2 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 ...
66
Voted
WSC
2000
15 years 2 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...