22 search results - page 5 / 5 » Dominance Testing via Model Checking |
ICTAI
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
PASTE
2010
ACM
13 years 10 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...