1833 search results - page 130 / 367 » Mechanized Verification with Sharing |
128
click to vote
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
The Combinatorial Public Projects Problem s an abstraction of resource allocation problems in which agents have preferences over alternatives, and an outcome that is to be collect...
125
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
134
click to vote
ISHPC
1997
Springer
15 years 8 months ago
1997
Springer
We propose two resource management methods; a scheduling policy that re
ects resource consumption states and a memory-replacement strategy based on page classi cation under distrib...
152
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
176
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...