17 search results - page 2 / 4 » Implementation of an Efficient Parallel BDD Package |
CAP
2010
13 years 19 days ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
IPPS
1996
IEEE
13 years 9 months ago
1996
IEEE
PVM and other distributed computing systems have enabled the use of networks of workstations for parallel computation, but their approach of treating all networks as collections o...
ISPDC
2008
IEEE
14 years 14 hour ago
2008
IEEE
This paper presents a package, called Heterogeneous PBLAS (HeteroPBLAS), which is built on top of PBLAS and provides optimized parallel basic linear algebra subprograms for hetero...
BMCBI
2008
13 years 5 months ago
2008
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
CLUSTER
2006
IEEE
13 years 5 months ago
2006
IEEE
The Linux cluster considered in this paper, formed from shuttle box XPC nodes with 2 GHz Athlon processors connected by dual Gb Ethernet switches, is relatively easily constructed...