10156 search results - page 87 / 2032 » Step by Step to Histories |
173
click to vote
ICCAD
2009
IEEE
15 years 4 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...
203
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Bioinformatics is confronted with a new data explosion due to the availability of high throughput DNA sequencers. Data storage and analysis becomes a problem on local ...
178
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
IJBC
2010
15 years 3 months ago
2010
