460 search results - page 85 / 92 » RTL-Datapath Verification using Integer Linear Programming |
BMCBI
2006
13 years 6 months ago
2006
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...
ASPDAC
2010
ACM
13 years 4 months ago
2010
ACM
As Double Patterning Lithography(DPL) becomes the leading candidate for sub-30nm lithography process, we need a fast and lithography friendly decomposition framework. In this pape...
CIKM
2011
Springer
12 years 6 months ago
2011
Springer
Traditional feature selection methods assume that the data are independent and identically distributed (i.i.d.). In real world, tremendous amounts of data are distributed in a net...
CASES
2001
ACM
13 years 10 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Peer-to-peer (P2P) overlay networks such as BitTorrent and Avalanche are increasingly used for disseminating potentially large files from a server to many end users via the Intern...