16 search results - page 2 / 4 » Quantifying the Properties of SRPT Scheduling |
WIOPT
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— We investigate the fairness and throughput properties of a simple distributed scheduling policy, maximal scheduling, in the context of a general ad-hoc wireless network...
FORMATS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
TMM
2002
13 years 5 months ago
2002
With the rapid performance improvements in low-cost PCs, it becomes increasingly practical and cost-effective to implement large-scale video-on-demand (VoD) systems around parallel...
MASCOTS
2004
13 years 7 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
PAM
2007
Springer
13 years 12 months ago
2007
Springer
Though high-speed (3G) wide-area wireless networks have been rapidly proliferating, little is known about the robustness and security properties of these networks. In this paper, w...