4359 search results - page 314 / 872 » Automated Pipeline Design |
153
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.
176
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
238
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Medium- to large-scale expression profiling using quantitative polymerase chain reaction (qPCR) assays are becoming increasingly important in genomics research. A majo...
170
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Distance function computation is a key subtask in many data mining algorithms and applications. The most effective form of the distance function can only be expressed in the conte...