4298 search results - page 196 / 860 » Computing at the top of the world |
119
click to vote
SC
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a novel, parallel algorithm for generating top alignments. Top alignments are used for finding internal repeats in biological sequences like proteins and gene...
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we describe an implementation of MPI-IO on top of the Direct Access File System (DAFS) standard. The implementation is realized by porting ROMIO on top of DAFS. We ...
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
PULC is a user-level communication library for workstation clusters. PULC provides a multi-user, multi-programming communication library for user level communication on top of high...
104
click to vote
WAN
1998
Springer
15 years 6 months ago
1998
Springer
PULC is a user-level communication library for workstation clusters. PULC provides a multi-user, multi-programming communication library for user level communication on top of high...
109
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...