1237 search results - page 18 / 248 » Partitions and the Fermi-Dirac Distribution |
FMICS
2009
Springer
14 years 5 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
ICPPW
2002
IEEE
14 years 3 months ago
2002
IEEE
ISPDC
2007
IEEE
14 years 5 months ago
2007
IEEE
We present a new data partitioning strategy for parallel computing on three interconnected clusters. This partitioning has two advantages over existing partitionings. First it can...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Software transactional memory systems enable a programmer to easily write concurrent data structures such as lists, trees, hashtables, and graphs, where non-conflicting operation...
AIIA
2009
Springer
14 years 5 months ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...