819 search results - page 77 / 164 » Using Assumptions to Distribute CTL Model Checking |
134
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
139
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
145
Voted
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
156
Voted
PODS
1998
ACM
15 years 6 months ago
1998
ACM
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
107
Voted
AAAI
2010
15 years 20 days ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...