5898 search results - page 380 / 1180 » Parallel Computing Environments and Methods |
140
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
144
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
139
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
137
Voted
DKE
2006
15 years 4 months ago
2006
In recent years, the management and processing of so-called data streams has become a topic of active research in several fields of computer science such as, e.g., distributed sys...
137
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...