1243 search results - page 188 / 249 » EDZL Scheduling Analysis |
144
click to vote
HPDC
2000
IEEE
15 years 6 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, ...
ICMCS
2000
IEEE
15 years 6 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...
129
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...
182
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
130
click to vote
PIMRC
2008
IEEE
15 years 8 months ago
2008
IEEE
—Wireless mesh networks (WMNs) is a promising key technology for next generation wireless backhauling that have recently attracted both the academic and industrial interest. Such...