320 search results - page 3 / 64 » The Power of Orientation in Symmetry-Breaking |
HEURISTICS
2008
14 years 10 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
SIROCCO
2008
15 years 1 months ago
2008
We consider a network represented by a simple connected undirected graph with N anonymous nodes that have local orientations, i.e. incident edges of each vertex have locally-unique...
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
Design guidelines for low- and ultra low-power arithmetic units are presented. We analyze structures for addition in the energy-delay space to determine the most suitable for thes...
108
Voted
DAC
2001
ACM
16 years 19 days ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
96
Voted
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— Though modern operating systems have a capable of controlling the power consumption using the DVFS (Dynamic Voltage and Frequency Scaling) mechanism, it is controlled for some ...