12836 search results - page 2546 / 2568 » Generalization Methods in Bioinformatics |
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
107
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
With the adoption of ultra regular fabric paradigms for controlling design printability at the 22nm node and beyond, there is an emerging need for a layout-driven, pattern-based p...
103
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
110
click to vote
ICDCS
2009
IEEE
14 years 9 months ago
2009
IEEE
In recent years, there are substantial demands to reduce packet loss in the Internet. Among the schemes proposed, finding backup paths in advance is considered to be an effective ...
113
click to vote
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...