16666 search results - page 47 / 3334 » Descriptive and Computational Complexity |
132
Voted
DAC
1998
ACM
15 years 7 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
136
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Evolutionary Computation is an exciting research field with the power to assist researchers in the task of solving hard optimization problems (i.e., problems where the exploitabl...
163
Voted
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
117
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: A key post genomics challenge is to identify how genes in an organism come together and perform physiological functions. An important first step in this direction is t...
128
click to vote
TE
2010
14 years 10 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...