9572 search results - page 246 / 1915 » Cover Algorithms and Their Combination |
190
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
181
click to vote
SACRYPT
2007
Springer
16 years 19 days ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...
172
click to vote
ASPDAC
2006
ACM
16 years 15 days ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...
162
click to vote
SIGMETRICS
2006
ACM
16 years 14 days ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
234
click to vote
GEOS
2009
Springer
15 years 11 months ago
2009
Springer
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...