661 search results - page 53 / 133 » Bandwidth Sharing: Objectives and Algorithms |
SPAA
2010
ACM
14 years 10 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
HVC
2005
Springer
15 years 3 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
JNW
2006
14 years 9 months ago
2006
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...
VRST
1998
ACM
15 years 2 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Service level agreements (SLAs) specify performance guarantees made by service providers, typically in terms of packet loss, delay, delay variation, and network availab...