1833 search results - page 101 / 367 » Mechanized Verification with Sharing |
IWQOS
2005
Springer
15 years 6 months ago
2005
Springer
Most congestion control algorithms try to emulate processor sharing (PS) by giving each competing flow an equal share of a bottleneck link. This approach leads to fairness, and pr...
196
click to vote
GIS
2008
ACM
16 years 2 months ago
2008
ACM
We present SenseWeb, an open and scalable infrastructure for sharing and geocentric exploration of sensor data streams. SenseWeb allows sensor owners to share data streams across ...
112
click to vote
OSDI
2002
ACM
16 years 1 months ago
2002
ACM
In this paper, we present techniques for provisioning CPU and network resources in shared hosting platforms running potentially antagonistic third-party applications. The primary ...
128
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
115
click to vote
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a grounded theory of information sharing behavior of the users of a personal learning space. A personal learning space is an environment consisted of weblog, e...