Search Sciweavers | Sciweavers

847 search results - page 1 / 170

» Counting Polyominoes: A Parallel Implementation for Cluster ...

click to vote

ICCS
2003
Springer

114views Applied Computing» more ICCS 2003»

Counting Polyominoes: A Parallel Implementation for Cluster Computing

13 years 10 months ago

Download www.ms.unimelb.edu.au

The exact enumeration of most interesting combinatorial problems has exponential computational complexity. The ﬁnite-lattice method reduces this complexity for most two-dimension...

Iwan Jensen

claim paper

Read More »

click to vote

ISSAC
2007
Springer

107views Mathematics» more ISSAC 2007»

A disk-based parallel implementation for direct condensation of large permutation modules

13 years 11 months ago

Download www.ccs.neu.edu

Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...

Eric Robinson, Jürgen Müller 0004, Gene ...

claim paper

Read More »

click to vote

CAP
2010

118views Distributed And Parallel Com...» more CAP 2010»

Parallel disk-based computation for large, monolithic binary decision diagrams

12 years 12 months ago

Download www.ccs.neu.edu

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...

Daniel Kunkle, Vlad Slavici, Gene Cooperman

claim paper

Read More »

click to vote

CLUSTER
2003
IEEE

112views Distributed And Parallel Com...» more CLUSTER 2003»

Kernel Implementations of Locality-Aware Dispatching Techniques for Web Server Clusters

13 years 10 months ago

Download www.csis.hku.hk

Michele Di Santo, Nadia Ranaldo, Eugenio Zimeo

claim paper

Read More »