6456 search results - page 867 / 1292 » Constraint Solving on Terms |
186
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
It has long been recognized that novelty effects exist in the interaction with technologies. Despite this recognition, we still know little about the novelty effects associated wi...
177
click to vote
ISPD
2009
ACM
16 years 1 months ago
2009
ACM
Gate sizing and threshold voltage (Vt) assignment are popular techniques for circuit timing and power optimization. Existing methods, by and large, are either sensitivity-driven h...
219
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
171
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
191
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...