11484 search results - page 2023 / 2297 » Modeling in the Large and Modeling in the Small |
218
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Traditional wireless broadcast protocols rely heavily on the 802.11-based CSMA/CA model, which avoids interference and collision by conservatively scheduling transmissions. While C...
189
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nowadays, virtualization solutions are gaining increasing importance. By enabling the sharing of physical resources, thus making resource usage more efficient, they promi...
167
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Frame delay variance in CSMA/CA networks is large. Wireless applications may require both, limited mean delay and limited delay jitter. These parameters can be derived easily from ...
225
Voted
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
171
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...