1991 search results - page 296 / 399 » Small Models of Large Machines |
ENTCS
2008
14 years 10 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
137
click to vote
CCS
2011
ACM
13 years 10 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
KDD
2003
ACM
15 years 10 months ago
2003
ACM
Data mining techniques are routinely used by fundraisers to select those prospects from a large pool of candidates who are most likely to make a financial contribution. These tech...
CAIP
2007
Springer
15 years 4 months ago
2007
Springer
The paper focusses on a group of segmentation problems dealing with 3D data sets showing thin objects that appear disconnected in the data due to partial volume effects or a large...
101
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
We show how a random mutation hill climber that does multilevel selection utilizes transposition to escape local optima on the discrete Hierarchical-If-And-Only-If (HIFF) problem....