4856 search results - page 328 / 972 » Concept formation in design |
169
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
192
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
Research in bioinformatics and computational biology relies heavily on algorithms that facilitate the understanding of biological processes through the application of statistical ...
182
click to vote
HCI
2007
15 years 8 months ago
2007
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
169
click to vote
MASCOTS
2007
15 years 8 months ago
2007
—Modern micro-architecture simulators are many orders of magnitude slower than the hardware they simulate. The use of multiprocessor architectures for supporting future mobile an...
170
click to vote
BNCOD
2004
15 years 8 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...