4359 search results - page 67 / 872 » Automated Pipeline Design |
BMCBI
2006
13 years 8 months ago
2006
Background: The advent of genotype data from large-scale efforts that catalog the genetic variants of different populations have given rise to new avenues for multifactorial disea...
NLPRS
2001
Springer
14 years 16 days ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
DAC
2004
ACM
14 years 9 months ago
2004
ACM
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...