4722 search results - page 460 / 945 » Representation-independent program analysis |
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...
193
click to vote
SRDS
2003
IEEE
16 years 2 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...
210
click to vote
ICALP
2003
Springer
16 years 20 hour 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...
193
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...
180
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we exp...