4716 search results - page 441 / 944 » Iterative-free program analysis |
200
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
191
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
We have developed a new algorithm that allows the exhaustive determination of words of up to 12 nucleotides in DNA sequences. It is fast enough as to be used at a genomic scale ru...
194
click to vote
SRDS
2003
IEEE
16 years 3 days ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
211
click to vote
ICALP
2003
Springer
16 years 1 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
194
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper is concerned with the efficient execution of multiplesequence alignmentmethodsin a multipleclientenvironment. Multiple sequence alignment (MSA) is a computationally ex...