4081 search results - page 539 / 817 » The Impact of Constraint Programming |
176
click to vote
GLVLSI
2009
IEEE
16 years 29 days ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
171
Voted
MICRO
2009
IEEE
16 years 26 days ago
2009
IEEE
The increasing power dissipation of current processors and processor cores constrains design options, increases packaging and cooling costs, increases power delivery costs, and de...
153
click to vote
ADBIS
2009
Springer
16 years 25 days ago
2009
Springer
The development of location-based services and advances in the field of mobile computing have motivated an intensive research effort devoted to the efficient processing of locati...
156
click to vote
ASPDAC
2009
ACM
16 years 22 days ago
2009
ACM
- The power gating technique is useful in reducing standby leakage current, but it increases the gate delay. For a functional unit, its maximum allowable delay (for a target clock ...
144
click to vote
ICRA
2008
IEEE
16 years 20 days ago
2008
IEEE
— Facing new tasks, the conventional rigid design of robotic joints has come to its limits. Operating in unknown environments current robots are prone to failure when hitting unf...