12981 search results - page 2503 / 2597 » Model Checking and Abstraction |
114
click to vote
RECOMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
118
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...
116
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
106
click to vote
PAM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To describe, analyze, and model the topological and structural characteristics of the Internet, researchers use Internet maps constructed at the router or autonomous syst...
136
click to vote
BIBM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...