127 search results - page 24 / 26 » Measuring the Hardness of SAT Instances |
132
Voted
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
101
click to vote
SPAA
2009
ACM
15 years 8 months ago
2009
ACM
We consider a dynamic load balancing scenario in which users allocate resources in a non-cooperative and selfish fashion. The perceived performance of a resource for a user decre...
211
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
123
click to vote
SIGECOM
2009
ACM
15 years 8 months ago
2009
ACM
The Target Set Selection problem proposed by Kempe, Kleinberg, and Tardos, gives a nice clean combinatorial formulation for many problems arising in economy, sociology, and medicin...
122
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...