Sciweavers

2303 search results - page 135 / 461
» Interior-Point Methods in Parallel Computation
Sort
View
135
Voted
CCECE
2006
IEEE
15 years 9 months ago
Dynamic and Parallel Approaches to Optimal Evolutionary Tree Construction
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
Anupam Bhattacharjee, Kazi Zakia Sultana, Zalia Sh...
SC
2004
ACM
15 years 8 months ago
Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks
As the network speed grows, inter-layer coordination becomes more important. This paper shows 3 inter-layer coordination methods; (1) “Comet-TCP”; cooperation of datalink laye...
Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsuk...
BIRTHDAY
2006
Springer
15 years 7 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
134
Voted
ALGORITHMICA
2006
163views more  ALGORITHMICA 2006»
15 years 3 months ago
Building Large Phylogenetic Trees on Coarse-Grained Parallel Machines
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
Thomas M. Keane, Andrew J. Page, Thomas J. Naughto...
DKE
2006
125views more  DKE 2006»
15 years 3 months ago
Online clustering of parallel data streams
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...
Jürgen Beringer, Eyke Hüllermeier