1415 search results - page 113 / 283 » Can Parallel Algorithms Enhance Serial Implementation |
122
click to vote
CAP
2010
14 years 9 months 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...
131
Voted
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
Numerical homotopy continuation gives a powerful tool for the applied scientist who seeks solutions to a system of polynomial equations. Techniques from numerical homotopy continu...
147
click to vote
JPDC
2010
15 years 28 days ago
2010
—We present the design and implementation of a parallel exact inference algorithm on the Cell Broadband Engine (Cell BE). Exact inference is a key problem in exploring probabilis...
116
click to vote
HCW
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
97
Voted
EWC
2006
15 years 2 months ago
2006
We have previously proposed a new technique for the communication-free adaptive refinement of tetrahedral meshes that works for all configurations. Implementations of the scheme mu...