17 search results - page 1 / 4 » Implementation of an Efficient Parallel BDD Package |
135
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
178
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
181
Voted
IPPS
2002
IEEE
16 years 1 days ago
2002
IEEE
We present a parallel algorithm for performing multipoint linkage analysis of genetic marker data on large family pedigrees. The algorithm effectively distributes both the computa...
175
Voted
ISMVL
2002
IEEE
16 years 1 days ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
178
Voted
COMPUTING
2006
15 years 7 months ago
2006
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...