1833 search results - page 197 / 367 » Mechanized Verification with Sharing |
193
click to vote
EWSN
2010
Springer
16 years 3 months ago
2010
Springer
The proliferation of sensors in devices of frequent use, such as mobile phones, offers unprecedented opportunities for forming selfselected communities around shared sensory data ...
161
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
165
click to vote
IEEEPACT
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper presents the Distributed Cooperative Caching, a scalable and energy-efficient scheme to manage chip multiprocessor (CMP) cache resources. The proposed configuration is...
181
click to vote
ADHOCNOW
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. BitTorrent is one of the Internet’s most efficient content distribution protocols. It is known to perform very well over the wired Internet where end-to-end performance...
181
click to vote
ISCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...