4335 search results - page 453 / 867 » Privatizing Constraint Optimization |
161
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
141
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a general and an efficient algorithm for automatic selection of new application-specific instructions under hardware resources constraints. The instructi...
160
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...
134
Voted
WSC
2007
15 years 8 months ago
2007
One of the more complex maneuvers a hospital system can perform is moving an entire patient population from an old facility to a replacement facility. All patients must be transpo...
160
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chem...