769 search results - page 98 / 154 » Analysis of recursively parallel programs |
170
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
169
click to vote
IPPS
2003
IEEE
15 years 11 months 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...
178
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...
157
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
174
click to vote
AAECC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...