4841 search results - page 864 / 969 » On dynamic feature location |
AUSAI
2007
Springer
14 years 26 days ago
2007
Springer
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
ECAL
2007
Springer
14 years 23 days ago
2007
Springer
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...
FMCAD
2007
Springer
14 years 22 days ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
ICCD
2007
IEEE
14 years 22 days ago
2007
IEEE
Prior work has shown that collapsible pipelining techniques have the potential to significantly reduce clocking activity, which can consume up to 70% of the dynamic power in moder...
APWEB
2004
Springer
14 years 18 days ago
2004
Springer
Abstract. Although most existing teamwork management systems support userfriendly interface to some extent, few of them have take into consideration of the special requirements of ...