3365 search results - page 392 / 673 » Digital System Design: Architectures, Methods and Tools |
119
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Compared with on-chip routers, the existing commercial tools for off-chip routing have a much lower routability and often result in a large number of unrouted nets for manual rout...
187
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
148
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new technique called CORBAas-needed to improve the performance of distributed CORBA applications. CORBA-as-needed allows distributed CORBA applications to ...
175
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mitochondrial DNA (mtDNA) is widely being used for population genetics, forensic DNA fingerprinting and clinical disease association studies. The recent past has uncov...
145
click to vote
JCDL
2004
ACM
16 years 2 days ago
2004
ACM
We have developed MetaExtract, a system to automatically assign Dublin Core + GEM metadata using extraction techniques from our natural language processing research. MetaExtract i...